h be k(-28). Is -8478/7 at most as big as h?
True
Suppose 5*n - 40 + 15 = 0. Suppose 0 = 13*r - 87 + 22. Suppose 0 = 5*i - n*h + 22 - 2, 4*i + r*h + 7 = 0. Is i greater than 0?
False
Let z be 1/4*127/((-8255)/26). Suppose 4 = -3*d + 7. Which is smaller: d or z?
z
Let r = 91810 + -91734.7072. Let q = 0.3428 - r. Let l = 75 + q. Which is smaller: l or 0.1?
l
Suppose 24 = 3*z - 253*n + 248*n, -2*n = 0. Is 59/2 at most z?
False
Let q = -11/183 - -9758/171471. Which is smaller: 1 or q?
q
Let g(o) = -147*o - 11410. Let j be g(-82). Which is bigger: j or 1289/2?
1289/2
Let f be (-14)/(-2)*(-4)/((-12)/(-9)). Let b(w) = -2*w**3 + 13*w**2 + w + 21. Let s be b(7). Is f != s?
False
Let a = -19832 + 99167/5. Suppose -3*x + 4 - 25 = -3*n, -2*n = 2*x + 2. Suppose 0 = -n*i + 4*i. Which is bigger: i or a?
a
Let t(q) = 50*q - 21. Let k be t(5). Suppose 2*f + k = 3*y, -y + 0*y + 4*f + 73 = 0. Which is smaller: y or 76?
76
Suppose 4*r = -2 - 2. Let h = 2003988/251 - 7984. Is h not equal to r?
True
Suppose -9*r = 16*r - 2000. Let a be ((-6)/(-8))/(3 + (-225)/r). Is a at least 62/15?
False
Let p(u) = u**3 - 55*u**2 + 295*u + 19. Let a be p(8). Which is bigger: a or -631?
a
Let s be (24 - 150)*1/(-2). Suppose s + 70 = -7*x. Which is smaller: -18 or x?
x
Let i(u) = -u**3 - 31*u**2 - 3*u - 88. Let w be i(-31). Are w and 2542 nonequal?
True
Let f(m) = -180*m**2 - 672*m + 1343. Let s be f(2). Is -725 less than s?
True
Suppose 7*f + 116 + 178 = 0. Let v be (-54)/f*14/80. Let k = v + -1079/4440. Is 1 greater than k?
True
Let l be (1592/(-10))/(300/750). Is l less than or equal to -1/4?
True
Suppose 4*z - 4*j - 117 - 11 = 0, 0 = z + 3*j - 20. Let a be (-29)/((-238)/266 - 2/19). Is a != z?
False
Let u = 1 - -12. Let d(t) = t**2 + 5*t - 3. Let r be d(-6). Suppose r = -n + 15. Is n less than u?
True
Let s = -1.2 + 0.2. Let z be (-76725)/(-4030) - (-19)/(-1). Is s greater than or equal to z?
False
Let m(i) = 2*i**2 + 13*i + 7. Let r be m(8). Let k = r + -143. Let l = 71 - k. Are -25 and l nonequal?
False
Let m be (280/30)/(-14)*2*(-9)/42. Which is smaller: m or 2885?
m
Let f be (2471 + 35)*(4 + 78/(-21)). Which is greater: f or 715?
f
Let g = 195 - 274. Let k = 79 + g. Suppose -3*b - 3*b + 12 = 0. Which is smaller: b or k?
k
Suppose -7*m - 1536 = 151. Let k = m + 431. Is 191 > k?
True
Let a be ((-4)/12)/(1/(-18)). Let i be -1*30 + a - -3. Which is smaller: i or -17?
i
Let a(y) = -y**2 - 89*y - 1949. Let f be a(-50). Are f and 1/10261 equal?
False
Let f = 4.3278 + -1.3105. Let o = f - 0.0173. Is o less than -8?
False
Suppose 4*n + 3*n - 4746 = 0. Suppose 0 = 13*u - 16*u + n. Suppose 5*l = -10, 2*l - u = -3*v - 2*v. Which is smaller: v or 47?
v
Let n(z) = 5*z**2 - z + 2. Let o be n(1). Suppose o*f + 234 = -174. Let m be 3476/f - 8/(-68). Is m smaller than -51?
False
Suppose -5*o = -7*o + 16. Suppose 2*p - 4*p = -o. Let h be (-20)/30*(-1)/(p/(-9)). Which is bigger: h or 0?
0
Let z = 215 + -134. Let p(b) = -2*b**3 + 9*b**2 + 59*b - 98. Let q be p(-5). Which is smaller: q or z?
z
Let i = -67/31 + 129877/60078. Which is bigger: 0 or i?
i
Suppose 4*j = -2*y - 10, -2*j - 3*y = -y + 10. Suppose -3*f + 3*n + 2*n - 8 = 0, j = -5*f + 3*n - 8. Is 2/45 greater than f?
True
Suppose -3*y + 5*d - 5 = 0, 2*y - 1 = -2*d + 1. Let k be 5 + -4 + (0 - y). Let w = 8778/989 - 202/23. Which is bigger: w or k?
k
Let z be (-220)/(-176)*(-80)/(-150). Which is smaller: z or 490.3?
z
Let i = 15 - 28. Let k(u) = -u**3 - 12*u**2 + 11*u + 37. Let n be k(i). Is n >= 63?
True
Let j = 121239377/3314 + -36584. Which is smaller: j or 0?
0
Let i be (((-30)/126)/5)/((-15)/2160). Suppose 3*w - 9 = -3*t, -19 = 3*t - 4*w - 7. Is i at least as big as t?
True
Suppose q - 5 = -5*y, -2*y + 2 = -13*q + 10*q. Are q and -20/63 non-equal?
True
Suppose 0 = 3*m + 2*s - 1, -4*m - 5*s = -3*s. Let f = m - -8. Let h be 32/(-6) + 20/14*994/284. Which is smaller: f or h?
h
Let h = 5350337393/9868740 - 1/4934370. Let r be (-1)/(-2) + (-4340)/8. Let q = h + r. Which is smaller: -1 or q?
-1
Suppose -2*i = l + 3*l - 12434, -4*l - 3*i + 12431 = 0. Let m = 525588/169 - l. Do 1 and m have different values?
True
Let n be (-1)/2*(-11 + 5 - -2). Let k be 2/n + (-4)/(2 + -6). Suppose -4*q + q = k*q. Which is smaller: q or -4?
-4
Let x(f) = -5*f**2 + 86*f - 28. Let r be x(17). Let v be ((-2)/r)/(168/33 - 5). Which is bigger: v or 22/25?
v
Let t = 448.97 + -448. Let k = t - 30.97. Let i(m) = -m + 1. Let c be i(1). Is c equal to k?
False
Let r be -2 - ((-2)/11 + (-475)/(-11)). Let h be 6/r - 17/(-15). Let x be 10/4 + (0 - 3). Is x >= h?
False
Let p = 2.0086 - 1.9406. Which is bigger: p or -61?
p
Let n = 6073 + -6073. Is 45 bigger than n?
True
Let a(r) = 4*r + 21. Let l be a(-32). Let g = -80 - l. Suppose 2*v - 37 - 19 = 0. Do g and v have different values?
True
Suppose 21*u + 6280 = -27593. Is -1613 > u?
False
Suppose 0 = -18*w + 271 - 2395. Is -102 greater than w?
True
Let h(r) = r**3 + 10*r**2 + 12*r - 15. Let i(v) = v**2 - v - 1. Let l(u) = -h(u) + 4*i(u). Let q be l(-5). Is 68 at least q?
True
Let r be (48/1)/(-3) - -2. Let o = 1226.1 + -1230.1. Is r at most o?
True
Let k = 42 - 41.55. Let a = -35.55 - k. Let j = a - -35. Which is bigger: -11 or j?
j
Let g be (-2204)/36 + 4/18. Let t = 62 + g. Let x be 1/(t/(-3 - -2)). Which is smaller: x or 6/13?
x
Let m = 86 - 163. Let p = 2302 + -1220. Let z = 1081.9 - p. Does z = m?
False
Let v = -9.1 + -12.9. Let h = 12 + v. Are h and -11 unequal?
True
Let g = -44.9 + 40. Let i = g - -5.6. Is 0 less than i?
True
Let d = -79 + 103. Let z be (d - 1) + (-2 + -1 - -1). Let h = z - 26. Which is smaller: h or -6?
-6
Let j(n) = -26*n**3 - 82*n**2 - 5*n - 4. Let s be j(-3). Do s and -30 have the same value?
False
Let l(o) = 21*o - 44. Let d(v) = 21*v - 42. Let n(c) = 6*d(c) - 7*l(c). Let j be n(2). Which is smaller: 170/13 or j?
170/13
Suppose -4*r + 8 = 0, -4*n + 0*n = -r - 2. Let l be 9/(-12) - 6920/672. Let a = l - -75/7. Which is greater: a or n?
n
Let h be (-2)/(-5) + (-69)/(-15). Let p be 1/(9 + 175/(-20)). Suppose -2*z = -x - 10, p*x = -h*z + z + 20. Which is smaller: x or 3/2?
x
Let u = -280.492 - -280.462. Let l = -0.1 + 0. Let t = 0 + l. Which is bigger: t or u?
u
Let x(j) = -2*j**2 - 18*j + 25. Let f be x(-14). Suppose 25 = 8*b - 13*b, 0 = 2*v - 2*b + 222. Is f <= v?
False
Let t = 603 + -590. Suppose -142 = t*v - 1338. Is 1 bigger than v?
False
Suppose -142*t = -145*t + 9. Suppose -3*b - 2*x + t = 0, 0 = 2*b - 12*x + 13*x - 1. Does b = -1/258?
False
Suppose -1 - 15 = -4*a - 2*b, 0 = a - 3*b + 3. Let i be (8 - a) + (-1419)/275. Is i less than 2?
True
Let s(p) = 19 - 3*p**2 - 3*p + p**2 - 17 - 3*p**3 + 2*p**3. Let q be s(0). Suppose -5*y = 3*g + 25, -2*y = -g - g - 6. Which is smaller: q or g?
g
Let h = -0.27 + 0.33. Let v = -22.94 - h. Let l = 21 + v. Which is smaller: l or -6?
-6
Let v = 425 + -416. Let b be (6/18)/(v/(-27)). Is b at most as big as -190?
False
Let p(s) = -s**2 + 18*s + 7. Let w be p(17). Suppose -w*f + 21*f = -15. Let q be (2 + 2)/4 + -3. Which is bigger: q or f?
f
Let v = -0.28 - -0.33. Let j = -0.54 - 0.56. Let f = -1.6 - j. Which is bigger: f or v?
v
Let q(d) = -2*d**3 + 57*d**2 + 125*d - 118. Let u be q(30). Is u equal to 935?
False
Suppose 3*y + 5*n = -433 + 461, 5*n - 27 = -2*y. Is y greater than -18/1159?
True
Let x be ((-170)/(-1173))/((-15720)/90). Is 0 equal to x?
False
Let y = 0.034 - -2.176. Let q = 0.91 - y. Let p = q - 33.7. Is p <= 2?
True
Suppose 14*c - 18*c - 16*c = 45240. Which is smaller: -2260 or c?
c
Let f be 2/2 + -65*(-8)/48. Is f equal to 0?
False
Let y be 162/972 + 71/(-468). Which is bigger: y or 0?
y
Let d(u) = u**2 + 17*u - 19. Let c be d(15). Let z = 12455/27 - c. Suppose -3*k + 6 - 3 = 0. Is z bigger than k?
False
Suppose -7*m = 2*w - 2*m - 29, 5*m - 19 = 3*w. Let r be -3*(-3 + (w - 2)). Let i be 4/4*r + 2. Do 29/3 and i have different values?
True
Let l = -2984101/21855975 + -1/87775. Which is greater: 1 or l?
1
Let v be ((-3)/12)/(637/52 + -11). Which is smaller: 27.8 or v?
v
Suppose 4*t = 16, 4*j - 3*j - 3*t = -10. Let c = 8357 + -233969/28. Is c equal to j?
False
Let i(c) = -c**3 - 27*c**2 + 4*c + 33. Let a be i(-27). Let b = -51 - a. Which is bigger: 22 or b?
b
Suppose 51233 = 5*l - 47*l + 145313. Is l less than 2238?
False
Let d be (-1)/(-7) - 305