 - -7. Let w be (-18)/171 + 3105/437. Which is bigger: w or g?
w
Let a = 1328 - 1053. Which is bigger: 0 or a?
a
Let q be (40/(-120))/(21/9). Let i(o) = -o + 6. Let m be i(6). Which is greater: q or m?
m
Let m = 24 + -84. Is m <= -117/2?
True
Let d(l) = -l**2 - 41*l - 148. Let o be d(-37). Is 2/643 smaller than o?
False
Let v(i) = -10*i - 19. Let q be v(-2). Which is smaller: -9/29 or q?
-9/29
Suppose 0 = 3*m - 256 + 250, 0 = -5*a - 4*m + 1823. Which is greater: 362 or a?
a
Let j be -8 + -6 + (-1 - 2). Let s = -17 - j. Suppose -22 = -s*x - x. Is 23 less than x?
False
Let v be 3 + (-2 + 2)/(-2). Let o be 2 - v/(-3) - (-8)/(-4). Which is greater: o or 1/26?
o
Let h = 13.3 - 16. Let x = h + 1.7. Do x and 0.3 have the same value?
False
Let l = -10 + 8. Let h = -5303 - -63683/12. Let n = 13/4 - h. Is l > n?
False
Let w be 6/(-504)*1268 - (-9)/(1323/14). Suppose 0 = 3*a - a + 26. Which is smaller: w or a?
w
Let z = 4 - 7. Let w = 9 - 13. Let i be z/((-3)/w) + 4. Is -4/7 > i?
False
Let x = -466 - -467. Which is greater: -2/199 or x?
x
Let v = -4 + 8. Suppose 3*o = 5 + v. Suppose m - a = -11 + o, -20 = 2*m + 2*a. Are -10 and m nonequal?
True
Suppose -18*t - 68*t - 258 = 0. Let r = -18 - -13. Is r smaller than t?
True
Let y be -7 + -1 + 272/34. Let z be 40/18 + 2/(-9). Is z not equal to y?
True
Suppose 5*n = -3*d - 14, -n - 6 = -4*n + 3*d. Let z(f) = -12*f + 36. Let x be z(3). Which is smaller: x or n?
n
Let o(v) be the first derivative of -4*v**3/3 + 5*v**2 + 4*v - 3. Let k be (1*3)/(3/4). Let n be o(k). Does -19 = n?
False
Let a = -12 - -41. Let n = -12 + a. Let p = 4.2 - 3.2. Is n less than p?
False
Let c = -517.69 + 11.69. Which is bigger: c or -1?
-1
Let i = 282.9 - 283. Which is smaller: i or -209?
-209
Let k(z) = 10*z**2 + 9 - z**3 - 4*z - 4*z**2 - 11*z**2. Let s be k(-4). Let j(y) = -y**3 - 6*y**2 - 6*y + 2. Let o be j(-5). Is s less than o?
False
Let u(k) be the first derivative of -2*k**3/3 - 3*k**2/2 + 4*k - 2. Let r be u(-3). Let l = -3 - r. Are 1 and l equal?
False
Let i(a) = a**3 - 12*a**2 + 11*a + 22. Let o be i(10). Let u = o - -64. Let l be -1*(-2)/(-2) + -2. Is u equal to l?
False
Let u be -15 + 72/8 - -8. Let n = -7 + 2. Which is greater: n or u?
u
Suppose -4*f + 16 = 0, 2 + 163 = -z - 4*f. Is z less than or equal to -181?
True
Let z = -5/296687148 + 4011506976793/2888842760076. Let d = 3/749 - z. Is -1 equal to d?
False
Let a be 4/14 - (-10816)/(-37219). Do 0 and a have the same value?
False
Let p = -30.29 + 30. Let v = p - -0.39. Which is bigger: 2 or v?
2
Let u = -136 + 190. Let l = u + -54. Which is bigger: 19 or l?
19
Let a be 1*(-27 + 26)*(7 + 0). Which is greater: -48 or a?
a
Let m be (-14)/(-21) - 32/(-6). Let a(p) = 2*p + 13. Let i(k) = 5*k + 38. Let n(y) = m*i(y) - 17*a(y). Let t be n(3). Is -5 > t?
False
Let i = 38.6 - 58.5. Let s = 20 + i. Let m = -2 + 1. Which is smaller: s or m?
m
Suppose -4 = 2*n - q - 13, -n + 3*q = -12. Let g be 2/n*18/24. Let k = 12 + -23. Which is smaller: g or k?
k
Suppose 0 = 8*u - 3*u. Suppose 6*i - 3*i = u. Which is smaller: i or 0.11?
i
Let v = -184 + 223. Which is smaller: 37 or v?
37
Let r(s) = s**3 - 3*s**2 + 47*s - 130. Let h be r(3). Which is bigger: 14 or h?
14
Let q(h) = -h**3 - 8*h**2 - h - 4. Suppose 0 = -2*p - 18 + 2. Let o be q(p). Suppose o*f = 2*f. Which is smaller: 8/7 or f?
f
Let a(v) = 85*v - 594. Let p be a(7). Which is smaller: -5/79 or p?
-5/79
Suppose 12 + 88 = -50*r. Let o be (0 + (-9)/(-2))/(-6). Which is smaller: r or o?
r
Let u be ((-1)/2)/((-424)/15476). Which is smaller: u or 18?
18
Let d = -90 + 141. Suppose -3*m + 14 = 5*f + 55, -4*f = 5*m + d. Does -6 = m?
False
Let t = -119 - -139. Let p(r) = r**3 + 4*r**2 + 4*r + 2. Let d be p(-2). Suppose 2*w = 3*q - 12, 3*q + d*q + 2*w - t = 0. Which is bigger: 9/2 or q?
9/2
Suppose 10*z - 6*z - 38 = -3*b, 52 = 5*b + z. Is b > -1?
True
Let d(b) = -31*b - 64. Let i be d(5). Is i > -219?
False
Let m be ((-159)/(-9))/((-2)/3). Let x = m - -26. Let z be -3 + 2/2 - 102/(-34). Is x < z?
True
Let n be 28/(-182) - 628/(-26). Are n and 23 non-equal?
True
Let t(k) = -k**3 + k**2 + k - 2. Let a be -3*((-4)/18)/(7/42). Let z be t(a). Is z at most as big as -46?
True
Let q be -10*(2 - (3 - -3)). Suppose -4*w = w - q. Let b be (-16)/(-4)*18/w. Is b equal to 10?
False
Let h(i) = -i**2 - 16*i + 80. Let a be h(-20). Is 3/94 at least a?
True
Suppose -6 = -7466*s + 7469*s. Which is smaller: s or -37/11?
-37/11
Let w be 2818/1124 - 11/((-242)/(-55)). Which is smaller: 1 or w?
w
Suppose -29*h = -25*h + 4. Let a be 1*h/129*(5 - 4). Which is bigger: 0 or a?
0
Suppose 2*b + 2 - 3 = 3*k, -2*k = -2*b. Let w be -2 - 1/1 - b. Let l be 0 - -4*w/24. Is l <= 1?
True
Suppose -5*r - 569 = -2*j, -j - 2*j + 4*r = -836. Let b be j/(-372) + (-4)/(-6). Is b at most 0?
True
Suppose 0 = -3*w + 24 - 60. Let y be w/(-20)*(-4)/(-6). Let x be (2/(-8))/((-22)/(-16)). Which is smaller: x or y?
x
Suppose -90 = 17*w - 22. Is w > 1?
False
Let x be ((-4)/(-30))/((-2)/18). Let k(j) = -5*j - 2*j - 10 + 13*j - 9. Let h be k(3). Is x equal to h?
False
Let a(i) = -2*i + 3. Let g(c) = c**3 - 3*c**2 - c + 4. Let w be g(3). Let j be a(w). Which is greater: j or 1/3?
j
Let i be (-4 - (-45)/10)*-28. Let v = -14 - i. Which is greater: 1/3 or v?
1/3
Let h = -1156/3 + 406. Let u = -2130 - -2150. Is u at least as big as h?
False
Suppose -3*b + 5 = g, 8 = -2*b - 0*g + 5*g. Let q = -8457339827/1808 + 4677732. Let m = 2/113 + q. Which is smaller: b or m?
m
Suppose c = 2, 3*x + 4*c + 3 = -1. Let k be 4 - -2*x/(-8). Suppose 3*a = 8*a - k. Which is greater: a or 9?
9
Let r(y) = y**2 + 3*y - 55. Let l be r(-21). Let h be 2573/(-8) - (-1 - -2). Let i = l + h. Which is smaller: i or 0?
0
Let v be (-5)/10 + 46/4. Let d = v + -11. Which is smaller: -25 or d?
-25
Suppose 0 = 12*k - 69 + 585. Which is smaller: 7 or k?
k
Let n be 28/3 - 110/11. Let f = -14 - -10. Is n greater than f?
True
Suppose -3*t - 5*u - 35 = 0, 18*t - 13*t = -u - 51. Is t > -77/9?
False
Let d be 3456/(-135) + (-4)/10. Is d != -263/10?
True
Suppose -p - 8 = -3*p. Let i = -26 - -29. Which is bigger: i or p?
p
Let j = -2 + 1.8. Let c = 43 - 42.94. Let x = 0.26 - c. Is x at least as big as j?
True
Let i be (-4)/(-7) - (-30473)/21. Let n = 1436 - i. Which is smaller: -16 or n?
-16
Suppose 17*n + 4*m - 7 = 16*n, -m + 7 = -5*n. Let p be 2/8 + (-49)/164. Is p <= n?
False
Let f be (1 - 1)*1 + -1. Let l = -316 - -870. Let c = -3887/7 + l. Are c and f non-equal?
True
Let k(w) = -10*w + 6. Let t be k(1). Let r be (-24)/(-36) + t/6 + 0. Which is smaller: -3/13 or r?
-3/13
Let j be ((-2)/5)/((-1)/10). Let q be (-2)/(-3)*(j - -2). Let i(a) = -3*a - 14. Let v be i(-6). Are v and q non-equal?
False
Let r = 1611 - 1730. Is -113 at most r?
False
Let o = 95 + -93. Which is smaller: -28 or o?
-28
Suppose -t = -2*t - 3*a + 6931, 3*a = -3*t + 20805. Let y be (-1)/9 - t/(-63). Let r be 75/y - 1/2. Which is smaller: r or 0.01?
0.01
Suppose -h + 0*h + 24 = -4*v, 4*h - 66 = v. Suppose -4*x - 24 = -h. Are -0.2 and x nonequal?
True
Suppose 2*w = -5*f - 3, 0 = -4*w + 3*w - 4*f - 9. Suppose 15*o = 14*o - w. Let c = -9 + -1. Are c and o non-equal?
True
Let y = -5.9797 - 0.0203. Which is smaller: 0.039 or y?
y
Suppose 29*n + 27 = 38*n. Is n < -0.14?
False
Let a = -2 + 4. Let o = -58.94 - 0.06. Let d = 59.2 + o. Which is bigger: d or a?
a
Suppose 5*c = -2*z + 19, -2*z = 2*z + 2*c - 62. Suppose 27*i - 25*i - 8 = 0. Suppose 0 = w + i*w - 85. Is z < w?
False
Let h be (-1106)/(-7)*1/2. Let m = h + -159/2. Let z = -8.77 + 9. Which is greater: z or m?
z
Let o = 770 - 769.9. Is 76.9 less than o?
False
Let u = -287.99 + 292. Let z = u - -0.49. Which is smaller: -1 or z?
-1
Let f = -2 - -2.1. Let h be -30*(4 - 13)/(-27) - -3. Which is smaller: h or f?
h
Suppose -4*w - 12 = 0, 2*j + w + 1 = 2. Suppose 0 = 2*l - 0*l - 6. Suppose 0*q - j*q = 5*z + 16, -14 = -l*q + 2*z. Which is smaller: 6/5 or q?
6/5
Let z be 25/30*-238 + -1. Let n = z + 192. Which is greater: n or -8?
n
Let n be (-2)/10 - (-666)/30. Suppose -3*v - 55 = -n. Suppose 3*i = 2*i - 10. Are i and v equal?
False
Suppose 3*b = -p + 158, -p = 3*p - 20. Which is smaller: b or 50?
50
Suppose -3*b + 5 = 4*p, -5*b + 3*p + 13 + 5 = 0. Suppose -168 = x + b*x. Let l = x + 251/6. Which is smaller: l or 0?
l
Suppose 485 + 