084)/16620 + 22 - (-12)/10. Which is smaller: 0 or x?
x
Let f = -590 + 732. Which is smaller: 137 or f?
137
Let g be (-17)/(136/(-16)) + -1. Let n be (-3)/((-1)/(4/6)). Suppose -k + n = 3*w, 1 = k - g. Which is bigger: -2/21 or w?
w
Suppose 4*l + 66 = 74. Suppose l*f - z - 3 = -2*z, -2*f + 5 = 3*z. Let t be (f - 0)/((-1)/3). Which is smaller: t or -4?
-4
Let q = -22 + 50. Let h = q - 37. Let u be h/(-6) - (-6)/(-4). Is 13/5 at least u?
True
Let m = -155 + 301. Let f = 145.9 - m. Let q = 0.41 + -4.21. Is f equal to q?
False
Let g be (13 + 3 - 13340/828)*12/(-10946). Which is smaller: g or 0?
0
Suppose -2*r - d + 50 = 0, r + 2*r - d = 75. Let u be (-23)/(-5) + 10/r. Suppose 7*i = 114 - 86. Which is greater: u or i?
u
Let z be 3*70/(-195) + 23/299. Which is bigger: z or -1/9242?
-1/9242
Let w(q) = q**3 + 6*q - 6. Let l be w(1). Let f be (-2)/8 - 2979/(-12012). Which is bigger: f or l?
l
Suppose 572*j + 60 = 569*j. Let k be j/4*8/20. Which is bigger: k or 33/10?
33/10
Suppose -i - 21*o + 17*o = -24, -4*i + 3*o + 96 = 0. Let l be ((-40)/i)/((-10)/(-1260)). Which is bigger: -209 or l?
-209
Let f = 40.5 + -37.5. Let m = -8 + f. Is 2.5 not equal to m?
True
Let q = -46235 - -235771/5. Is q < 919?
False
Let y be (32 - 6)*(-3 - (-2)/(-1)). Let v = y - -130. Which is smaller: 20/17 or v?
v
Let t be -3*6*16/1726*(-185)/(-1110). Is t at most -1?
False
Suppose 65*c = 428 + 352. Suppose 45*q - 57*q - c = 0. Is -2/127 > q?
True
Let z = -316453/742 + -5/371. Which is smaller: -427 or z?
-427
Let d(s) = s**3 - 14*s**2 - 36*s + 50. Let i be d(16). Let w = -8 - -12. Suppose -54 = w*y + 2. Is y bigger than i?
False
Suppose -240 = -6*f - 10*f. Let z be f/60 + (-3 - 566/(-40)). Which is greater: 10 or z?
z
Suppose -3*c + f = 2*c + 7, c + 3 = f. Let v be -4 + 7/((-1764)/(-904)). Let y = 487/1638 + v. Is c > y?
False
Suppose -p + 3*v = 2*p - 9, 2*p + 2*v = 6. Suppose 2*f - 45 = 3*c, -5*f - 4*c = -p*f - 10. Let n be f/(-9) - -3*6/9. Do n and 0 have the same value?
False
Let x be (-42468)/20 - 288/(-120). Which is smaller: x or -2124?
-2124
Let l = 0.37 - 0.17. Let o(p) = 2*p**2 + p - 19. Let u be o(-6). Let b = 281/6 - u. Is b > l?
False
Let r be ((-3908)/70 + (-9)/(-21))*1395/(-31). Which is bigger: r or 2491?
r
Let z(y) = y**2 + 6*y - 12. Let u be z(3). Let w be ((-47)/u + 3)/((-30)/25). Do 0.31 and w have the same value?
False
Suppose 110*i - 27*i = 56*i + 56*i. Is 7/149 at most i?
False
Let u(d) = -d**3 - 5*d**2 - 8*d - 6. Let m be u(-3). Suppose -205 = -5*b - m*b. Does b = 41?
True
Let y = -7 + 14. Let d = -18958/5 - -3766. Let b = 389/15 + d. Which is smaller: b or y?
b
Let j = 36 - 35. Let g be 6 - (-2)/180*-545. Are j and g nonequal?
True
Let n(d) = 2057*d - 6172. Let t be n(3). Suppose 0 = 3*r + 2*r. Let u be (1 - r)/((-35)/45). Which is greater: t or u?
t
Let c(m) = -20*m**3 + m**2 + 4*m + 2. Let n be c(-1). Let o be 57/(-12)*(-152)/n. Is o less than or equal to 37?
False
Suppose 4*x - 5*u + 6*u = -1189, 0 = 5*x + u + 1485. Let d = x + 174. Which is smaller: d or -123?
-123
Let z be -5 + (-1)/11152029*-55818717. Let y = 2/10129 + z. Do y and -0.1 have different values?
True
Let f(z) = z**3 - 10*z**2 - 9*z - 8. Let m(c) = -c**3 - 3*c**2 - c + 8. Let n be (-2)/4 + (-5)/2. Let x be m(n). Let y be f(x). Are 15 and y equal?
False
Suppose -39*b - 710 = -29*b. Let a = b - -158. Is 87 less than or equal to a?
True
Suppose -5*k - 96 = 3*j + 509, 3*k = 2*j + 416. Let v = -658 - j. Is v at most as big as -454?
False
Let r = -56/75 + 2/25. Let c = -0.0758 + -7.4942. Let v = -3.43 + c. Is v greater than or equal to r?
False
Suppose -7*q = -5*n + 12, 3*q = 44*n - 40*n - 7. Is -28/89 != q?
True
Let f = 423.06 - 423. Let h = 31.125 - 0.125. Is h at most f?
False
Let m = 36.55 + -32.55. Which is bigger: m or -108/11?
m
Let s = 46 + -45.22. Let k = s + 33.22. Let z = -28.546 + 28.646. Which is greater: k or z?
k
Let y = -311.043 - -1.643. Let c = -306 - y. Let b = -5/52 + -2/13. Which is greater: b or c?
c
Let b = -965 - -4908. Is 3943 less than or equal to b?
True
Let t(v) = -v**3 - 8*v**2 + 2*v + 10. Let l be t(-8). Let q(r) = r**2 - 29*r + 40. Let d be q(20). Let m be ((-224)/d)/((-12)/(-15)). Is l greater than m?
False
Let d = 296 - 239. Let r be 0 + (-189)/d + 3. Is -1 equal to r?
False
Let n(j) = -j**2 - 32*j - 5. Let h be n(-32). Let o be (-30)/25*h - (-6 + 6). Is o at least 29/6?
True
Let m = 21 + 27. Let b be m/30 - (3/5 - 1). Let g be b + -1 + 4 + 3. Is g smaller than 20/3?
False
Let q(m) = -40*m - 333. Let l be q(-9). Suppose c + 2*c = 5*f - 142, 2*f + 3*c = 61. Which is smaller: l or f?
l
Let i = -13522 + 635540/47. Which is greater: i or 2/11?
2/11
Let u(s) = 11*s**2 + 102*s + 27. Let n be u(-9). Is -1/3300 at least as big as n?
False
Let m be (14 - 7)/(7/70). Suppose 36 = -4*z - 2*n, -5*z + 4*n + n - 15 = 0. Let o be m/z*1/(-2). Do 17/4 and o have the same value?
False
Suppose 0 = 13*h - 0 - 24 + 11. Which is greater: -1/507 or h?
h
Let s(d) = -30*d + 394. Let o be s(13). Suppose 6*y - 15 = 5*y. Suppose -o*m - y = -23. Is -5 not equal to m?
True
Let a = 0.13 - -0.57. Let t = -1617 + 1320.9. Let h = 296 + t. Which is bigger: a or h?
a
Let j = -35335 - -177281/5. Does j = 122?
False
Let b = 11.65 - 11.728. Let g = -1.122 + 1.1. Let s = g + b. Is -1/52 at least as big as s?
True
Let a be 10/(-12)*6*(48/45 + -1). Are -0.113 and a nonequal?
True
Let q = 20776/2691 - -26/207. Let t = q + -467/91. Let b = 85/21 - t. Which is smaller: b or 9?
b
Let f = 83 + -155. Let r be (1/3)/(-3*3/1998). Which is greater: f or r?
f
Let f = 57 + -36. Let z = f - 20.4. Let h = -0.1984 + 0.6984. Which is smaller: h or z?
h
Let l(f) = -320*f**3 + f**2 + 3. Let v be l(2). Let g = v + 222107/87. Suppose 0 = -200*d + 213*d. Is d != g?
True
Suppose -53*a - 15 = -48*a. Let z be ((244/a)/(-4))/((-3)/9). Is -63 >= z?
False
Let k = -1 + 4. Let x = -143.54 + -0.46. Let w = x - -144.2. Which is smaller: w or k?
w
Suppose -z - 4*i = -19, -3*z - 21 = -6*z - 3*i. Let b be (-99)/(-22) + z + -5. Let c be (8/10)/((-2)/(-10)). Is c < b?
False
Let j = -62 - -66. Let d be ((-565)/20 + j)*2*-2. Suppose d*x = 94*x - 3. Is x at least -2/21?
False
Suppose 90 - 124 = -34*a. Is a >= 17/27?
True
Suppose -96 = -4*p + x, 7*x - 8*x = -3*p + 71. Suppose p*y - 1112 = 563. Which is bigger: 68 or y?
68
Let v be (-19 + 6)*(-9 + 5 - -5). Let i be 5/(140/12)*-1. Which is greater: i or v?
i
Let t(m) = m**2 - 10*m. Let x be t(10). Let b = 1/15215 - 228262/562955. Does x = b?
False
Let f = 2624 - 2625. Is -47/52 less than f?
False
Let q = 3346 - 3379.49. Let u = q + 34. Let o = 0.91 - u. Which is smaller: o or 3?
o
Let n = -473/21 - -3712/231. Which is greater: 1/13 or n?
1/13
Let o(w) = -w**3 + 10*w**2 - 17*w + 17. Let t be o(8). Let d be (-29 - 50)/(t - 0). Let y = d - -1379/153. Is y smaller than 1?
True
Let j = 224 - 236.95. Let o = j + 0.95. Is 0 >= o?
True
Suppose -9*f - 9 = -72. Let x be 87*(-2 - f/(-3)). Let k = 30 - x. Which is smaller: -1/25 or k?
-1/25
Let m(p) = 54*p - 31. Let s be m(-3). Let l = s - -4. Let n be (-126)/l*(0 - (-2 - 1)). Is n equal to -1?
False
Let v = -242.66 - -241.46. Which is smaller: v or 6.5?
v
Suppose 16*k + 10*k = -28*k - 8262. Is k <= -140?
True
Let p = -704859487/5331 + 132219. Does -1 = p?
False
Let w(f) = f + 35. Let y be w(0). Let i(b) = -8*b**2 - 311*b + 72. Let n be i(-39). Do n and y have the same value?
False
Suppose -2*t = 1 - 5. Let w = -825 - -859. Suppose 5 = -5*x, 0*c + t*c + 4*x + w = 0. Is -16 greater than c?
False
Let i(h) be the first derivative of h**4/4 - 5*h**3/3 + 3*h**2/2 + h - 96. Let o be i(1). Is o smaller than -9/17?
False
Let n = 7.73 + -2.6. Let j = n - 0.13. Let r = 871 + -872. Is j less than or equal to r?
False
Let r(b) = -2*b**3 + 9*b**2 - 31*b + 106. Let t be r(5). Which is smaller: t or -73?
t
Let j = -11792/17 - 81051/34. Which is bigger: -3077 or j?
-3077
Let u be ((-2)/(-4))/(5*1/10). Suppose u = 56*c - 55*c. Is 11/8 equal to c?
False
Let r be (45/30)/((-5)/(40/6)). Let n be (-1)/(-7 + (-12)/r). Let o be (1/39)/((-3)/6). Which is bigger: o or n?
n
Let y = -13 + 7. Let f be 5/(90/(-32))*y. Let u = 79/6 - f. Is 2 > u?
False
Let b = 72 - 72.27. Let g = b - 5.63. Let h = g + 6. Is h greater than -1.7?
True
Let t be ((-4)/10)/(-1*(-5)/(-375)). Let x = -7