 -i**3 + 7*i**2 - 11*i + 12. Let o be z(x). Suppose o*h = 3*h + 3*h. Which is smaller: h or -1/31?
-1/31
Let t(l) = -l**3 + 21*l**2 + 29*l + 38. Let b be t(22). Suppose 0 = 5*d - 2*n + b, 0 = -3*n - 12 - 0. Let h = d + 39. Are h and 4 nonequal?
True
Let m = 1/145 - 442/1015. Is m greater than or equal to 1.9?
False
Let t = 344 + -344. Let b = 90/19 - 265/76. Is t greater than b?
False
Suppose -2*j = -6*j - 4*x + 688, 0 = 3*x. Suppose -c - c = 2*y - 86, -y + j = 4*c. Suppose 3*k - 10 = -c. Are k and -13 equal?
False
Suppose 128 = -b + 8*k - 10*k, -5*b + 2*k - 580 = 0. Let p = b + 117. Which is greater: p or -8/7?
p
Let w be ((-60)/(-50))/(-3*4/(-30)). Let y be 2/3 + ((-404)/228 - w). Which is smaller: -4 or y?
y
Suppose -2339*m - 368 = -1971*m. Let v be 10/3092*12/15. Is m at most as big as v?
True
Let c be (-27*(-7)/42)/(1/144). Let j be (6 - c/105)/((-4)/5). Which is smaller: -6 or j?
-6
Let p be ((-2255)/984)/((-5)/212). Is p at least 96?
True
Let q(w) = -w**3 - 11*w**2 - 18*w + 29. Let b be q(-14). Suppose l = 12*l - b. Let y = l + -159/2. Is -2.9 at most as big as y?
True
Suppose 3*u + 384 = -3*f, -72*f = 3*u - 73*f + 364. Is -119 > u?
True
Suppose 0 = 61*w + 78968 + 64138. Is -2346 != w?
False
Let b = 56 - -49. Suppose -4*q + 401 = 5*p, -23 = -2*p - 29. Is q < b?
True
Let o be 1218592/(-226) + (-1)/(3/(-12)). Is o bigger than -5386?
False
Let c be 6/20*(-155)/(-93)*8/(-4315). Which is greater: c or 0?
0
Suppose -188 = w - 325*t + 326*t, -w - 4*t = 197. Is w equal to -187?
False
Let s be (-28)/(-70) + ((-3133)/1305 - -2). Let w = s + 33/1015. Suppose -2*p + 0*p = -3*j + 11, 2*p = 4*j - 12. Is w bigger than j?
False
Suppose -6*i = -2*i + 8. Let o = -607778/5 - -121555. Is o smaller than i?
False
Let k be 1380/1225 - (-12)/(-15). Suppose -17*g + 127*g = 110. Which is smaller: k or g?
k
Let y = 2.568 - 2.368. Which is bigger: 1012 or y?
1012
Suppose 4*s + 3*a = 22, 4*s - 25*a - 20 = -27*a. Suppose -5*r + 5 = -5*y, -2*y + s*r = -5*y - 3. Is 14/47 less than or equal to y?
False
Suppose 3*f = 2*o + 3, -5*f = o - 1 - 4. Let v be (-2)/(-1 + (-336)/(-9)). Which is smaller: v or o?
v
Suppose -5 = -2*w + 7. Let l be 13 - ((-6)/2 + 0 + w). Let k be -1 + (-22)/l + 2. Which is smaller: k or -2?
-2
Let g = 0.08 + -0.38. Let z = g - -0.2. Suppose 4*o = -40, -u + 53 = -2261*o + 2256*o. Which is smaller: z or u?
z
Let q = -1123.6505 + 0.6505. Is -2 at most q?
False
Suppose -7*k - 5*y = -2*k + 6125, 0 = k - 3*y + 1225. Which is greater: -1223 or k?
-1223
Suppose -j + c - 21 = 0, -j - 10 = -5*c - 1. Let w be (-78)/8*j/(-9). Is -25 smaller than w?
False
Let k(s) = -18*s + 1. Let m be k(7). Let c(l) = 17*l**3 + l**2 - 12*l - 16. Let p be c(-2). Is m less than or equal to p?
True
Let b = -183 + 188.2. Let g = 5.1 - b. Which is smaller: g or 0.154?
g
Let o = 3.225 - 0.565. Let c = 5.66 - o. Is -26/9 at least c?
False
Let g = 30917 + -33240. Which is greater: 8 or g?
8
Suppose -5*f - s + 47 = 7, 3*s = 5*f - 40. Suppose -4*v - 3*x + 9 = 3, 2*v + 4*x = f. Let p = -178/3 - -60. Which is greater: p or v?
p
Let v = 3348 + -3376. Which is smaller: 16 or v?
v
Suppose 4768 - 68754 = -21*y - 3485. Which is greater: 2882 or y?
2882
Let l(n) = -17*n**3 - n**2 + 6*n - 4. Let d(g) = 35*g**3 + 4*g**2 - 14*g + 8. Let o(w) = 2*d(w) + 5*l(w). Let h be o(2). Is -106 <= h?
False
Let f(s) = -187*s + 4115. Let g be f(22). Is -1/1342 equal to g?
False
Let q = -313562/585 + 536. Is 0 < q?
False
Suppose 784*b = 642*b - 5964. Which is bigger: b or -818/19?
b
Suppose -8*z - 11*z + 7*z = 0. Suppose -2*c + w + 362 = z, -3*w = c - 292 + 104. Are c and 183 non-equal?
True
Let k be 12/(-9058)*(635 + -656). Is 1 greater than or equal to k?
True
Let t = 6289694/345485 + 122/29613. Let s = -122/21 + t. Is 13 greater than s?
True
Let l = 554 - 535. Let k be 2/l + 181/(-95) + 1. Is k less than -0.13?
True
Let i = -1/21642810 - 5330970387937/497784630. Let k = i - -10706. Let r = 753/161 + k. Which is greater: 1 or r?
r
Let u be ((-1)/((-310)/4))/(3/60). Let l = u + -629/155. Which is smaller: -5 or l?
-5
Let n = 31 - 65.5. Let x = n + 34.5. Which is greater: x or 3/98?
3/98
Suppose -3*q - 93*t - 7 = -91*t, -q + 6 = -t. Is q less than 2?
True
Let v be 8/(-14) + (-930)/(-35). Suppose -10 + 6 = 4*b, -3*f - 2*b = v. Is f at least as big as -6?
False
Let t = 17572 + -17157. Is 2/11 less than t?
True
Let d = 3985 - 23413/6. Is d > 0.1?
True
Suppose -15*w - 86 = -101*w. Is -1/230 > w?
False
Let b = -1676 + 1698. Which is smaller: b or -131?
-131
Let z be 0 - -2 - 8*(-30)/5. Suppose 40 + z = -3*s. Which is smaller: s or -2?
s
Let d(l) = 98*l + 2297. Let u be d(-65). Are u and 1/2 equal?
False
Suppose 10 = 116*q - 118*q + 2*s, -3*q + 9 = 3*s. Which is smaller: 1/949 or q?
q
Suppose -3*k = -7*k + 3*j + 35, -4*j + 5 = 5*k. Suppose 4*h = 2*q + 30, 4*q = 2*h - 5*h - k. Let g be (6/(-4))/((-30)/104). Which is greater: h or g?
g
Let u = 300207041/4727 - 63509. Is 1 at most as big as u?
False
Let v = 0.73 + -8.73. Let r = v - -64. Is -1 smaller than r?
True
Let i = -1444423/19 + 75425. Let a = 597 + i. Suppose -1 = -2*m + 1. Which is greater: m or a?
m
Let n(x) = x**2 + 10*x + 28. Let o be n(-7). Suppose -2*m + 18 - 1 = 3*s, 3*s = -m + 10. Is o at most as big as m?
True
Let h(y) = -2*y**3 - 11*y**2 - 14*y + 2. Let x be h(-7). Let m be (-2 - (-14)/8) + x/(-2132). Let b = m - -433/287. Is b at least 2?
False
Let b(a) = 6*a**2 - 9*a - 2. Let z be b(2). Suppose 0 = 5*v - j - 1515, -5*v - 2*j + 1510 = -z*j. Is 305 smaller than v?
False
Let t = -213761/2240 - -477/5. Which is bigger: t or 1?
1
Suppose -20 = 5*s - s, -h = -3*s - 61. Let q = h - 67. Let x = -29 - q. Does x = -8?
True
Suppose 3*x + 3*z = -12, 78*x - 81*x = -z - 20. Is x greater than 113?
False
Let c = 0.005 + 32.995. Let m = 33.4 - c. Let k = -0.56 + 0.52. Is k less than m?
True
Suppose 18 - 102 = 21*p. Let f be p/(-26) + 17/(44421/(-168)). Is f > 1?
False
Suppose -119 = -8*b + 2233. Let w = 214 - b. Which is greater: 3 or w?
3
Suppose -883 = 4*t - 9*t - 2*a, -4*t - 5*a = -703. Let q = 176 - t. Let h = -11081/13 - -852. Is h at least q?
True
Let q = -0.2 + 0.3. Suppose 639 = 71*a - 66*a - 4*h, -174 = -a + 5*h. Is q <= a?
True
Let z(f) = f**2 - 1. Let d be z(-5). Suppose 2*l - 3*l - 2721 = -5*g, 2725 = 5*g - 5*l. Let i = g + -518. Which is smaller: d or i?
d
Let n be 2 - (0 + 4/2). Let a be (-8790)/6446*(-5 + 0). Is a equal to n?
False
Let h be (-16)/(-120) + (-132)/90 - 19/(-16). Which is smaller: 0.3 or h?
h
Let j be 19/3 - 5/15. Suppose j*c + 10*c - 7008 = 0. Is 439 bigger than c?
True
Let z = 197 + -297. Is z greater than -1/4?
False
Let s = 12 + -4. Suppose 33 = 11*g - 66. Suppose -8*a - 17 + g = 0. Which is smaller: s or a?
a
Let n be 1/((-3)/4) - (-50)/15. Let a be (-322)/(-6)*(-5 + n/1). Is a <= -161?
True
Let u = 3.64 + -172.64. Let w = -169.35 - u. Which is smaller: 0.06 or w?
w
Let t be 39990783/51051 - 1/(12 + 1). Is t smaller than 784?
True
Suppose 7*k = -49 - 7. Let r be (-1)/(2 - (-20)/k). Is -4.4 at most as big as r?
True
Let m = 9 - 74. Let p = -65 - m. Which is bigger: p or -0.99?
p
Let a(c) = c**2 + 8*c - 77. Let s(b) = -b**2 - 7*b + 78. Let h(j) = -5*a(j) - 4*s(j). Let x be h(8). Is x at least as big as -87?
True
Let h be (-6)/20*(-119)/(-58786). Which is greater: -1 or h?
h
Let j(s) = s - 7. Let t be j(9). Let r(i) = i**3 + 37*i**2 + 69*i - 31. Let y be (-4)/(-34) + 3495/(-85) + 6. Let n be r(y). Is n >= t?
True
Let s(n) = -40*n + 3512. Let g be s(88). Which is smaller: -220/31 or g?
g
Let q(v) = v**3 - v**2 - 3*v - 2. Let r be q(-1). Let b be (r/2)/((-24)/(-6)). Suppose -10 = -2*y, -4*w - 15 = -30*y + 27*y. Is b greater than w?
False
Suppose -2038*g - 73 = -1965*g. Which is bigger: g or 0.0234?
0.0234
Let t be ((4 + -2)/(-8))/(16/42760). Which is smaller: t or 0?
t
Let s be (0 + 1)*(-2 + 2). Let v be (8 + s)/(32/(-48)). Let h be -1*(63/v + 2). Which is greater: 0.1 or h?
h
Suppose 1 = 2*o - 1. Let n = 1012 - 340. Let a = -8733/13 + n. Which is greater: a or o?
o
Let p = -0.02 + 2.02. Let t = 46.151 + -0.151. Let d = -80 + t. Which is smaller: d or p?
d
Let d be (-15*(-6)/24)/((-5)/(-20)). Suppose -3*v = -5*q + d, -137*v = -138*v - 3*q + 9. Do v and -13/25 have the same value?
False
Suppose -7 = -3*g + 5, -5*g = 4*j - 40. Let f = 8 