5*o, -4*f = o - 27. Let z be (f/10)/(2*2/20). Let h be -3 + 6/z + 0. Is h > -2/83?
False
Let s = 23570/185661 + 2/61887. Which is greater: 0 or s?
s
Let t = 87758/69 + -1272. Which is bigger: -0.2 or t?
t
Let r = -42944187231137 - -340923123437000739890/7938749. Let n = 1/49309 + r. Let x = 4/23 - n. Does 7.6 = x?
False
Let q(n) = 13*n + 138. Let z be q(-27). Let m = z - -377. Is 166 <= m?
False
Suppose 0*j = 4*j + 4*z + 4, -3*j = -z - 1. Let i be (6/(-4))/3*75640/(-200446). Which is smaller: j or i?
j
Let w = -212 + 236.4. Let n = w - 23.4. Do n and -24 have different values?
True
Suppose -13 + 5 = -4*g. Let w(a) = 0*a + g*a - a. Let k be w(-1). Is k != -6/5?
True
Let c(z) = z**3 + 7*z**2 - 9*z - 10. Let q = -9 - -1. Let p be c(q). Let y be (2 + 1)*p/6. Which is smaller: -2/7 or y?
y
Let r = -7464/79 + 3300919/36261. Let q = 82/27 + r. Which is greater: 0 or q?
0
Let x = 172.812 - 206.01. Let o = -0.198 - x. Let v be (4 - 2) + (-14)/6. Which is bigger: o or v?
o
Suppose 75*a - 45 = 30*a. Which is smaller: a or 6231?
a
Let z(i) = -i**2 + 64*i - 708. Let k be z(25). Do 267 and k have the same value?
True
Let t = 161 + -167. Let y be (-2304)/16030 - (-3)/21. Let f = -19468/3435 - y. Do f and t have the same value?
False
Let z be (1/3)/((-9)/(-81)) + -31. Suppose 7*p - 8*p + 77 = 0. Let j = p - 104. Which is smaller: z or j?
z
Let m = 5733 - 5737. Is 64.7 bigger than m?
True
Let m be -5 + -2 - (-99)/9. Suppose 5*h - 1 = -10*i + 7*i, m*h + 6 = i. Let a = -4360/4667 - -4/359. Is h < a?
True
Let h = -3570 + 3993. Which is smaller: 1697/4 or h?
h
Let f be ((-2)/(-10))/(6/(-1155))*2. Suppose -504 = 13*t + 497. Is t at most as big as f?
True
Suppose -3*l - 27 = -0. Let k = l + -38. Let a = -41 - k. Is a less than or equal to 5?
False
Let y be (45/(-280))/((-87)/1972). Which is smaller: y or 3?
3
Suppose 3*d + 790 = 5*b, 3*d + 441 = -4*b - 385. Let t be (26/4)/(d/(-108)). Let k = 1 - -1. Do t and k have the same value?
False
Let i = -12/55 + -1377/3520. Is -1 bigger than i?
False
Let j = -69668 + 153339294/2201. Which is smaller: j or 1?
j
Let p = -654/415 - 2/83. Suppose -469 = 9*v + 215. Let n = v - -74. Is n smaller than p?
True
Suppose 3*n = -85 + 13. Let c = -24 - n. Let z be (-9 - 2330/(-300)) + (-4)/(-10). Do z and c have the same value?
False
Let x = -2331 + 2328. Let v(g) = -915*g + 1. Let k be v(2). Let h = k + 12777/7. Which is bigger: x or h?
x
Let f be 274/410 + (-10)/25. Let c = f - 6142/123. Let x = -223/6 - c. Is 12 at most as big as x?
True
Let h be 13/(-845)*-10 - 63/(-13). Suppose 8*f - 4*p - 408 = 5*f, -645 = -h*f - 5*p. Is 133 > f?
True
Let u be 0 + 49787/46 - 14/28. Let o = 1082 - u. Which is bigger: o or 1/7?
o
Let h be (-5830)/(-1485) + 3 + -3. Is h less than 3?
False
Let i = -46.99 - -48. Let p = i - -55.99. Let q = -63 + p. Which is greater: 0 or q?
0
Suppose -2617*z + 7549 = -2598*z - 7404. Which is smaller: z or 786?
786
Suppose -4*k + 0*c = -3*c - 11, -3*k - 4*c = -27. Let z(m) = 4*m**3 - 20*m**2 + 2*m - 11. Let u be z(k). Let o be (-4)/3*(-16)/192. Is o equal to u?
False
Let c = -1/2192 + -15317/59184. Which is greater: 0 or c?
0
Let v = -528 - -485.4. Let l = -42.6 - v. Let c = 0.7 - -8. Is c > l?
True
Let n = 19.67 - 0.67. Let t = -0.846 - 18.014. Let i = n + t. Is 0.1 at most i?
True
Let u be (-98)/(-10) + (-3)/(-15). Suppose -12*c = -u*c - 8. Which is smaller: 40/9 or c?
c
Let m be (-2)/(-10 - 187671/(-18766)). Do m and -3413 have the same value?
False
Let k(m) = -m**3 - 19*m**2 - 19*m - 18. Let v be k(-18). Are -5725 and v nonequal?
True
Suppose -93*f - 21731 = -w - 95*f, -5*f = 2*w - 43459. Which is smaller: 21736 or w?
21736
Let r = 4 - -1. Let s be (-28)/238 + 1044/204. Is s equal to r?
True
Let r = 54 - -18. Suppose -68*u + r = -56*u. Is 9 at least u?
True
Suppose 2 = 221*i - 220*i. Is 58/109 > i?
False
Let b = 313 - 353. Let f = b + 37.77. Which is greater: -2/3 or f?
-2/3
Suppose -70*u = 354 - 39344. Are 0.1 and u non-equal?
True
Let y = 55 + 3. Let a = y - 45. Suppose -5*b - 10 = i, i - 3*i - b = -16. Do i and a have different values?
True
Suppose 146*c - 109131 = -18903. Which is greater: c or 620?
620
Suppose 0 = -3*s + 5*b - 6, -3*b + 2 = -s - 0*s. Let l be (-25)/(-4 - -3) + s - -1. Let x be 8/l + (-20)/(-3). Which is bigger: 13 or x?
13
Let p = 1.074 + 21.986. Let c = p + 2.94. Which is smaller: c or -0.3?
-0.3
Suppose 2 = -0*h + 2*h. Let w be 1 - (-664)/662 - (-103)/((-5459)/106). Which is bigger: w or h?
h
Let b = 205 - 207.18. Let c = 1.18 + b. Is c < -3?
False
Let q(v) = -5*v + 1859. Let j be q(52). Which is greater: j or 1593?
j
Let b = 651914/67 - 9730. Which is greater: 1.7 or b?
1.7
Suppose 4*l - l = 3*k - 12, 2*k - 4 = l. Suppose -5*x - 7*x + 48 = k. Suppose x*a = y - 65, -32 - 22 = 3*a + y. Are -20 and a non-equal?
True
Let l(h) = h**3 - 3*h**2 - 11*h + 2. Let s be l(5). Let c be -5 - 1 - -3 - s. Let r = -3 - -1. Is r at most as big as c?
True
Let r(a) = a + 2. Let q = 39 + -30. Let l be r(q). Suppose -l*m + 12*m - 2 = 0. Which is bigger: m or 7/8?
m
Let n = 169 + -196. Let d = n - 34. Which is smaller: d or -63?
-63
Let t = -22599/113 + 200. Let y = 263/4181 - t. Which is smaller: y or 0?
0
Let l = -286 - -10012/35. Which is greater: 4 or l?
4
Let y = -10 + 10. Let z = -16468655/16 + 1028885. Let u = -406 - z. Which is smaller: y or u?
u
Let q = 64 - 28. Let w = 42 - q. Let t be (-32)/w*(-21)/(-14). Which is smaller: t or -4?
t
Let d = -533798/229 - -2331. Which is smaller: -0.06 or d?
-0.06
Let a = 846649/178733 - 1/9407. Which is smaller: a or 2?
2
Let c(j) = 5*j - 37. Let y be c(8). Suppose 2*f - 220 = -y*f. Is 42 at most f?
True
Let h be 38/665 + 329379/105. Which is bigger: h or 3136?
h
Suppose 0*q + 5*q - 270 = 0. Suppose -42 = -4*r + q. Let s = -10 + 11. Which is bigger: r or s?
r
Let r be (0 - 0) + (-6)/10. Let q = 213 + 1493. Let u = q - 1706. Is u smaller than r?
False
Suppose 5*h = 2*h - 159. Suppose -4*f - 4*w - 236 = 0, -32*w + 11 = -f - 27*w. Is h >= f?
False
Let k(u) = -574*u + 58. Let z be k(1). Let g be z/(-3759) - (-2)/(-14). Is g at most 1?
True
Let a be (14 + 9245/(-660))*82. Which is smaller: a or -1?
-1
Let a be (-6)/35*(-980)/79086. Which is bigger: a or 1?
1
Let g(n) = -n - 62. Let x be g(22). Let m be (-4)/5*(-42)/x. Let o = 2/395 + 568/43845. Is o smaller than m?
False
Suppose 46 = w + 44. Suppose -w*r + h + 52 = 0, 3*r + h - 70 - 8 = 0. Let c be 20 + (7 - (5 + -2)). Which is bigger: c or r?
r
Suppose h + 6*u - 3*u - 764 = 0, 3*u + 3730 = 5*h. Which is smaller: h or 746?
746
Let w be 46/(-2852)*12/5. Let y = w - 399/1705. Which is smaller: -0.7 or y?
-0.7
Suppose -8*h + 67 = -3*h + 4*u, -3*h + 33*u = 243. Which is smaller: h or 1449?
h
Let t = 1.84 + -1.697. Let p = 4.857 + t. Which is bigger: p or 19?
19
Suppose 0 = -0*r - 3*r - 6. Let u be 2*3694/168 + 11 + -10. Let m = u + -275/6. Which is greater: r or m?
m
Let x = -635 - -404. Let k be 8320/(-36) + 168/54 + -3. Do x and k have different values?
False
Let g be 2/(-45)*-5 + (-659)/9*1. Which is greater: g or -35?
-35
Suppose -3289 = -6*m - 5*m. Let p = m + -287. Suppose 0 = 2*u - b - 7, -b = -0*u - 3*u + 13. Which is greater: p or u?
p
Let a = 3.304 - 0.184. Let z = a + -0.22. Let d = z - 3.2. Which is greater: -0.2 or d?
-0.2
Suppose -2*d = -2*a - 6, 0 = -d - a + 5*a - 3. Suppose -2*g = 3*g - d. Suppose s - 134 = -129. Is g != s?
True
Let j(z) = -27*z + 4548. Let m be j(184). Which is smaller: m or -5047/12?
-5047/12
Suppose -a = -3*d + 9, -4*a = 3*d - 195 + 216. Which is greater: d or -21/127?
d
Let n(r) = -r + 6*r**2 - 15*r + 19 + 13*r**3 + 8*r**3 - 20*r**3. Let j be n(-8). Which is smaller: j or 96/5?
j
Let g = -49 - -50. Let r be g/2*-6 + 33. Suppose -15*z = -5*z - r. Which is greater: 8 or z?
8
Suppose -40*i - 253*i + 653712 = 118401. Which is bigger: 10955/6 or i?
i
Let j = 7.25 - 7.14. Is j at least as big as 0.95?
False
Let y(l) = -l**3 - 36*l**2 + 35*l - 92. Let j be y(-37). Let u be j/(-10) + -2 - (2 + -1). Is u at most 27?
True
Let x = 77 - 29. Suppose x = -5*q - q. Let r(t) = t**3 + 8*t**2 + 2. Let h be r(q). Is h > -0.17?
True
Suppose 370*v = 372*v - 5*o - 7248, -2*v + 4*o + 7248 = 0. Which is smaller: v or 3623?
3623
Let y be (-15)/6 - 37940/(-14840). Do y and 8 have the same value?
False
Let t be -