a*p = 4*p - 220. Is b not equal to p?
False
Suppose -3*j = -5*j + 2. Suppose -3*y + 9 = 3*k, 4*k = 5*y - 3*y + 24. Let h be (-3 + y/(-4))/(1/(-2)). Are h and j unequal?
True
Let w be (308/(-21))/((-2)/24). Let c be 167/11 + (-32)/w. Let l be (-10)/c*(14 + 4). Which is smaller: l or -11?
l
Suppose -y = 2*f, 0 = -2*y + f + 4*f + 18. Suppose -y*j + 4 = -2*k + 18, 2*j = 2*k - 8. Suppose -6*d + 32*d + 52 = 0. Which is smaller: k or d?
d
Let h(t) = -t**2 + 3*t**2 + 18*t - 4*t**2 - 20. Let x be h(8). Let l be (110/25 + x)/(4/1320). Is l <= 131?
False
Let w be -8 - -7 - -6*3. Let p(k) = k - 25. Let g be p(w). Suppose -f = -3*h + 2, -3*f = -2*h - 3 + 16. Does g = f?
False
Let l be 91372/(-25) + 18/225. Let d = l + 3639. Which is bigger: d or -15?
-15
Let j(a) = a**3 + 5*a**2 - 2*a + 3. Let f be j(-4). Let t = 12 - f. Suppose 87*n - 58 = -1450. Is n at most t?
True
Let y = -196 + 983/5. Suppose 12*c - 9*c = 12. Suppose -36 = 13*a - c*a. Which is smaller: y or a?
a
Suppose -p = -3*c + 8*c - 27, 2*c - 36 = -4*p. Suppose -64 - 83 = -p*w. Is 20 less than or equal to w?
True
Let m = 0 + -0.1. Let t = 0.899 - 440.899. Let o = 486 + t. Which is bigger: m or o?
o
Let l(c) be the second derivative of c**5/20 + c**4/3 - c**3 + c**2/2 + c - 14. Let p be l(-5). Which is greater: p or 34/7?
p
Let y be 712/(-16)*(0 - (-4)/2). Let w = y + 97. Is w equal to -2/9?
False
Let z = 376 + -1185. Do -807 and z have the same value?
False
Let o(d) = -d**3 - 5*d**2 + 9*d + 3. Let b be o(-6). Let z(u) be the second derivative of -u**3/6 - 4*u**2 - 20*u. Let c be z(7). Is b smaller than c?
False
Let d = 726 - 498. Suppose 63 = t + d. Do t and -165 have different values?
False
Let d = 2498953 + -3186164692/1275. Let h = 1/51 + d. Is -1 greater than or equal to h?
False
Suppose -4*j + 5*q - 41 = -5, 2*q + 50 = -3*j. Suppose 0 = 2*c + 5*b + 20 + 14, -2*c - 4*b = 32. Is c at least as big as j?
True
Let k(m) = m**2 + 34*m - 794. Let q be k(16). Which is smaller: 73/16 or q?
73/16
Let w be (-5)/10*(3 - 1 - -2). Let d be 0 + (-2 - 46/(-36)). Is w > d?
False
Let m(y) = 3*y - 35. Let f = 88 - 38. Let o = f - 37. Let z be m(o). Which is smaller: 1 or z?
1
Let t = -5.093 + 5.193. Are t and -4436 non-equal?
True
Suppose 0 = 17*n - 23*n - 6. Which is bigger: 10/211 or n?
10/211
Let w = 8203 + -9049. Is w at most -0.2?
True
Let m = 8606 + -8606.05. Is 227 greater than or equal to m?
True
Suppose 0 = -60*a + 7*a + 3*a - 12100. Which is smaller: -20 or a?
a
Suppose 0 = 6*z + 56 - 74. Let f be (-5)/(-2) + ((-222)/(-28))/z. Is 5 smaller than f?
True
Let z = 13.0164 + -0.0164. Which is bigger: z or -2/11?
z
Let d = 123 - 119.48. Let x = 0.52 - d. Which is smaller: -2 or x?
x
Let c(l) = -l**3 + 3*l**2 + 12*l + 1. Let n be c(5). Suppose -2 = 3*q + 2*h - n, -q - 8 = -3*h. Which is greater: 8/17 or q?
q
Let g = -533 - -547. Which is greater: g or 15?
15
Suppose 4*t + 935 + 1569 = 0. Let i be (-5)/10 - t/(-28). Which is greater: i or -23?
i
Suppose -7*a = 24 - 234. Let d be -8*3*(-5)/a + -73. Is -70 less than or equal to d?
True
Let x be 11416/1876 - 40/28. Which is smaller: x or 6?
x
Let f(c) = 2*c**2 - 23*c + 4. Let m(b) = b**2 + 28*b + 62. Let x be m(-26). Let j be f(x). Let w = j - -24. Is w > 15?
False
Suppose -p = 2*z + 15, 13*z - 18*z + 15 = 0. Let c be 1 + (-56)/p - 2*2. Is c at most -108?
False
Let j(z) = z**3 + 4*z**2 + 6*z + 7. Suppose -390 = 5*i - 375. Let y be j(i). Let m = 0 - 9. Are m and y nonequal?
True
Suppose 0 = -16*g - 29 + 29. Suppose 17*x - 14*x + 3 = g. Which is bigger: x or -10/41?
-10/41
Let h = -535 - -540. Let b be (-4)/h - (-14)/80. Is -1 equal to b?
False
Let c = 6 - -13. Suppose 72*g - 75*g - 5*j + 46 = 0, -31 = -2*g - 3*j. Is c at most g?
False
Let s = -7.3557 + -2.2233. Let h = s - 0.521. Is h <= -3?
True
Let j = 238 - 237. Suppose 5*k + 28 - 10 = -3*o, -k = -4*o - j. Which is smaller: o or 10/31?
o
Let l = 8 - -21. Let p = 455 - 423. Which is smaller: p or l?
l
Suppose q - 37*a - 382 = -36*a, q = 3*a + 390. Let p = -377 + q. Which is bigger: -6/31 or p?
p
Let k = -5.389 + 5.689. Which is smaller: k or 1382?
k
Let i be (-35)/14*-4*15/(-81). Which is smaller: i or 4?
i
Let i = -49 + 49. Suppose 2*p + i*p - 18 = 4*t, -23 = 4*t - 3*p. Let v = -0.03 + -10.97. Is t bigger than v?
True
Let w be (14/28)/(3/(-10483049)). Let b = w - -160401182693/91806. Let g = b + 2/1391. Is g smaller than 0?
False
Let f(b) = 9*b**2 + 29*b + 22. Let j be f(-6). Let p = 195 - j. Is 25 at most as big as p?
False
Let g(m) = m**2 + 13*m - 190. Let w = 31 - 56. Let x be g(w). Is x bigger than 111?
False
Let f(z) = z**3 - 4*z**2 - 2. Suppose -4*w - 2*w = -24. Suppose 3 = w*l - 2*a - 5, 5*l + a = 17. Let d be f(l). Is -11 <= d?
True
Let b = 0.18 + 6.82. Let z(v) be the third derivative of v**6/120 - 7*v**5/60 + 3*v**4/8 - 3*v**3 + v**2 - 9*v. Let u be z(6). Which is greater: u or b?
b
Let i be (((-6)/(-8))/3)/(-1). Let b be (-3)/1*(-16)/(-21 + 293). Which is bigger: i or b?
b
Let f be (1 - 0)*(10 + -6). Suppose -2 = n + 2*g, -n + f*g + 21 = 5. Suppose n*b + 62 = -2. Do b and -16 have different values?
False
Let v = -4100 - -4100. Which is bigger: v or -1/65?
v
Let g be ((0 - -2) + -15)*-16. Suppose 2*s + 155 = 173, 0 = 5*p + 2*s - 1053. Is p < g?
True
Let p be (-95)/(-15) - (-1 - 1/(-3)). Let z be 1 + 80/12 + (-4)/(-6). Which is greater: p or z?
z
Let d = -0.0755 - -0.1141. Let i = d + -378.0386. Is 0 <= i?
False
Let y be (1302/248)/(-1 - 21/4). Is -2 at most as big as y?
True
Let b = 33 + -30. Let q(m) = -12 - b*m + 8 - 7. Let a be q(-4). Is 2 not equal to a?
True
Suppose 5*b + 2661 + 7284 = 0. Let q = -77582/39 - b. Let s = q + -2/39. Is s > 3?
False
Let v = -7.8 + -26.2. Let m = v + 34.3. Let h = 35 - 34. Which is smaller: m or h?
m
Let a be 5 + 1 - (-57297)/(-9159). Which is greater: 0 or a?
0
Let n = 14863.8474 - 14864. Which is greater: n or -3?
n
Let o = -7362 + 7374. Let a = -0.2 - -0.2. Let w = a - 0. Which is smaller: o or w?
w
Let t(f) = f + 5. Let r be t(-2). Suppose 2*q = 4*q - r*i - 16, 2*i = -4*q + 16. Suppose -2*m - 2 = -2*o + 8, -4*m = -q*o + 21. Is o < 1?
False
Let k(o) = 2*o - 24. Let b be k(11). Let j be (b - -2)/2 - -4. Suppose -42 = j*y - 6*y. Is y != 21?
False
Let i(y) be the third derivative of 7*y**4/8 + 13*y**3/6 - y**2 + 21*y. Let x be i(-1). Which is bigger: x or -96/11?
x
Suppose 82*q - 68370 - 1140 - 44716 = 0. Does 1398 = q?
False
Let h(k) be the first derivative of -k**4/4 - 35*k**3/3 - 18*k**2 - 75*k + 110. Let p be h(-34). Which is smaller: p or -16?
-16
Suppose 10*b = 20*b - 90. Let l be ((-10)/(-6))/(b/(-756)). Which is smaller: -141 or l?
-141
Suppose 27*m - 276308 = 137*m + 24*m. Is m greater than or equal to -2060?
False
Let x(k) = -52*k + 30. Let t be x(-10). Let u = t - 2743/5. Which is greater: u or -3/8?
u
Let a be 195/(-17)*2356/(-190). Is a bigger than 141?
True
Suppose j - 4*n - 393 = 0, 3*j = 2*n + 2*n + 1163. Suppose -2*s + 4*p = 5*p - 153, 5*s - j = -2*p. Which is greater: 77 or s?
s
Let t = 10 + -18. Suppose 15*o + 57 + 93 = 0. Let c be ((-3)/((-60)/(-28)))/((-2)/o). Is t > c?
False
Let b = 45595 - 45660. Which is bigger: 11 or b?
11
Let f = 47/1456 + -45187/1241968. Which is greater: -1 or f?
f
Let z = 78 - 78.53. Let i = 14.53 + z. Let m = -7 + 6. Are m and i non-equal?
True
Let a be (-1488)/57 + (-2)/(-19). Let g = a - -30. Suppose -4*p = g*u - 5*u - 19, 5*p - 23 = u. Is u >= -3?
True
Let n(w) be the first derivative of -2*w**3/3 - 2*w**2 + 4*w - 9. Let v be n(5). Let b = 22 + v. Is -45 less than b?
True
Let r = -218005/11 + 19803. Suppose -34 = -225*k + 226*k + 2*y, 0 = -5*y - 45. Which is bigger: r or k?
r
Let t be 25/30*2/5. Let s = -0.018 + 35.018. Let m = 34.9 - s. Which is bigger: t or m?
t
Let n(g) = -g**2 - 6903*g - 369911. Let w be n(-54). Suppose -3*b - 73 = 122. Do w and b have the same value?
True
Let r be ((-8)/(-20) - ((-1071)/(-120))/17)*2. Which is bigger: r or 23.23?
23.23
Let q = -18092 + 18092.2. Is -10457 at most q?
True
Let m = -29.16 + 0.16. Let v = -0.2 + 0.4. Is v greater than m?
True
Let x be 20/(4/2 - 3). Let j be (-6 - -1)*16/x. Suppose -5*k = -j*k + 1. Are -3 and k nonequal?
True
Let y = 180 + -210. Let d be ((-21)/9)/((-50)/y). Which is smaller: d or 0.2?
d
Let g be (-3 - -1) + 4 - 1. Let v be (2 - 4 - -3)/(1/31). Le