-70)) - (-19239)/(-8). Is k bigger than -2405?
False
Let g = -0.0267 - -0.0508. Which is bigger: 1 or g?
1
Let t = -24 + 56. Let p = -0.089 - 34.811. Let l = p + t. Is l >= -2/5?
False
Let u be 1125/(-21) - (-3)/(-7). Let j be -13 + 15 + u + 1. Are j and -51 nonequal?
False
Let x be 213 - ((4 - -1) + -1). Let i = 3442 + -13769/4. Which is bigger: i or x?
x
Let n = 2367 + -2341. Which is smaller: n or 2?
2
Suppose -14*w + 574 = -308. Let d be (-4)/((3/w)/(6/14)). Is d < -36?
False
Let n(w) = -2*w**3 + 12*w**2 - 9. Let z be n(5). Suppose h = -40 + z. Is -1/43 != h?
True
Let q(a) = -a**3 - 6*a**2 + 2*a + 14. Suppose -3*n = 2*d - 3, -4 + 12 = 2*d + 4*n. Let m be q(d). Is 7/8 not equal to m?
True
Let z = 796367758/896205 + 1/179241. Let f = z + -861. Is 27 equal to f?
False
Suppose 2*c = 12, 2*g + c = 2*c - 678. Which is smaller: g or -3682/11?
g
Let u = 2526 - 2872. Which is greater: -2/3 or u?
-2/3
Let n be ((-2013)/30 - -1) + (-22)/(-220). Which is smaller: n or -1113/17?
n
Let v(p) = -p**2 - 2*p + 38. Let l be 100/(-15) - 3/9. Let u be v(l). Let t be (25/(-10))/(u/6). Is t smaller than 2?
True
Let m be -4*76904/(-2176) - 8/68. Is m greater than 140?
True
Let j(o) = -3*o**2 + 9*o + 15. Let w(f) = -2*f**2 + 4*f + 8. Let p(a) = 3*j(a) - 5*w(a). Let y be p(-6). Let c = 0.385 - 0.485. Is c at least y?
True
Let k(d) = 4*d + 51. Let y(z) = 12*z - 23. Let i be y(3). Let m be k(i). Is m at least 103?
True
Let a(n) = -2*n + 157. Let v be a(25). Let d = v - 94. Is d <= 9?
False
Let m be 0 + (-9)/(-45)*5 - 2374/2358. Is -1 greater than or equal to m?
False
Let q = 192.4 - 65.2. Let g = 86.3 - q. Let p = 41 + g. Which is smaller: p or 7?
p
Let l be 470/(-3)*(-14 - (-752)/64). Which is greater: 354 or l?
354
Let y be (2 - -9) + (-115 - -67)/4. Let t be ((-1)/12)/((-5)/(-14)). Is y greater than or equal to t?
False
Let l be -12*(2 + 4047/(-420) - 24/60). Is 95 at least as big as l?
False
Let l = 2.7 - 2.6. Let g = -15.6449 - -0.0049. Let s = g - -0.64. Is l less than or equal to s?
False
Suppose -16 = -3*u + 5*a, -4*u + 12*a - 10*a + 12 = 0. Let g be 3 - u - (-4)/(-4). Is 13/35 < g?
False
Let f(l) = -3*l - 43. Let i be f(-17). Let s be 0 - i/(-80)*-1195. Which is bigger: -120 or s?
s
Let u be (13 - (-1073968)/(-48816)) + 9*1. Which is smaller: u or -1?
-1
Let o = -4180/21 + 610/3. Let a = 584/133 - o. Which is smaller: a or -3?
-3
Let j be -74 - (-21 - (11 + -24)). Is -69 < j?
True
Let c be (-8 - -4 - 9/(-3))*42. Let n be (-9)/2*c/(-441). Which is smaller: n or -1?
-1
Let a = -446 - -456. Suppose -a*k = 162 - 22. Let c(n) = n - 16. Let r be c(0). Which is greater: k or r?
k
Let f = -6554 - -242518/37. Is 0 at least as big as f?
False
Let c be 5/(-4) + (-1)/(-4). Suppose 0 = -11*l - 2*l. Suppose l = 40*y - 42*y + 10. Is y less than or equal to c?
False
Let i be -6*(-3)/99 - (-8)/(-44). Suppose 2*z - x + 0*x - 11 = i, -3*x = 4*z - 37. Let s(f) = -f**2 - 4*f + 6. Let n be s(-5). Is n < z?
True
Let c be (-5 - 1) + (186/24)/((-2)/(-32)). Is 120 < c?
False
Let o(k) = 5*k - 48. Let t be o(33). Suppose -36*j - t = -45*j. Which is bigger: j or 20?
20
Let d(n) = n + 4. Let h be d(-4). Let r be (-10)/(-2) + (-22141)/4431. Let b = r - -3772/8229. Which is smaller: h or b?
h
Let g(t) = -t**2 - 7*t - 10. Let f be g(-4). Suppose x - 46 = -b - f*x, x - 184 = -4*b. Let a = b + -40. Is a greater than 2?
True
Let d be 5 - (-1 + (276 - 0)). Let t = d + 376. Do 106 and t have different values?
False
Let l = 0.5456 - 0.2356. Which is bigger: -0.32 or l?
l
Let l = 2/257 + -532/2313. Is 26/33 less than l?
False
Let z = -4 - -5. Suppose 32*w - 39*w = -392. Let v be ((-98)/w)/7 + 61/4. Is z greater than or equal to v?
False
Let i = -3149 - -3148. Which is greater: 7/408 or i?
7/408
Let z(g) = 7*g**2 - 8*g + 9. Let h(n) = -6*n**2 + 8*n - 8. Let r(m) = -6*h(m) - 5*z(m). Let c be r(-8). Let k = c + -59. Does k = 72?
True
Let h be (-2*(-3)/522)/(-1). Suppose 0 = 4*r, r = 2*a - 3*a + 9. Let t = a + -9. Is t greater than h?
True
Let d be ((1 - -1) + -220)/((-30)/174). Is d < 1263?
False
Let r = 423/550 + -74/275. Which is greater: 2/155 or r?
r
Suppose 70 - 371 = -43*g. Let b(m) = 2*m + 31. Let x be b(g). Is 47 at least as big as x?
True
Suppose -5*z = 5*h - 80, 4*h - 56 = -h + 3*z. Let a be -8 + 1 - 5*-6. Suppose 0 = -3*p + 5*v - a, h = 4*p + 5*v - 3. Does -12/19 = p?
False
Let j(o) = o**2 + o + 9. Let v be j(-6). Let n = 53 - v. Suppose n*g = 16*g - 22. Are g and 34/3 unequal?
True
Suppose 0 = 4*d + 4*k - 12, 5*d - 5*k + 2 = 17. Let l be (-24)/5724*(d - 3 - 3). Is 1 less than l?
False
Let g(q) = 2*q**2 + 27*q + 13. Let s be g(-13). Is 5/129 at least s?
True
Suppose -27*o + 238 = 7*o. Let f be 2/(-14)*758 + 2/o. Which is smaller: -107 or f?
f
Suppose -22*j = 2*j + 24. Which is smaller: -88/67 or j?
-88/67
Let t = -49 - -50. Let c be 1*6/8 - (1 - t). Which is smaller: c or 0?
0
Let t = 0.6 + 2.4. Let l = -49.9 - -47. Let p = t + l. Which is smaller: p or -2?
-2
Let t = -6770 + 6999. Is 229 < t?
False
Let c be 4100/1367 + -39 + 6 + 30. Which is smaller: c or -1?
-1
Let x = -14.9 - 0.3. Let r = -131.2 - x. Which is bigger: 1 or r?
1
Let j = 84837 - 1443927/17. Is j > -99?
False
Let t = 184.31 + -184.2. Which is bigger: -18 or t?
t
Let k be (-52)/(-65)*(-31255)/140. Which is greater: -180 or k?
k
Let z = -35993 - -2051545/57. Let m = z - -15178/15333. Which is smaller: m or 0?
0
Let x be -6 + (-14)/2*(-336)/98. Do 240/13 and x have the same value?
False
Let p be (-1 + 2)*4/4*-1. Let c(r) = 56*r**2 - 2*r + 2. Let x be c(p). Suppose 0 = 4*t - 4, -5*z + 2*t - x = -3*t. Is z less than -12?
False
Suppose 135*h - 162 = 126*h. Let g be 12/h*7/(-14). Is g at least -1/172?
False
Let t = 27.519 - -0.481. Let w = 7 + -1. Which is greater: t or w?
t
Suppose -38 = 2*r + 120. Let l = -156 - r. Let a = l + 64. Is a bigger than -11?
False
Let q(j) = j**3 - 9*j**2 - j + 12. Let y be q(9). Suppose -6*l + y*l = -2*g + 9, l + 3 = -2*g. Suppose 8*h - 12*h + 68 = g. Do 18 and h have different values?
True
Let t = -56 + -10. Let h = 63 + t. Is 2 <= h?
False
Let v(r) = -3*r**3 + 6*r**2 - 3*r - 2. Let h be (1/4*2)/(1/6). Let z be v(h). Let i be 7/(-14)*(76 - -2). Which is greater: z or i?
z
Suppose 0 = 13*m - 9*m - 4*c - 52, -4*m = -5*c - 57. Let s be (-1 - -1) + 288/40. Is m <= s?
False
Let v be 24*3/(-24)*6. Let g = 983 + -999. Which is smaller: g or v?
v
Suppose 15 = -5*q - 5*n, 2*q = -0*q + n - 6. Suppose 196*w = 199*w - 54. Let k = w + q. Is k < 15?
False
Let b be (-1404)/9269 + 6/69. Is b less than -6.8?
False
Let w = 1147/3 + -389. Let i(m) = 7*m**3 + 1. Let b be i(-1). Is w < b?
True
Let s = -0.18 + 0.08. Let c be 11/(154/(-140)) + 34. Is s < c?
True
Let i be (-26)/(-1) + 0*7/28. Suppose -i*u = -10*u + 672. Is u bigger than -45?
True
Let v(x) = -x**3 + 4*x**2 + x + 28. Let y be v(5). Which is smaller: 80/11 or y?
80/11
Let p be ((-9)/(-6))/((315/(-12152))/(-15)). Let i be (-4)/111*42/p. Is 1 <= i?
False
Let s = 52 + -46. Let d be (4/(-11))/(s + 18914/(-3152)). Let i = 572 - d. Do i and -2 have different values?
True
Let y be 15*-1 + 4/4. Let v(g) = -14 - 2*g - 14*g - g**2 - 12 - 7 + 0*g. Let j be v(y). Do -8 and j have the same value?
False
Suppose -5*j + 6*t + 1726 = -169, -2*t = 0. Which is greater: j or 376?
j
Suppose 160 = 32*o - 192. Suppose 129 + 388 = o*t. Is t smaller than 2?
False
Suppose -155*a = -188*a - 2376. Let m = 7 + -9. Is m at least as big as a?
True
Let y(x) = x**3 - 7*x**2 + 2*x + 17. Let b be 18*((-28)/21)/(-4). Let s be y(b). Is 2 less than or equal to s?
False
Let s = -7/33 - 5/11. Let u = 75 - 59. Suppose -o - b = 12, -4*b = 2*o + 50 - u. Which is bigger: o or s?
s
Let c be (11 + 1020/(-93))*18. Suppose 0*q - 2*q + 2 = 0. Is q bigger than c?
True
Let b be (-4)/(((-40)/(-140))/(15/7)). Which is smaller: b or -63?
-63
Suppose -85*q - 179*q = 4278 + 2850. Is q at least -99?
True
Let y be (-56 - -48) + (-9 - 0). Is -16 less than or equal to y?
False
Let y = -5150 + 6107. Which is bigger: y or 0.2?
y
Suppose 2916 + 2322 = 194*y. Let b(h) = h**3 - 9*h**2 + 11*h + 3. Suppose -d - 2 = -10. Let l be b(d). Is l less than or equal to y?
True
Suppose -2385*a + 2389*a - 180 = 0. Do 42 and a have the same value?
False
Let x be 364 - ((-1554)/296)/((-6)/8). Which is greater: x or 358?
358
Suppose