fferent values?
True
Let k be ((-56423)/(-55) - (-378)/(-1386))*-5. Which is smaller: k or -5130?
-5130
Let h(r) = -22*r + 148. Suppose -82 + 131 = 7*m. Let c be h(m). Is c at most as big as -12?
False
Let r = 3 + -58. Let s = 40 + r. Let i = -6 - s. Is 9 at least as big as i?
True
Suppose -2*h + 14 = 2*k, 20 - 53 = -5*h - 4*k. Let u be (670/8)/h + 2/(-1). Let j = -197 + 213. Which is greater: u or j?
j
Suppose d + d + 2*t = -20, -4*t = 0. Let i(b) = -b - 16. Let z be i(d). Let a be 77/z - (-90)/108. Which is bigger: -94/7 or a?
a
Suppose 58 = 18*a - 14. Suppose 0 = x + 7*n - 3*n + a, 3*x + 3 = -3*n. Is 4/19 <= x?
False
Let i be ((-15)/(-40))/((-3)/2). Suppose -122*a - 875 = -117*a. Let p = a + 176. Which is smaller: i or p?
i
Let g = -244 + 240. Let b be (-6)/(-18)*g*-3. Suppose 2*h + 8 = -2*h. Which is smaller: b or h?
h
Let z be (-58294)/(-126) - 66/154. Let f = z - 461. Is f bigger than -0.2?
True
Suppose -3*w + 2*b = -12664, -21110 = -4*w - w + 4*b. Let a be 0 - (w/132)/(1/148). Let g = -4726 - a. Is g bigger than 2?
True
Suppose -2*z - 990 = h, 3*z - 4*z - 4*h = 502. Let i = z - -494. Let j = -2 + 2.01. Is j at most i?
False
Let i(k) = k + 31. Suppose -4*x = 4*d - 6*x + 138, 59 = -2*d + 3*x. Let h be i(d). Is -11 <= h?
True
Let a = 1.1304 + -1.07. Is a less than or equal to -1/3?
False
Let v(g) = -g**2 - 14*g - 37. Suppose 3*l = 4*x - 29, 2*x + 5 = -5*l - 0*l. Let s be v(l). Do 66 and s have the same value?
False
Suppose -14*l = -20721 + 112841. Is l less than -6581?
False
Let r = 1.88 - 10.83. Let h = r + 0.95. Let a = 0 + -1. Which is greater: h or a?
a
Let o be -7 + 4*(-3)/12. Let m be 2/(16/7 + o/28). Do -1/39 and m have the same value?
False
Let b be 5/(-1) + 2 + -18. Let q = -15993 + 15972. Is q != b?
False
Let l be (-4)/(-108)*6 + 11158/(-30933). Is l not equal to 1?
True
Suppose -400*z + 403*z - 2*w = -3079, z + 5*w = -1015. Which is greater: -1024 or z?
-1024
Let m = -92734/85 - -1091. Let q = -7505 + 7505.1. Which is greater: m or q?
q
Suppose -8*f + 30 = -2*f. Let w(t) = t**2 + 17*t + 70. Let g be w(-10). Is f at most g?
False
Let t = -9 + 6.92. Let y = t + 1.5. Let u = y - -0.48. Which is bigger: 6/11 or u?
6/11
Let h = -95.57 - 536.43. Which is bigger: h or -2/19?
-2/19
Let i = -2983.022 + 3001. Let b = 0.022 + i. Let o = 64 - b. Does 1 = o?
False
Let d = -0.21 - 1.19. Let a = 1.7 + d. Which is smaller: 2 or a?
a
Let w be 1296/6300 - 2/(-25). Is 50 at least as big as w?
True
Let x(k) = k**2 + 7*k + 4. Let q = 20 - 30. Let p be x(q). Suppose 2*c = 55 + 13. Does c = p?
True
Suppose 3*j + 42 = -2*t, -2*j = -4*t + j - 120. Let k(h) = 2*h**2 - 12*h + 4. Let v be k(6). Suppose 142 = -v*y + 30. Is t at most as big as y?
False
Let q(m) = 123*m - 125. Let l be q(1). Which is greater: l or -104/75?
-104/75
Let m be 6/(-5)*(-5)/(-1). Suppose -4*j + 2*v - v + 8 = 0, -5*j + 3*v = -3. Suppose 4*l + 2*x = -x + 6, -j*l - 3*x + 6 = 0. Which is smaller: m or l?
m
Let z = 2592 + -2593.6. Which is greater: z or -7?
z
Let d(c) be the first derivative of c**2/2 - 11*c - 3. Let z be d(9). Let y be 52/5 + z/5. Which is smaller: 11 or y?
y
Let p = 1482 + -1476. Let m = -9 - -6. Let j be (2/m)/(3/(-9)). Which is smaller: j or p?
j
Suppose 0 = -4*u + u - 3. Suppose -20*l = -30*l + 1110. Let o = -113 + l. Is o > u?
False
Let y = 329045 + -1645179/5. Suppose -2*c - 3*c + 50 = 0. Is y at most as big as c?
True
Let m = 2226/2875 - 31255812/40212625. Let y = m + -1/591. Which is smaller: y or 1?
y
Suppose -3*w = 8*p - 3*p + 129, 5*p + 108 = 4*w. Let t be p/(-10)*(-10)/(-4) - 4. Which is smaller: 14/13 or t?
14/13
Let v(n) = 171*n**2 - 4*n - 3. Let f be v(-1). Suppose 180 = j + 4*m, -5*j + 0*j = -4*m - 852. Is f > j?
False
Let m be 1/(((-1 - 3)/4)/11). Let x(n) = -n - 5. Let u(h) = -1. Let l(d) = -5*u(d) - x(d). Let f be l(m). Are f and 4/19 unequal?
True
Let i be (-124)/(-155) + 34/(-5). Let g be -7 + i/(12/(-13)). Which is bigger: g or -23.8?
g
Let p = -482 - -483. Which is smaller: 19/74 or p?
19/74
Suppose 32*f - 14*f - 16 - 2 = 0. Is f < 9608?
True
Suppose -2*d - 50 = -134. Let l be (-3)/(18/(-5)) - d/(-252). Let r be ((-19)/((-19)/6))/(l*-1). Is -33/5 != r?
True
Let k be (-6)/4*(1 - 22/6). Suppose 3*a - 83 = -19*p + 15*p, -2*a = -k*p - 42. Is 1/3 at least a?
False
Suppose 0 = 17*z + 355 + 597. Let d be (-18)/891*-11 - z/18. Which is smaller: d or 2/21?
2/21
Suppose 0 = -10*h + 31*h. Is h > 4/1833?
False
Let t(g) = 6*g + 7. Let n be t(6). Suppose o = 6*m - 4*m + n, -4*m = -4*o + 92. Which is greater: m or -15?
-15
Let s be 9/(-36) - (-9)/4 - 1. Is s greater than -2/3023?
True
Suppose 3*b - 14 = 13. Suppose 4*p + 59 = 16*g - 21*g, 3*p - 21*g = -168. Is b at most p?
False
Let y be 17/(-5) - (2 + 12/(-5)). Let o be y - ((-19)/2 + 3/2). Suppose -4*w - 5*d = 63, -d - 2*d - 82 = o*w. Which is smaller: w or 0.1?
w
Let y = -53 + 62. Let b be 1*27*y/2*-2. Let u be ((-9)/b)/(2/6)*1. Is 1 bigger than u?
True
Let c = 36 - 51. Let y be 2/(-2) + 9 + c. Let f = 0.3 + -0.4. Are y and f nonequal?
True
Suppose 0 = -35*o - 58 + 971 + 347. Let k = 96 + -58. Is k less than o?
False
Let w = -1256/5 + 1269811/5055. Which is bigger: -1 or w?
w
Let z(m) = 4*m**2 - 3*m + 1. Let u be z(1). Is u > 2/135?
True
Let c be 3 - (4 - (-6)/(-2)). Let j(g) = g**2 - 6*g + 7. Let y be j(c). Let w be y/(-2 - (-4 + 3)). Is w bigger than 1?
False
Suppose -44*x + 23*x + 17104 = -37*x. Is x != -1069?
False
Let w = -1.36 + -2.3. Let v = w + 3.02. Which is greater: v or 2/9?
2/9
Let q be (270876/26 - -2)/((-5)/(-1)). Let j = 2084 - q. Which is bigger: -1 or j?
j
Let o = 172 - 160.89. Let y = 1.11 - o. Let w = -0.8 - -1. Is y less than or equal to w?
True
Let z = -40296 + 29234. Is z <= -11063?
False
Let f = 8587 + -5421. Is 3166 at least as big as f?
True
Let z be (-35)/(3920/128) + (-29)/(-203). Let w = 63037/25 + -2521. Is z not equal to w?
True
Let a = -22482/151 - -2686352/3473. Let n = a + -624. Does n = 0?
False
Let q(y) = y**3 + 4*y**2 - y - 712. Let x be q(0). Let u be -5 - 8560/x - 7. Which is greater: -3 or u?
u
Let g be (-320)/213 + (6 - -2) + -6. Let f = 12/71 + g. Let x = 134 + -940/7. Is f less than x?
False
Suppose -36810 = 38447*v - 38456*v. Is v greater than 4089?
True
Let p = 19 + -9. Let j = p - 13. Let m = -7937/3 - -2643. Which is greater: m or j?
m
Let q = 0.75 - -0.25. Let n = -1122 + 806. Is n less than or equal to q?
True
Let c(l) = 8*l + 98. Let y be c(16). Let i be y*28/7960 + (-4)/5. Is 0 greater than or equal to i?
True
Let u(s) = 186*s + 54 - 85*s - 88*s. Let f be u(-4). Which is smaller: 9 or f?
f
Let h be 1016/16*8/(-2). Is h equal to -3306/13?
False
Let t = 19.234 - -8.766. Let s(b) = -b + 2. Let n be s(3). Is n less than or equal to t?
True
Suppose 9*f + 67*f + 7344 - 1188 = 0. Which is smaller: f or -892/11?
-892/11
Let q = 6 - 2. Suppose g - 15 = -q*g. Suppose -2*y = -w + 16, -3*y = -3*w + 2*y + 43. Do w and g have the same value?
False
Let l = -123916/103 - -1203. Which is smaller: l or 0?
l
Let l = 14740/3 - 4913. Do 2098 and l have the same value?
False
Suppose 5 = -5223*q + 5215*q + 29. Are 286/97 and q equal?
False
Let c(x) = -2*x**2 + 35*x - 8. Let s be c(17). Suppose 0 = -5*r - 3*m + 7*m + s, 5*r - 6 = m. Are -6 and r nonequal?
True
Let a = 3581 - 3651. Which is greater: -24 or a?
-24
Suppose -p = -s + 148, 0 = 4*p - 8*p - s - 577. Suppose -59084 + 57779 = 9*x. Is x < p?
False
Let l(w) = -15*w - 1. Let b(p) = 14*p. Let n(i) = -2*b(i) - 3*l(i). Let d be n(1). Suppose -d*a = -16*a - 60. Is a at least 18?
False
Let y be ((-2)/10)/(1/(-16)). Let f(r) = 8*r + 190. Let v be f(-22). Let b be 6*(11/v - 6/21). Which is smaller: b or y?
b
Let s = -0.18 + -5.82. Let g = s - -6.7. Let l = 4758.6 + -4759. Which is smaller: g or l?
l
Let o(i) = i**3 + 40*i**2 + 46*i - 32. Let h be o(-38). Let b = 1109 - h. Let q = -22 - -7. Which is smaller: q or b?
q
Suppose 8*b + 21003 = -15*b - 13313. Which is greater: b or -1495?
b
Let h = 88.964 + -89. Let x = 34.964 - h. Let b = x - 35.1. Which is smaller: b or -32?
-32
Let h be (((-6)/4)/(-3 + 4))/((-240)/(-249920)). Which is greater: h or -1565?
h
Let h = -24200425/949 - -25501. Is h > 1?
False
Let k = -66 - -72. Suppose k*o = 31 + 53. Let g be 119/o - (2 - 2 - -2). Which is smaller: 0.1 or g?
0.1
Let l be 1/(-2)*-4 - -3. 