46?
True
Let p = -4/40971 + -111533/116562495. Does p = -1?
False
Let g = 708 + -654. Suppose 90 - g = -6*n. Which is bigger: -35 or n?
n
Let v(l) = -13*l**3 - 39*l + 7*l**3 + 4*l**3 + 5*l**2 - 6 + l**3 + 8*l**2. Let w be v(9). Is -30 < w?
False
Suppose 51*q + h - 638 = 54*q, 3*q - 2*h + 643 = 0. Which is bigger: q or -2745/13?
q
Let y = -5971 + 6191. Which is smaller: y or 0.1?
0.1
Let b(a) = 27*a**2 - 2*a + 2. Let i be b(-6). Suppose 4*o = -3*m + 2966, 41*m + 5*o - 3954 = 37*m. Is m at most as big as i?
True
Suppose -3*q - 2*q = 4*a - 358, 3*a + 3*q = 267. Let w = a + -134. Is w at most -48?
False
Let n = -29 - -46. Let j = 145.27 + -145. Let o = -0.17 + j. Which is greater: o or n?
n
Suppose -2*y - 3 = -3*y, 0 = 4*c + 2*y + 234. Let p be (38/(-32))/(303/c + 5). Which is smaller: 24 or p?
p
Let w = -17176 - -17206. Let y = -24 - -53. Is w < y?
False
Let w(s) = -10*s**3 - 7*s**2 - s + 10. Let a be w(-5). Which is smaller: 1089 or a?
1089
Let o(f) = -f + 7. Let y be o(7). Let k(m) = 3*m**2 + 20*m + 10. Let b be k(-7). Let l be (12/901)/(-3) - (-2)/b. Is y greater than l?
False
Let t = -52 - -52.21. Let w = -0.56 - -0.66. Which is smaller: w or t?
w
Let h = 2650.4 + -2703.4. Do -143 and h have different values?
True
Suppose 2*c - 4 = -6. Let j(f) = 26*f - 152. Let o be j(6). Let l be o - (1 - (c - 1)). Does l = -3/8?
False
Suppose -4*w + 6 = 3*o, 4*w - w - 10 = -5*o. Suppose -4*y + 4*p = 9*p - 93, 5*y + p - 132 = w. Is 26 greater than y?
False
Let n be 202*5*(6 - 22/4). Let b be -62*n/130 - (-1 + 2). Let t = -242 - b. Which is smaller: t or 0?
t
Let j = 349.02 - 349.13. Which is bigger: j or 15?
15
Suppose -11*x - 5*x - 31*x + 241909 = 0. Which is smaller: 5149 or x?
x
Let s(v) = 2*v**3 - 121*v**2 - 66*v + 90. Let n be s(61). Does n = -208?
False
Let o(n) = 4*n**2 + 34*n + 4. Let p be o(-10). Let v be 1/(-2)*(-32)/p. Suppose -3*x = -8*x + 4*s - 20, x + 3*s = 15. Is x != v?
True
Let b = 15 - 14.9. Suppose -22*r + 2875 = r. Let w = r + -159. Is b smaller than w?
False
Suppose -2*n = -5*k - 9, -3*k + 4 - 7 = 0. Suppose -n*q = 7*f - 3*f - 424, 524 = 5*f + 4*q. Is f bigger than 110?
False
Let o = -1991 - -1990.6. Which is greater: -2383 or o?
o
Let j be -2 + (0 - (4 - 0)). Let x be 3 + 4 + j + -104. Let y = 70 + x. Do y and -33 have different values?
False
Let r = 42 - 65.6. Let h = 22.5 + r. Is -1 < h?
False
Let u be 4 - (-31444)/(-6640) - (-6)/8. Is 1 > u?
True
Let y(g) = g**3 - 2*g**2 - 3*g + 3. Let d be y(3). Suppose -30 = -d*l - 2*l. Let z be (246/(-4))/(4 + -9 - 4). Which is greater: z or l?
z
Let w be (21 - 23)/(-8) - (-1102)/(-8). Which is bigger: w or -1/4?
-1/4
Let b = 731.307 + -731. Let x = b - 8.307. Let o = 18 + -18. Does o = x?
False
Let l = -64 - -66. Suppose 3*z = 4*g - 9*g + 32, -l*z = 3*g - 20. Suppose -4*k - 3*x = -208, z*k - 2*x - 240 = 3*x. Which is greater: k or 54?
k
Let i(w) = -15*w - 6. Let l be i(-1). Let p be ((-3)/l)/(335/(-6) - 0). Is 0 equal to p?
False
Suppose j = 5*o - 2340, 0*o = j + o + 2370. Let z = j - -529759/224. Let h = z + 591/32032. Which is bigger: h or -1?
h
Let h = -10853.64 + 10858. Are h and -1/2 unequal?
True
Let m = 195.1 - 185.21. Let h = m + 0.11. Let t = h + -10.02. Is t > 2/13?
False
Let m(w) = w**2 - 2*w - 15. Let z be m(-12). Let p = z + -97. Let k be 49/p + 2/32*2. Is k not equal to -2/41?
True
Let o = -12.2 - 0.1. Let i = o - -12. Let q = -19185.2 + 19182. Is q smaller than i?
True
Let q = -5964 + 6068. Does q = 20?
False
Let u be (-15)/(405/(-18))*2070. Let a be ((-6)/4)/(45/u). Is -8 equal to a?
False
Suppose 2*u - 175*j + 174*j + 72 = 0, -118 = 3*u + j. Which is bigger: u or -5?
-5
Let d = -3.457 + 1.457. Let z = -50 - -96. Let a = 24 - z. Which is smaller: a or d?
a
Let d be 1 - 0/2 - 189/196. Which is smaller: d or -5?
-5
Let j be (-78)/4*(-32)/(-6). Let m be (-4)/(-64)*1758 - 6. Let z = j + m. Which is greater: z or 0?
0
Suppose 0*l + 24 = 2*h - 2*l, -l = -4*h + 39. Suppose -5*t - 4*i = -78, -17*t - 3*i = -18*t - 11. Which is smaller: t or h?
h
Suppose 0 = 5*c - 15, 5*c + 247 = -2*l + 1112. Is l >= 426?
False
Let c = -48.38 + 47.38. Are -1970 and c unequal?
True
Let u = -2632 - -2630.797. Which is smaller: u or 6?
u
Let b be (-26847)/(-66120)*(2 + (-19)/12). Let y be (3/(-72))/(116/(-9)). Let l = b + y. Which is bigger: 0 or l?
l
Suppose -171 + 30 = -138*r - 3. Which is greater: r or -20/939?
r
Let n be (-2)/4 - 332/(-8). Let j = -33 + n. Suppose 0 = u, -5*u + 37 + j = -3*f. Do f and -13 have different values?
True
Let k(x) = -17*x + 47. Let r be k(16). Let d = 224 + r. Which is smaller: -6 or d?
-6
Let c be (-2)/(-48)*1142*(-4 + 8). Let g = 229 - c. Which is smaller: 38 or g?
38
Let o(r) = r**3 - 37*r**2 + 33*r + 108. Let j be o(36). Let b be 4050/165 + j + (-6)/11. Which is greater: 14 or b?
b
Let n be 4/14 + 67/84. Suppose -11*z + 30 = 8*z - 4*z. Which is smaller: z or n?
n
Let h = -27884 + 27882. Which is smaller: h or -4086?
-4086
Let x be (-4)/(-34) + (-7400)/(-1258). Let c(k) = k**3 - 9*k**2 + 18*k + 5. Let l be c(x). Let a be 2/(-5) + (-34)/(-10). Do l and a have the same value?
False
Let i = 666.8645 + 0.1355. Let g = i - 685. Are g and 5 equal?
False
Let n(j) = j**3 - 4*j**2 - 210*j + 41. Let g be n(17). Does g = 228?
True
Let b = -76 - -36. Let r = b + 40.28. Let q = r - 0.18. Does q = -7?
False
Let b = 22.4 + -18.4. Suppose 4*q - 134 = 71*q. Are q and b non-equal?
True
Let g = 16839 + -29341. Is -12501 != g?
True
Suppose -4*j - 48 = -5*f - 41, 3*f = j. Is -3.47 <= f?
True
Suppose j + w = 4*w - 4, 34 = 5*j + 3*w. Let o = -2525/4 - -635. Is o less than j?
True
Let z = -272 - -269. Let i(h) = -h**3 + 3*h**2 + h. Let w be i(3). Suppose -4*p + w*p - 2 = o, -p = -3*o + 14. Is p smaller than z?
True
Suppose -4*o + 1 + 0 = -3*j, 5*j = 3*o + 13. Suppose o*x + x - 10 = 0. Let s be (24/(-40))/(x - -1). Which is bigger: 3/2 or s?
3/2
Let a = -3557 + 3558. Does a = -1/413?
False
Let p be (-10 - -6)*206/8. Let c = p + 493/5. Let u = c - -24/5. Which is smaller: u or -4?
-4
Suppose g - 1 = 4*u, -2*g + 0 + 2 = 4*u. Suppose -2*r + 8 = -u*r, -2*b + 136 = -3*r. Are b and 75 unequal?
True
Let q be 1/(((-30)/110)/3)*-197. Which is greater: 2168 or q?
2168
Let d = -2108.9 + 2109. Is d at most as big as 0.04523?
False
Let j be 4/34 - (67149/(-153) + -9). Suppose 9*f = -938 - j. Is -2/7 at most f?
False
Let u be 0 + 4 - -1521*(-5 - -7). Is u greater than 3046?
False
Let g(p) = 7923*p**2 + 2*p + 2. Let s be g(-1). Let r be (-1121)/s*-2*2/7. Let t = -2/139 - r. Is t greater than or equal to 0?
False
Suppose 152 = -7*h + 5. Let j = 273 - 269. Let l be 46*2/(j + -8). Which is smaller: h or l?
l
Let w(k) = 195*k**3 - 4*k**2 + 4*k - 2. Let y be w(1). Suppose -6*h + y = 13. Suppose 3*d - 3*s - 96 = 0, 4 = -2*s - 2. Which is smaller: d or h?
d
Let c be (33390/(-9))/(-7) + 3. Do 533 and c have different values?
False
Let w(a) = 271*a + 1487. Let n be w(-18). Are n and -3393 equal?
False
Suppose 4*r + 24 = -0*r - 4*q, 3*q = 2*r + 37. Which is smaller: -323 or r?
-323
Let j = 8256 + -8257. Which is smaller: -95.51 or j?
-95.51
Let o be 6/(-117) + (-517689)/(-8801325). Let u = 882 + -374854/425. Let n = u - o. Is 1 greater than or equal to n?
True
Let f = 127 - 125. Let y be (6/(-4) + f)*684/6. Is y equal to 55?
False
Let t = 3/49 - 473/1323. Which is greater: t or -1?
t
Let u = 10205 + -10053. Which is bigger: u or -32?
u
Let x = 2964 - 2963. Which is greater: -1497 or x?
x
Let b = 8049 - 8109. Which is smaller: b or -57?
b
Let v be ((-52)/78)/((-3)/(738/4)). Let f = -38 + v. Let s be (f/(-1))/(-1) - 2. Which is bigger: s or -2?
s
Let u(w) = w**2 + w - 7. Let m be u(3). Suppose 0 = 5*b - m*r + 760, -2*r + 300 = -2*b + 2*r. Let h = -143 - b. Which is greater: 23/2 or h?
23/2
Let i(o) = 20*o - 9*o + 5 + 5 + 11. Let s be i(4). Is s at most as big as 65?
True
Let i = 1040191 + -64675955805/62177. Which is smaller: 0 or i?
0
Suppose -a = 312 - 267. Let r = -328 + 2781. Let q = -4995/2 + r. Is q at most a?
False
Let o(q) = -2*q**3 - 6*q**2 + 23*q + 63. Let h be o(-4). Which is smaller: 1277 or h?
h
Suppose 465*g - 445*g + 4080 = 0. Is -817/4 < g?
True
Let p = 46 + -3. Suppose 0 = z - k - 41, z + k - 4*k = p. Suppose -41*c + 8 = -z*c. Are 11 and c nonequal?
True
Let d = -248 + 436. Let r be 3/d*176/(-330). Which