(-40)). Which is greater: 93 or x?
93
Suppose 3*o = 2*m - 0 + 15, 0 = 4*m - o + 5. Which is greater: 25.5 or m?
25.5
Let m = -1.67 + 23.67. Which is smaller: m or -0.45?
-0.45
Let p be (-24)/32 + (-5598)/(-3496) - 4. Let w = -355441/23 + 15457. Let n = w + p. Is 0 smaller than n?
False
Let d = -159 - -223. Let w = d + -63.81. Is 0 bigger than w?
False
Let d(y) = 2*y**3 - 2*y**2 - 3*y - 2. Let c be d(-2). Which is greater: c or -25?
c
Let i = -17 + 83. Let g be 44/i*3/122. Is g < 1?
True
Let c = 2057/3735 - -2/415. Does 1 = c?
False
Let q(l) = l**3 - 51*l**2 - 93*l - 680. Let d be q(53). Suppose 5*k = 4*j - 25, k + 5 + 2 = j. Is j not equal to d?
True
Let b be (-1204)/420 - 4/30. Are b and 5 equal?
False
Let t = 2 - 20. Let a = -18.07 - t. Let n = a + -1.13. Is -1/3 not equal to n?
True
Let h = -2/13709 - 5908555/164508. Let n = h + 61/4. Are -20 and n unequal?
True
Let o(m) be the third derivative of -m**5/60 - m**4/6 + 7*m**3/2 - 3*m**2 - 3*m. Let l be o(3). Is l less than -5/14?
False
Let i be (1/(-2) - 2)/(-4). Let w = -399 - -400. Which is bigger: w or i?
w
Let v = -51171/44 - -1163. Let t(j) = -j**3 - 12*j**2 + 12*j - 13. Let r be t(-13). Does v = r?
False
Let d = 159 - 161. Is -14 less than or equal to d?
True
Let r = -13.72 - -19.72. Which is bigger: r or -6/17?
r
Let m = -2207 - -1467. Is m < -740?
False
Suppose 3*h - 2*u - 438 = 0, -10*h - 429 = -13*h + 5*u. Is h less than or equal to 146?
False
Suppose -2*u - 5*n = -3, -3*n = u + 3 - 4. Suppose u*f - 3*f - 1 = 0. Suppose 4*l - 20 = -5*z - 6, 0 = 3*l - 2*z + f. Is l not equal to 1?
False
Let n be 1660/(-52)*-11 + 2/(-13). Which is smaller: 352 or n?
n
Let u = 289/849 + -2/283. Is u less than 1335?
True
Let k = 0.16 + -7.16. Let l = -6.8 - k. Let v = -0.3 + l. Is v at most 0.5?
True
Suppose -425 = 5*k - 4*w, 3*w + 481 = -5*k + 21. Is k greater than -95?
True
Let n(x) = x**2 + 6*x - 6. Let d be n(-7). Let w be d/(-6) - 1/30. Let b = -2 - -2. Is b bigger than w?
True
Let t(o) = -o**2 - 7*o - 7. Let q be t(-5). Suppose 2*y + q*y - 40 = 0. Suppose l = -2*g - 9, y = -g - 3*g. Is l >= -3?
False
Let p be ((-10)/84)/(8/1398). Let l be (-3)/2 - 915/(-40). Let h = l + p. Is 0 at least as big as h?
False
Let h = -462 - -483. Which is greater: h or 39/2?
h
Let z be 1440/150*-2*2*-15. Which is bigger: z or -0.1?
z
Let h(j) = -j - 2. Let y be h(-6). Let k = y - 4. Are -2/5 and k equal?
False
Suppose 5 = h + f, 4*f + 3 + 1 = 4*h. Suppose -5*u + h*l = -l + 56, -3*l = 3*u + 12. Let r = -11 + 2. Which is smaller: u or r?
r
Suppose 5*q + 122 = 6*q. Suppose -4*c = -3*m - 218, -c - 5*m + q = c. Which is smaller: 55 or c?
55
Let j be ((-8)/16)/(3/6). Let k be (j/1)/((-11)/(-99)). Which is smaller: -7 or k?
k
Let k(a) = -a**3 + 11*a**2 + 6*a - 10. Let i be k(6). Is i at most as big as 208?
True
Let t = 33.21 + -33. Let k = -1.21 + t. Does k = 2?
False
Let b(d) = -17*d**3 + 3*d**2 - 4*d. Let x be b(3). Let l = x - -3097/7. Suppose -6*w = 6 - 0. Which is smaller: l or w?
l
Let y = -2769294/425 - -6516. Is 1 smaller than y?
False
Let b(s) = -4*s + 27. Let x be b(4). Suppose -8 = -3*j + 7. Suppose -3*y - 3*l = -30, 0 = -j*y - 4*l + 42 + 10. Which is greater: x or y?
y
Let a be 2 + 3 + -7 - 1*-5. Suppose k - 21 = 2*v, -5 - 68 = -4*k - a*v. Which is smaller: k or 21?
k
Let x be -2 + 474508731/1206*2. Let b = -786914 + x. Let q = b + 1/67. Is -4 at least as big as q?
False
Suppose 3*l + 5*x - 12 = 6*x, -3 = l + 2*x. Let k be 1/(l + 7/(-2)). Let f be k/(-3 + 2 + 3). Which is bigger: f or 0?
0
Let q(p) = p**3 + 13*p**2 + p + 15. Suppose -2*m + 3*r = 10, 2*m + 3*m = -4*r - 71. Let h = -24 - m. Let f be q(h). Is 4/7 smaller than f?
True
Let x = -1782 + 1726. Which is greater: x or -45?
-45
Suppose 13*i + 5428 = -10*i. Do i and -236 have different values?
False
Suppose 25 + 15 = -5*w. Let s be (-9 - w) + (-136)/(-130). Let d = s + 36/65. Which is greater: 1 or d?
1
Suppose 2*m + 0 + 0 = 0. Suppose -4*b - u = 119, 2*b + 3*u + 40 + 27 = m. Which is bigger: b or -31?
b
Suppose -93 = -26*y + 89. Which is greater: -2 or y?
y
Let v = 3 - 2. Let i = -994 + 993. Is v >= i?
True
Suppose -3*l + 9 + 24 = 0. Let h(r) = -r**3 + 11*r**2 - r + 2. Let a be h(l). Is a greater than -9?
False
Suppose 1864*i = 1871*i. Is i at most as big as 5/233?
True
Let s = 244 + -244.171. Which is smaller: -0.2 or s?
-0.2
Let b(z) = 24*z - 23. Let y be b(10). Let v = y + -5427/25. Is 1 at least as big as v?
True
Let o = -23.7 - -26. Let g = 11.3 + -10. Let b = g - o. Which is smaller: -8 or b?
-8
Suppose 2*v = -2*v + 8. Let f = 4 + 71. Let i be (3/12)/(f/480). Is i less than v?
True
Suppose 0 = 3*y + 47 - 56. Suppose 5*h - 65 = 5*q, 4*q - 1 = -h - y. Let p = -1 - -1. Which is greater: p or h?
h
Let f = 266 + -239. Let k be 4 + -1 - (5 + -26). Is k less than f?
True
Let q be ((-2)/(-6) - -1)/((442/306)/(-13)). Let d be (-4)/1*2/(-4). Which is bigger: q or d?
d
Suppose 2*c = 0, -5*c = 3*p - 2*c. Suppose -10*n = -p + 50. Let o be (-1 - 1)/(-2)*-3. Which is greater: o or n?
o
Let o = 11 - 6. Let y = 4 + 3. Suppose 3*u = -o*c + y - 40, -5*c - 32 = 2*u. Which is bigger: c or -7?
c
Suppose -23 = 7*i + 5. Let x = 7 - 18. Which is greater: x or i?
i
Let g(x) = x**2 + 9*x + 2. Let d be g(-9). Let u be d/(-5) - (-64813)/(-455). Let i = 143 + u. Is i bigger than 0?
True
Let l be 3/((-261)/(-44) - 6). Which is smaller: l or -45?
-45
Let m(t) = t**3 - 7*t**2 + 6*t + 5. Let i be m(6). Let s be 4/((-16)/(-36)) + -4. Suppose i*k + s = -0. Which is bigger: k or 11?
11
Let d(g) = -9*g**2 - 40*g - 308. Let q be d(-11). Are -957 and q unequal?
False
Suppose -3*w + 9 = -3*f, f = 4*w + 3 - 21. Suppose 0 = -s - 6 + w. Does -3 = s?
False
Suppose -2*b = 4 + 12. Let y(o) = -o**2 - 8*o - 20. Let l be y(b). Is l greater than -21?
True
Suppose 0 = f - 330 + 330. Which is smaller: f or 3/581?
f
Let m = -415 - 16. Is -432 < m?
True
Suppose -5*w - 333 = -8*w - t, 2*w = -3*t + 222. Is 107 less than or equal to w?
True
Suppose q = 5*m - 3*q - 85, m - 8 = -q. Suppose -5*y + 6*y - m = 0. Let k be (-212)/(-18) + (-4)/(-18). Is k smaller than y?
True
Let w = -243.23 + 243. Which is greater: -5 or w?
w
Suppose 16*t - 4 = 20*t. Let u be (t - 5/5) + 0. Let r be (-2)/(-20) - u - 3. Which is smaller: -1 or r?
-1
Let m = 35026/3549 - 208/21. Is 0 at least m?
True
Let n be ((-100)/40)/(10/24) - 173. Are n and -179 non-equal?
False
Let l = 5/219 - 557/27594. Is l at least 1?
False
Let u(y) = 14*y - 15. Let z(n) = 9*n - 10. Let r(v) = -5*u(v) + 8*z(v). Let l be r(4). Is 4 greater than l?
True
Let d be 2894*4/(-16)*-2*-1. Which is bigger: d or -1446?
-1446
Let t be 5*-1*(-4)/(-10). Let y(i) = -i**2 - 5*i. Let p be y(-5). Let x = p + 0. Is t < x?
True
Let o(v) = v**2 - 13*v + 11. Let a(b) = -b - 4. Let w be a(-16). Let f be o(w). Is 1/6 < f?
False
Let a be 3/(-15) + (11/(-5))/(-1). Suppose -301 = -5*m + a*x - 35, x = -3. Which is bigger: 53 or m?
53
Let l = 17.22 - 17.3. Which is greater: -5/8 or l?
l
Let g = 5.5 - -1.5. Let w = 6.8 - g. Let l = 6.72 - -0.28. Does l = w?
False
Let b = 9230.01 - 9297. Let n = b + 67. Which is bigger: n or -3/7?
n
Let i = -1258 - -1259. Is 7/26 at most as big as i?
True
Let q = -680 - -679. Let m be (-11)/15 - (-2)/6. Which is smaller: q or m?
q
Let b be (-20)/(-3) - (-4)/(-6). Let n be 3/b*6*-2. Let k = -11 - -4. Is k less than n?
True
Let k be 5*-1*(-36)/(-20). Let s be -29 + 1 - (k + 5). Let x be 3/4*(-160)/s. Which is smaller: 7 or x?
x
Let c(z) = 4*z**2 - 9*z - 12. Let b be c(9). Let s be (-2)/3 + 253/b. Are s and 0 equal?
False
Let i be 33/5 + (-1)/1. Let w(s) = -10*s + 76. Let v be w(7). Which is greater: v or i?
v
Let c be ((-6)/(-18))/(2/12). Suppose -3*z = c*z - 20. Let i(w) = -2*w + 48. Let d be i(22). Are z and d equal?
True
Let a be (0/2)/(0 - -1). Suppose a = 5*t - 0*t, 4*b - 2*t = -8. Let d = 31 + -26. Which is bigger: b or d?
d
Suppose 3*y = y + 78. Let w = y - 24. Which is smaller: 16 or w?
w
Let k be (-1913)/(-18) + (-10)/45*-1. Which is bigger: k or 1?
k
Suppose -l + 4*l = -225. Let o be 3/(-9)*(-17325)/(-77). Are o and l nonequal?
False
Let x = 65 + -33. Is x smaller than 0.2?
False
Let v = 294.5 - 296. Which is greater: -2 or v?
v
Let x = 830 + -682. Is x != -2/5?
True
Suppose -s + 32 - 23 = 0. Is 19 smaller than s?
False
Suppose 5*s + 5*i - 94