 7*p**2 - 333*p + 2132. Let l be t(40). Is l less than or equal to j?
True
Let v be (-55)/70 - 15/(-30). Which is greater: v or 97?
97
Suppose -2184 = -76*v - 1576. Is v at least as big as -218?
True
Let i = -361 - -382. Let j be (-4)/(-14) + (-111)/i + 3. Is -5/16 bigger than j?
True
Let r be 3 + -14 + 2156 + (-10)/2. Is r less than 2141?
True
Let y(j) = j**2 + 4*j - 11 - 18 + 6*j. Let t(b) = -2*b**3 - 37*b**2 + 66*b + 107. Let f be t(-20). Let a be y(f). Is 13 less than or equal to a?
False
Let a be (8/5)/(4/50). Let r = 13 + a. Suppose -r*j + 29*j + 108 = 0. Is 27 greater than or equal to j?
True
Let q = 80 + -1038/13. Let c(r) = -14*r - 56. Let z be c(-5). Suppose -z = b - 5*u, -4*b + b - 4*u = -15. Are q and b nonequal?
True
Let x(l) = l**2 - 2*l. Let c be x(2). Let i = 6131561/170 - 36068. Is i != c?
True
Let s = -75 - -83. Suppose 4*o + 30 = 3*w, s = 4*w + 4*o - 4. Suppose -w*z - 11 = -17. Which is greater: z or -27?
z
Let o be -4 - (-83 + -4 - -5). Suppose 0 = 2*i - c - 3*c + o, 4*c = -5*i - 153. Which is smaller: i or -34?
-34
Let a(s) = -16*s**2 + 194*s - 23. Let l be a(12). Which is smaller: l or 3/1898?
3/1898
Let r = -55 - -99. Suppose 174*t = 162*t + 72. Suppose -r = t*g - 8*g. Is 22 smaller than g?
False
Let x = 183.9 + -180.9. Let s(d) = 2*d - 6. Let g be s(7). Let p = g + -7. Which is bigger: p or x?
x
Let n be (-40650)/95 + (-18)/(-12)*(-12)/171. Is 1/5 <= n?
False
Let f(s) = 506*s**2 + 21. Let z be f(2). Which is smaller: z or 2047?
z
Let f = -400 + 362. Let a = f + 40. Let n = 0 + 0. Which is bigger: a or n?
a
Let d = -1743/76 - -31159687/1358652. Is d greater than or equal to 1?
False
Let h(c) = 2 + 8*c + 5*c - c**2 + 16. Let s be h(14). Suppose -16 = s*a + 92. Do a and -26 have the same value?
False
Let o be 84/(-11403)*(-120)/400. Let t be 1/4*-2*2. Which is bigger: o or t?
o
Let v be (-120)/24 + (2 - -295). Suppose 624 = 3*f - 3*k, 3*f - v = -2*k + 352. Are 212 and f equal?
True
Let o = 427 - 391. Which is greater: o or 19?
o
Let i = -129 - -8. Let m = i - -118. Let b = -0.1 - -0.3. Which is bigger: m or b?
b
Let l = -9 + 13. Let z(w) = -34*w**2 + 2*w. Let c be z(-1). Is l equal to c?
False
Let a = -6515 + 6375. Is a at least -1/14?
False
Let k(v) = -11*v**3 + 57*v**2 - 107*v + 37. Let u(p) = -5*p**3 + 28*p**2 - 53*p + 18. Let s(o) = 6*k(o) - 13*u(o). Let l be s(-24). Which is smaller: 13 or l?
l
Let b = 1359 - 47574/35. Suppose -47*y + 49*y + 10 = 5*f, f - 15 = 3*y. Is b not equal to f?
True
Let n = -701905432847/4998 - -140437261. Let g = n - -1/294. Are g and -1 equal?
False
Let b = -30 - 18. Let s be ((-4)/(-6))/(4*(-8)/b). Is s smaller than 3/67?
False
Let i = -1.3832 + 269.3832. Is -2/29 >= i?
False
Let g = -0.2889 + 0.0889. Which is bigger: g or -238?
g
Let u(h) = 20*h**2 - 460*h - 10. Let j be u(23). Is j >= -100/9?
True
Suppose 2*t - k - 9 = 0, 3*t - 2*k = -3*k + 21. Let o(b) = 2*b**2 + 13. Let z be o(t). Suppose 6*u - 95 = z. Which is smaller: 31 or u?
u
Let m(r) = -4*r**3 + 2*r**2 - 1. Let z be m(-1). Suppose -z*d - 5 = -10*d. Let x = -1 - -3. Are d and x non-equal?
True
Let w = 89881/4 - 22592. Which is greater: -121 or w?
-121
Let g(t) = -t**2 - 33*t + 39. Let z be g(-34). Suppose z*c = -m + 424 + 372, 2*c = 5*m + 313. Is c >= 159?
True
Let k = -28009 + 365590/13. Which is smaller: 113 or k?
113
Let w(s) = -s + 3. Let k be w(6). Let o = k + 3. Let z = -27980/21 - -139816/105. Which is smaller: o or z?
z
Let v(t) = -41*t - 200. Let i be v(-6). Let y = -119 - -167. Is y less than i?
False
Let o(n) = -n - 1. Let x be o(0). Suppose -3*z - 17 - 4 = u, 0 = u. Let r be z/1 + 4 + 2. Does x = r?
True
Let x = -10077/69580 - 3/1420. Is x greater than or equal to 0?
False
Let n = -90 - 175. Let c = n - -515. Let t be -6 + 115/20 + c/936. Which is smaller: t or 1?
t
Let u = -393.028 - -390. Let y = u + 3.5. Let l = 0.072 - y. Is l not equal to -0.06?
True
Let j = -1154 - -1153. Which is smaller: j or 7318?
j
Let r = -21.186 + 21.486. Let j(v) = -31*v**3 + v**2 + v + 1. Let w be j(-1). Which is bigger: w or r?
w
Suppose 0 = 3*c + 4*c - 140. Suppose 5*l + 10 = c. Suppose 0 = l*w - 8*w. Which is bigger: 5 or w?
5
Suppose 2*t = -4 - 14. Let h = 25 - 101. Let n be (2/5)/(h/25 + 3). Is t > n?
True
Let c(f) = 17*f + 17. Let n be c(0). Let a = 17 + -12. Suppose -3*o - a = -4*z - n, 2*z + 6 = -5*o. Is o > -4/7?
True
Let i(r) = 8*r + 9. Let a be i(-2). Let j(n) = -2*n - 14. Let s be j(a). Let w be (-360)/(-354) - 1 - 0/1. Which is greater: w or s?
w
Suppose 2*g = 8, 0*g + 200 = -4*o + 2*g. Let d = o - -55. Let r be (-1920)/(-84) - (-1)/d. Is 22 < r?
True
Let a = 0 + -1. Let x be 8724/13881*35 + -22. Is x bigger than a?
True
Let m(x) = 5*x - 55. Let i be m(-11). Which is smaller: i or 29?
i
Let s be ((-105)/7)/(-5)*8/6. Suppose -2*f + 6 = s*p, -p + 1 = -5*f + 5. Is p greater than or equal to 1/93?
True
Suppose 805 = -84*p + 301. Which is greater: p or -63?
p
Let t be 10/15*6/(-4). Let j be 462/297*(-4)/7. Which is smaller: j or t?
t
Let q = 72 - -32. Let p be 3 + q + (-12)/(-3) + -2. Let l = p - 96. Is l not equal to 12?
True
Let t = 123/305411 - -27916698357/12216440. Let k = t + -2285. Are 1 and k non-equal?
True
Let a = -17 + 21. Suppose -a*j + 0*j = 8. Let x be ((-14)/(-20) + -1)*(-364)/(-546). Are j and x nonequal?
True
Let q(u) = -4*u + 327. Let v = 745 - 698. Let j be q(v). Are j and 140 non-equal?
True
Let y be 10/40*(-32)/(-38). Let s = y - 27/38. Suppose 4*t + 6*d = 2*d + 76, -4 = 4*d. Which is smaller: t or s?
s
Let i = -193.61 - 1.39. Let f = 195 + i. Let x = 12 + -13. Which is bigger: f or x?
f
Let m = -4.2093 + 0.2093. Which is smaller: -101 or m?
-101
Let z be 7/(-6)*(-128)/448. Let q be (-315)/(-525) + (-11)/85. Is q >= z?
True
Suppose -2*z + 2 = u - 5, 4*z = 2*u + 26. Suppose 4*k = -12, z = 3*r - 5*k - 13. Suppose 3*a + 39 - 6 = 5*g, 0 = -5*g - 5*a + 25. Is r > g?
False
Let t be 1/(4082/3925 - (0 - -1)). Which is bigger: 24 or t?
t
Suppose -5*f + 134 = 19. Suppose -u + 3*u = 12. Suppose u*a - 1 - f = 0. Which is greater: a or 11/4?
a
Let t be (-49 + 99)*(43 + -1). Let i be ((-8)/(-6))/(t/18). Which is greater: i or -1?
i
Let o be (-84)/35 + 3 - 46/10. Let k be (-43082)/(-528) + 6/9. Let u = -693/8 + k. Is o less than or equal to u?
False
Let n = 1224 - -426. Which is greater: 1647 or n?
n
Let j(f) = 2*f**3 - 45*f**2 - 22*f - 27. Let q be j(23). Let i be (12/(-7))/(q/14). Is -3 >= i?
False
Suppose 7*i - 2*i = -80. Let p be 3*(-456)/i + (0 - -3). Which is greater: 88 or p?
p
Let x be (-12 - 10420/(-870))*36/(-1). Do 2 and x have different values?
True
Let v = -40 - -41. Let h = 1675 - 1732. Which is bigger: h or v?
v
Suppose 0 = 3*w + 5*p - 5657, -8*p + 13*p = -5*w + 9415. Is w < 1878?
False
Let d = -2651.06 + 2535. Let t = 168 + -284. Let j = d - t. Is -0.4 < j?
True
Suppose -d = i - 9, -4*d + i - 1885 + 1961 = 0. Let h(t) = t**3 + 6*t**2 + 6*t + 5. Let n be h(-5). Suppose 3*y - 2*g - 67 = -0*y, n = 3*y + g - 52. Is d > y?
False
Suppose 5*p + 8*h + 35 = 4*h, -20 = 4*h. Let j be (-1 - -82) + (p - -6 - -2). Are j and 85 equal?
False
Let d = -12842 - -12839. Is d at least as big as -912?
True
Let s = -22 - -21.64. Let o = 0.336 + s. Let t = o + 0.054. Is -1/6 less than t?
True
Suppose -4260 + 3606 = 6*k. Is k <= -109?
True
Suppose 3*b - 3*l = -1389, 5*b + l = 3*l - 2306. Let x = b + 459. Is x not equal to -1/14?
True
Let g be (-660)/(-32) + (-15)/(-40). Suppose -25 = -5*t + o, 7*t - 49 = 3*t - 5*o. Suppose -15 = g*x - t*x. Is x smaller than -3?
False
Let u be (-9)/(2/(-2)*-1). Suppose 24 = 20*f - 376. Let q be 22/f + u/6. Is -2/5 bigger than q?
False
Let c = 13.721 + -14.303. Which is smaller: 1/2 or c?
c
Let w be -2*(-2456)/64*3/(-2). Let t = w - -115. Let k(b) = -b**3 - 3*b**2 + 3*b - 5. Let y be k(-4). Which is smaller: t or y?
y
Let q = -1005 + 878.1. Let h = 127 + q. Is -8.3 >= h?
False
Let y(l) = 8*l**2 + 131*l - 414. Let r be y(3). Is r at most as big as -19?
False
Let v = -2.79 - -147.79. Let o = 145.05 - v. Suppose -l = 3*l. Are l and o equal?
False
Let p = 13317 + -12425.9. Let m = -770 + p. Let g = -121 + m. Do 1/7 and g have the same value?
False
Let z = 12/8087 + 29145512/24261. Which is smaller: 2/5 or z?
2/5
Let r = -6711 + 7095. Is r not equal to 384?
False
Suppose -18 = 2*p + 4*i - 98, 80 = 3*p -