equal to p?
False
Let v(b) = -b**3 - 10*b**2 - 7*b + 15. Let d be v(-9). Let n be d/(-4)*8/10*5. Are 4/3 and n unequal?
True
Let k be 12/10*(-4)/9060*-1. Which is bigger: k or 1?
1
Suppose 0 = 5*i - i - 2*h - 76, 2*i - 4*h = 26. Suppose 5*c + 5*s = -110, 4*c = 2*s - i - 55. Let b be 1/(-2) + (-78)/4 + -1. Is b > c?
False
Let v be (222/(-78) - 1) + 4 + 9824/(-7748). Is v smaller than -2?
False
Let s(k) = -k**2 + k - 4. Let m be s(3). Let n = -3595 - -3605. Let l = n + m. Which is smaller: -4/25 or l?
-4/25
Let h = 20861425 - 1272585540/61. Let s = 633 + h. Suppose 3*n = -2*n - 5. Which is smaller: s or n?
n
Let i = 21714/67 + -324. Let j = -287/536 - i. Which is smaller: j or -2?
-2
Let d be (4 + -1 - (-4)/(-6))*15. Let a be 18/12 + d/(-20). Is -5/3 > a?
False
Let h(i) = -3*i + 44. Let o be h(16). Let c be 4/8*(-3 - (o + 75)). Is -37 not equal to c?
False
Let b = -2880 + 1529. Which is smaller: b or -1/4?
b
Let m(r) = 62 + 19*r + 8*r**2 + 8*r**2 + 5*r**2 + 2*r**2 - 24*r**2. Let d be m(36). Is d less than -551?
False
Let b be 10/(-15)*57/133. Which is greater: b or 711?
711
Suppose 792*o = 800*o. Is o greater than -1/3230?
True
Let f = 274 + -260. Suppose 28 = f*g + 28. Which is greater: -1/392 or g?
g
Let n be 2/(-4)*8/267. Let a = -74976574 + 700656084704/9345. Let w = a + n. Is -1 smaller than w?
True
Suppose 16*c - 76038 - 3012462 = 229*c. Are c and -14500 non-equal?
False
Let l = -55450 - -1274916/23. Do -20 and l have the same value?
False
Suppose 2*a + 8 = -0*a, -212 = 3*r + 2*a. Let h = -66 - r. Suppose 0 = -h*j + 5*j + 111. Which is smaller: j or -36?
j
Let b = 2751 - 2751.1. Suppose 0*c = -c + 12. Let f be c/(-27) - 2/(-3). Which is bigger: f or b?
f
Suppose 0 = -4*d + 6*d - 44. Let l = 19 - d. Let f be (-48)/(-6) + (-2)/l. Do 9 and f have different values?
True
Suppose 188 - 71 = 9*t. Which is bigger: t or 83?
83
Let x = -44 + 8. Which is smaller: 49 or x?
x
Let g be 1/5 + (-21827)/32485. Which is smaller: g or 1?
g
Let j(t) = -62*t - 2066. Let d be j(-34). Let n = -40 - -81. Which is greater: d or n?
d
Let z(r) = r - 2. Let j be z(3). Let q = -534.3 + 536. Are q and j non-equal?
True
Let z = -0.7 - -5.7. Let t = -13.356 - -43.356. Is t at least as big as z?
True
Let i(n) = n**3 - 2*n**2 + n + 2. Let y be i(3). Suppose -y = -3*t + 22. Suppose 249*s = 240*s + 108. Is s greater than or equal to t?
True
Let a = -6561 + 6560. Which is greater: a or -31/37?
-31/37
Let o(t) = t**2 - 179*t - 801. Let n be o(46). Which is smaller: -6916 or n?
n
Let v = -3415 + 17073/5. Is v <= 0.153?
True
Let o = 4437 - 4438. Let x = -4651/1147 - -119/31. Is x < o?
False
Let x(p) = -2*p**2 - 42*p - 51. Let r be x(-32). Let a = -754 - r. Do 1/97 and a have different values?
True
Let l(s) = s**2 + 19*s + 34. Let n be l(-14). Let d be (-3 + -2 - n) + 1 + 0. Which is smaller: d or 34?
d
Let p = 123.16 - -1.84. Let v = p + -126.6. Is 5 less than or equal to v?
False
Suppose 4*l + l - 10 = -k, 0 = 5*k. Let i = -433 + 433. Let n be i - (1/l)/(123/(-18)). Which is bigger: n or 1?
1
Let c(o) = -o**3 - 2*o**2 + 7*o + 8. Let w(i) = -19*i + 206. Let x be w(11). Let r be c(x). Which is smaller: r or 3?
r
Let h = 113864279/117 - 973192. Let g = h - 62/9. Does -0.3 = g?
False
Let s be 5/20754*(-35)/((-525)/(-9)). Which is bigger: -1 or s?
s
Let t(c) = 2*c**2 - 13*c + 8. Let o be 2/4 - (13/(-2) - -1). Let z be t(o). Let s be 2 - ((0 - z)*1 - -3). Are s and 5/27 nonequal?
True
Suppose 0 = 3*r + u - 22, 21*u - 22*u + 4 = 0. Suppose -57 = r*k + 315. Which is smaller: -125/2 or k?
-125/2
Suppose -3627 = -26*h + 3653. Let x = 295 - h. Let s(l) = -l**3 - 2*l**2 - 2*l + 1. Let r be s(-3). Which is greater: r or x?
r
Let h = -14 - -7. Let w be -2 - (-7 + 4) - h. Let u be -2*2/w*0. Which is bigger: -2 or u?
u
Let y = 9847 + -5618. Is 4230 <= y?
False
Suppose -3*n = 8*y - 13 - 58, 4*y - 4*n - 52 = 0. Which is bigger: 73/7 or y?
73/7
Suppose -27995 = 2005*o - 1994*o. Is o < -2544?
True
Let d = -467 - -471. Suppose -8*w = d*w - 12. Which is smaller: w or 1/278?
1/278
Let l = 1084 + -3144. Let n = l + 2498781/1213. Is n != 1?
True
Let s(i) = -i**2 + i + 1. Let r be s(-2). Let d be ((-4)/18)/((-10)/21435). Let z = -481 + d. Is r at least z?
False
Let x = 119 + -123. Let y be x/(-18) + 40/(-504)*10. Let n = 60 + -62. Which is bigger: y or n?
y
Let i be -1 - (4 - 2)*-1. Suppose -6*z + i = -41. Suppose z*b + 3 = 6*b. Which is smaller: b or -2?
b
Let y be 4 - ((-1)/3 - 8/(-24)). Suppose -12 = -2*k - 4*o - 0, 0 = o - y. Let g be 9 - ((-6)/k - 1) - 4. Are 2 and g equal?
False
Let q = -334 - -150. Let b be (-1)/(q/182 + 1 + 0). Which is smaller: b or 92?
b
Let y(x) = -143*x + 4139. Let p be y(29). Do p and 11/16 have different values?
True
Let l = 103 + -101. Let s be (-2)/(-4)*l - -72. Suppose 0 = -6*z - 83 - s. Which is bigger: -27 or z?
z
Let x = 9117 - 17602. Is x less than -8485?
False
Let p(k) = k**2 - 8*k - 3. Let c be p(9). Let g be (6 - c) + 284/(-8). Let b = g + 36. Do b and -3/11 have different values?
True
Suppose 65*w = -19560 - 196305. Is w less than -3322?
False
Let r(g) be the second derivative of -g**4/12 - 7*g**3/6 - 62*g. Let m(x) = -3*x. Let y be m(2). Let v be r(y). Is v at least as big as 6?
True
Let j = -13 - -17. Let d be 2/(j/70)*(-1)/(-6). Is d smaller than 2/7?
False
Let c = -715 + 717. Suppose -3*a + 2*t + t + 159 = 0, c*a = -2*t + 126. Which is greater: a or 117/2?
117/2
Let c be (-1610)/(-460)*2592/7. Which is bigger: 3886/3 or c?
c
Let a = -1209 + 1206. Which is smaller: -2610 or a?
-2610
Let w = -33163/1035 - -289/9. Is w > 1?
False
Let j(o) = -168*o + 1. Let r be j(0). Is 1/3964 not equal to r?
True
Let n = 115/197 + -32641/49841. Which is greater: -2 or n?
n
Let l = -14835 - -73693/5. Is -97 equal to l?
False
Let s = -18237 + 18224. Is s >= -4.91?
False
Suppose 10*r + 228 = 6*r + r. Which is bigger: r or -603/8?
-603/8
Let n = 0.1 + -3.1. Let x(s) = 9*s**3 + 3*s**2 - 5*s + 5. Let m be x(2). Let a = m + -83. Which is smaller: a or n?
a
Let y(a) be the second derivative of a**4/12 + 2*a**3 + 3*a. Suppose -3*i = 5*r + 51, -4*i - 10 - 26 = 4*r. Let c be y(r). Which is smaller: -27 or c?
-27
Let g = -5524 - -5763. Which is greater: 243 or g?
243
Let c(f) = 7*f - 1. Let w be c(1). Is -115 equal to w?
False
Let f = -492 + 493. Let m = -424/5 + 17813/210. Is m at least as big as f?
False
Suppose -4*n + 348 = -58*m + 60*m, 3*n - 270 = 3*m. Let q be 49/21 + -3 + n/129. Let a = 1 + 0. Is a at most as big as q?
False
Let w be 21/14 + -1 + 1045/(-2). Let o = 4187/8 + w. Is 1 less than or equal to o?
True
Let h = -1267 - -1257. Which is greater: -46/5 or h?
-46/5
Let i(y) = -4*y + 4. Let n be i(2). Let u(p) be the third derivative of -5*p**4/12 - 19*p**3/3 + 2*p**2. Let l be u(n). Which is greater: l or 0.39?
l
Let g = -72 + 66. Let l be (2/g)/(8/(-48)). Let r be 108/34 - (4 - (l - 1)). Which is smaller: -1 or r?
-1
Let a be (((-129727)/52)/(-17))/((-2)/8). Is -585 not equal to a?
True
Let i be (-45555)/3370*(-1)/(-6). Let p = i + 1/337. Suppose 5*y = 4*y - 3. Is p smaller than y?
False
Let b(t) = -t**2 - 6*t + 10. Let c be b(-11). Let j = 1674 + -1718. Does c = j?
False
Suppose -5*u - b + 1930 = 0, -5*b + b + 405 = u. Let d = u + -370. Which is smaller: d or 198/13?
d
Suppose 58 = 5*k + 68. Let t be 48*(k/(-156))/(10/30). Which is smaller: t or 2?
t
Let t = -233/3 - -77. Let g = t + 7/12. Let z be (-56)/(-20) + (-495)/275. Which is smaller: g or z?
g
Suppose k + f - 4 = -k, -4 = -5*k - 4*f. Let n = 162 - 186. Is n equal to k?
False
Suppose -15*r - 63 = -48. Let a be 2/5 - 318/345. Is a > r?
True
Suppose 2252 = k + 3*k. Let o be (563*(-1)/(-2))/((-7205)/(-110) - 65). Is k at least o?
True
Let w = 11.99 - 0.59. Let g = w + -8. Let f = g + -3.1. Is 1/7 equal to f?
False
Let v = -0.24 - 0.14. Let t = v - -2.78. Let s = t - 8.4. Is s smaller than -0.3?
True
Let f = 8.47 + 2.81. Let n = f + -0.28. Let v be 3/(-5) - 490/(-1400). Does v = n?
False
Suppose 28*d + 5*d + 40 = 7. Is d smaller than 169?
True
Suppose -137*n + 93*n = 0. Which is smaller: 1/6315 or n?
n
Let h be 3 + (-2)/(-3 - -1). Let v = -17 + 11. Let r be v/10 - (-4818)/1430. Which is bigger: r or h?
h
Suppose -78693 = -17*y - 12308. Let h = y - 19639/5. Is -24 <= h?
True
Let p(d) = d**2 + 2*d + 7. Let n be p(-9). L