
Let z be 4/(-8)*(-30 + 2). Suppose z*f + 2075 + 165 = 0. Which is bigger: f or -159?
-159
Let v = -1.2053 - -0.7853. Which is smaller: v or -2?
-2
Let t = 2.06917 + -0.06917. Is t at least as big as -0.03705?
True
Suppose 8*u = 7*u + 2*m - 97, 0 = -u + 4*m - 103. Let i = u - -104. Is 1/6 equal to i?
False
Let u = 1.7299 - 1.8299. Is -7.604 at least u?
False
Let s be ((-8)/24)/((-650943)/(-243)). Which is bigger: -2/7 or s?
s
Let c be -3*(-14)/147 + (-30942)/56. Let p = -552 - c. Let x = 0 + 1. Which is greater: p or x?
x
Suppose 0 = -2*z + 3*r + 111, 3*z - r - 4*r - 167 = 0. Suppose -z = j - 173. Let g = j + -121. Which is smaller: -12/7 or g?
g
Suppose -458 - 10551 = 109*m. Is m at most -94?
True
Suppose -15*s + 9 + 171 = 0. Let z = 21 - 9. Is s equal to z?
True
Let o(q) = 4*q**2 - 17*q - 98. Let u be o(-7). Let r = -233 + u. Are r and -20 equal?
False
Let a be (-258)/(-43)*(-2)/4. Is a less than -18?
False
Let p = 54.95 - -7220.05. Which is bigger: 0.1 or p?
p
Let n be (-3)/(39/168*-6). Let q = -43480 - -1695571/39. Let v = n + q. Are 0 and v unequal?
True
Let k = 87 + -38. Let b = k + -25. Suppose -2*g - g = 0, 0 = -z + 5*g - b. Is -22 at least as big as z?
True
Let g(k) = -2*k - 7. Let y be g(-5). Let t(v) = 4*v - 17. Let w be t(6). Suppose -q = 3*a + 3, 0 = 4*q - w*q - 2*a - 2. Is y greater than q?
True
Suppose 266*u + 112 = 252*u. Let j be (u/18)/((-952)/102). Let t = -1.2 + 1. Is j at least t?
True
Suppose 3*k - 5 = -5*w - 2*k, 0 = 4*w + 2*k - 6. Suppose 0 = 7*r - 33 - w. Suppose 0 = r*x + 4*x. Is x at least as big as 2/89?
False
Let l = 363492 + -6780216278/18653. Which is greater: 0 or l?
0
Suppose 4*o - 34 = 3*l - 53, 2 = 2*l. Is o < -1/468?
True
Suppose -3*u - 332 = t, -2*u + 30 = t + 253. Let l(g) = 42*g + 142. Let k be l(-6). Which is smaller: k or u?
k
Let r be (357904/(-106))/8 + 0. Let b = r + 422. Is 0 > b?
True
Let f = -16.988 - 0.012. Let p = 36 + f. Let g = 18 - p. Which is smaller: g or -5?
-5
Suppose 0 = 31*f - 69*f - 13338. Which is greater: -352 or f?
f
Suppose -n = 4*h + 296, -2*h - 49 - 89 = -2*n. Let u = h - -52. Let g be (-2 - 110/(-12))*-3. Is g at least as big as u?
False
Let w(j) = -4*j - 8. Let h be w(6). Suppose -206 = -6*s + 148. Let f = h + s. Is f greater than or equal to 27?
True
Let z = -16803233/161 - -104355. Let r = 94/7 + z. Let d(y) = -y**2 + 7*y - 10. Let q be d(3). Which is smaller: q or r?
r
Suppose -34*s + c = -35*s + 3504, -2*s + 2*c = -7036. Which is greater: 17551/5 or s?
s
Let d(x) = -3*x**3 - 16*x**2 - 12*x + 8. Let w be d(-6). Let a = w - 135. Which is greater: 11 or a?
a
Let o = 181072/5 + -36213. Let z = -6 + 6.03. Is o < z?
False
Let g(o) = -28*o**2 + 5*o + 16. Let c be g(-4). Let l be (c/102)/((-8)/(-78)) - -4. Let w = l + 77/2. Is w smaller than -1?
False
Suppose 2*a = -5*v - 14, 5*a - 5*v - 53 + 18 = 0. Let u be -7 + 24/a - -467. Do u and 469 have different values?
True
Let f = -11342 + 11343. Let q be 2/2 + 254/(-248). Is f less than q?
False
Let z(v) = -14*v + 154. Suppose -2*t - 3*y = -6*y - 28, 0 = -3*t - 2*y + 29. Let b be z(t). Is -7/67 bigger than b?
False
Let w(v) = -2*v**3 - 21*v**2 - 10*v - 232. Let l be w(-11). Which is smaller: l or -168/209?
l
Suppose 433 - 4404 = 19*l. Let k = -216 - l. Which is bigger: -74/11 or k?
-74/11
Suppose 4*j = k + k - 2, -3*j + 11 = k. Suppose 6 = -k*x + 2*x. Let n be x*(2 - 105/(-10)). Does n = -29?
False
Let g = 281 + -139. Let m = -142.2 + g. Is m at most -62?
False
Let v = -4750 - -7496. Which is smaller: v or 2745?
2745
Let t = -32 - -25. Let k = -3 - t. Suppose 78*a - 44*a - 34 = 0. Which is greater: a or k?
k
Let k(z) = 3*z**2 - 52*z + 39. Let q be k(17). Let b = 20 - 34. Let l be 40/b*21/(-3). Is q not equal to l?
True
Let x = 6449/12 - 537. Let r = 1254 + -459. Let q = 795 - r. Which is greater: q or x?
x
Suppose -135076 - 101324 = -150*b. Which is bigger: b or 6?
b
Let t = -155 - -262. Let j = t + -3099/29. Suppose -5*w - 35 = -4*n, 0 = -5*n + 3*w + 28 - 7. Are n and j equal?
False
Let j = -0.0885 - 53.2115. Let t = j + 40.3. Let g be (-1)/(-8)*1*-3. Which is smaller: g or t?
t
Let i = -39.16 - -39.16. Is i less than or equal to 6/25?
True
Suppose -8*v = 5*n + 162, 11*v - n - 59 = 14*v. Which is bigger: v or -34/7?
-34/7
Let o = 246.88 + -246.98. Let c = -3623 + 373173/103. Which is smaller: o or c?
o
Suppose 133*w + 34367 = -77*w + 85397. Suppose -5*h - 345 = -1565. Which is greater: w or h?
h
Let a(j) = 10*j**3 - 10*j**2 + 51*j + 13. Let k be a(5). Let q be 24/(-18) + k/96. Which is smaller: q or 13?
q
Suppose m + 15 = 3*l - 2*m, 3*m - 25 = -l. Let w be l/(4 - 456/116). Let v be (w/25 + (1 - 0))*-5. Is v less than or equal to -35?
False
Let o = 3.106 - 0.006. Let r = 2797.9 - 2800. Let a = r + o. Is 8 bigger than a?
True
Let k(y) = -4*y + 92. Let m be k(22). Let p(i) be the second derivative of -i**3/6 + 5*i**2/2 + 3*i. Let c be p(6). Is m > c?
True
Let v be ((-45)/6)/(-15)*270. Let z be v + (-1 + 9)*-1. Is 127 < z?
False
Let f be ((-5)/3)/(27/(-81)). Suppose 0 = i + 4*i - 4*g + 132, 15 = f*g. Which is greater: -21 or i?
-21
Suppose 0 = 22*h - 3*h - 399. Let z be 1029/(-1035) - h/(-21). Which is smaller: -1 or z?
-1
Let q = -11 - -16. Suppose -5*l - 50 = 5*u, -l = -q*u - 68 - 6. Let p = 717 - 732. Which is smaller: p or u?
p
Let p = -0.23 + 2.93. Let r = p - 2.6. Suppose -4*o + 161 = 189. Which is smaller: r or o?
o
Let i be ((-53)/(-371))/(6/63)*4/5754. Which is greater: i or 0?
i
Let z be 53/(-3) - 2/6. Suppose -5*a + 2*x = -22, -a - 7*x + 3*x = 0. Let j be (259/(-2))/7 + (-2)/a. Which is bigger: z or j?
z
Let t = 5316 - 5316.6. Let v = -0.4 + -0.2. Let m = v + 0.6. Does m = t?
False
Let o be ((-2336)/(-3))/1 - (-138)/(-207). Let y = -775 + o. Is y smaller than -12/5?
False
Let y be (-1 - -2)/((8/(-4))/178). Let v = -101 - y. Is -12 > v?
False
Let y = -5/70533 - -690301/7747838451. Let t = y - -1757210/18783837. Let q = t - 6/19. Which is greater: -1.4 or q?
q
Suppose -5*c - 595 = 5*t, -434 - 131 = 5*c - t. Let h be c/(-4)*(21 - 23). Is -59 equal to h?
False
Let d = -295.229 + 295. Let s = d + 1.029. Is 0 at most as big as s?
True
Let l = -0.054 - 10.446. Let m = -74.5 - l. Let r = m + 64. Which is bigger: r or 2?
2
Let g = 625/681 + -57/227. Suppose -9 = -5*a + 6, -3*a + 15 = 2*x. Which is greater: g or x?
x
Let l = 0.15 + 2.93. Let x = l + -0.08. Let p = -2.93 + x. Which is smaller: 2 or p?
p
Let k = -29106 + 29141. Suppose -2*z = 2*b, -z - 10 = -b - 0*b. Which is smaller: k or z?
z
Suppose -4*f - 56 = 3*c, -c + 4*f - 5 - 3 = 0. Let d(q) = -4*q**2 + 35*q + 37. Let j = -193 + 203. Let l be d(j). Is c at least l?
False
Let o(b) be the third derivative of -b**5/10 + 167*b**4/24 + 29*b**3/6 - 92*b**2. Let k be o(28). Which is bigger: k or -54/5?
k
Let d be (1/(-4) - 1)*76. Let u = 14939 + -59381/4. Let n = u + d. Which is bigger: n or -1?
-1
Let u = 7335 + -80589/11. Which is smaller: -0.3 or u?
-0.3
Suppose -3*u = -2*g + 894, -5*u - 1509 = 193*g - 190*g. Which is greater: u or -301?
u
Let t(x) = 2*x**3 - 28*x**2 - 68*x - 7. Let z be t(16). Which is bigger: z or -72?
z
Suppose -12*q + 196 = 2*q. Let s be 24/16 + q/4. Let h be (-3)/(-1) - 21/(-27). Is s less than h?
False
Let o = -182 + 173. Let m be (-24)/1072*(-24)/o. Is m < -1?
False
Let a be (-9)/2*(-1)/30*(-137 + 138). Let b(f) = f**3 - 4*f**2 + 4*f - 4. Let k be b(3). Which is smaller: a or k?
k
Let d = 19536 - 19440. Which is smaller: 104 or d?
d
Suppose -r - 4*x = -18, -3*x + 8 = -r - r. Let o be r - 1 - 30/66. Suppose -36*u + 12 = -30*u. Which is smaller: u or o?
o
Suppose -n + 250 = -5*g, 66 = -2*g - 5*n - 61. Let s = 26 + g. Let p be 10/s - (-12)/15. Which is greater: -1 or p?
p
Let n be (-1)/(3/9 - 0) + 2. Let i be 2 + 5 + n + 3. Suppose 0 = 4*y - i - 31. Is y greater than or equal to 12?
False
Let v = 0.9104 - -1885.0896. Is v less than 0?
False
Suppose -2*v - 33*h + 32*h - 2541 = 0, 3*h = 3*v + 3780. Is v smaller than -1273?
False
Suppose 165 = -676*q + 691*q. Is q at most -29?
False
Suppose 4*g + 4 = -14*s + 12*s, -3*g = -4*s + 25. Let l be 1/(s + 57/(-15) + 0). Suppose 0 = z + z - 10. Is z equal to l?
True
Suppose -r + 3*t + 5 = 0, -2*r = 3*t - 0 - 1. Suppose 21 = -r*s + 31. Suppose 3*d - 25 = -5*x, s*x + d = -d + 20. Do x and 5/2 have the same value?
False
Suppo