
False
Let f be (1*0/(-3))/(1 + 1). Suppose f*d - 3*d = 2*b - 1, -14 = 4*d - 5*b. Is -3/5 != d?
True
Let q(d) = -d**3 + 27*d**2 - 80*d + 750. Let p be q(25). Which is bigger: p or -1/4728?
p
Let z = 679 - 2003/3. Suppose -32*a + 30*a + 281 = w, -5*w - a + 1441 = 0. Let v = w - 279. Is z at most v?
False
Let c be (-11)/(-9) - (-24)/324*-3. Let y = 441670/19 - 3096312/133. Let s = y - -244/7. Which is smaller: c or s?
s
Let r(q) = 3*q + 41. Let y be (-60)/8*(-16)/(-10). Let k be r(y). Let l(f) = -f**2 - 2*f + 15. Let d be l(k). Is d > -20?
False
Let s = -224/401 + -147206/16441. Which is bigger: s or -10?
s
Let i(o) = o**3 - 7*o**2 + 8*o - 4. Let n be i(6). Suppose 0 = -n*w + 75 + 61. Which is greater: w or -0.6?
w
Let l be ((286/(-33))/(-26))/(154/4*-58). Is l equal to -1?
False
Let o = -3951 - -5398. Are o and 1446 non-equal?
True
Let n = -312/5 - -639/10. Which is bigger: 73 or n?
73
Let w(f) = f**2 + 146*f + 4177. Let n be w(-39). Let i(s) = s + 3. Let q be i(-3). Suppose a - 5*y + 20 = q, -4*a - 4*y + 45 = y. Which is smaller: a or n?
n
Suppose 296*j + 1837 = 291*j + u, 0 = 4*j + 4*u + 1484. Is -366 equal to j?
False
Let v(b) = -7*b - 18. Let s(h) = -20*h - 54. Let r be 8/10*15/2. Let n(k) = r*s(k) - 17*v(k). Let x be n(14). Is -32 bigger than x?
False
Let j = -9455 + 9628. Is j > 12?
True
Let c = 13 + -49. Let m be 3/6*-232*-1. Let b = -153 + m. Is c equal to b?
False
Suppose 8*g - 14*g = -24. Let n be (3/(-10))/((-9)/g). Let h = 0.12 + 0.18. Which is greater: n or h?
h
Let g be (-9)/12 + 6 + 129/12. Suppose -2*t - 2*t = -l + 22, t = 2*l - g. Is 3 bigger than l?
False
Let s = 22 - -104. Suppose -s = 3*z - 3*h, 0 = -h - 3 - 2. Is -46 less than z?
False
Let s(t) = 792*t + 4314. Let y be s(-6). Is -432 greater than y?
True
Let c be -2*3/4*-4. Let f(s) = -5*s + 16. Let v(k) = k - 1. Let h(r) = c*v(r) + f(r). Let z be h(-10). Which is greater: 1/12 or z?
1/12
Suppose 30*v + 0*v = 2250. Suppose -4*n + 129 + v = 0. Is n <= 49?
False
Let q(k) = -582*k + 1165. Let d be q(2). Is d not equal to -3/1865?
True
Let l(p) = p**3 - 47*p**2 - 641*p + 174. Let x be l(58). Is -6/2189 smaller than x?
True
Let k(s) be the first derivative of 16*s**4 - 7*s**2/2 + 5*s + 130. Let g be k(1). Is g > 63?
False
Let b be (20 - 14878/731)*(-1 - 2/(-3)). Let w = -53 + 103/2. Which is smaller: b or w?
w
Let j(s) = -2*s**2 + 74*s - 336. Let l be j(5). Is l != -11/3?
True
Let h = 2704 + -2768. Is h at most as big as -454/7?
False
Let u = 155 + -266. Let t = u + 111.1. Let k = -0.07 + 8.07. Do k and t have the same value?
False
Let p = -206 + 207. Suppose -3*i - 5*d = -26, 5*d + p = -24. Are -2 and i nonequal?
True
Let n = -10767 + 10882. Which is smaller: 120 or n?
n
Suppose -27*l = -29*l + 28. Suppose -l*y - 110 = 100. Let q be y*(-2)/(66*1). Which is smaller: 0 or q?
0
Let l(z) = -6 - 36 + 7 - 6*z**2 - 28 + 5*z**2 + 17*z. Let j be l(11). Which is greater: -2 or j?
j
Suppose -12 = 115*m - 119*m. Suppose -2*h + m*r = -306, 4*h - 4*r = 2*h + 310. Let x = h - 148. Which is bigger: -1/72 or x?
-1/72
Let r = 25627140/251 + -102100. Which is smaller: r or 1?
r
Suppose 0*l = -3*w - 2*l - 68, -2*w - 72 = -4*l. Let z be (172/(-12))/((-6)/18) - 1. Let v = z - 67. Which is bigger: w or v?
v
Let j(f) = -f**3 - 19*f**2 - f - 13. Let d be j(-19). Suppose 0 = 2*r + d*r - 40. Let t(s) = -10*s + 2. Let q be t(r). Is q smaller than -49?
False
Suppose 3*h - 20*h - 3*h - 11*h = 0. Let m = -919259687 + 20048134497797/21809. Let u = m - -84/113. Which is smaller: u or h?
h
Let t = -159.15 + 132.15. Let d = -0.27 + -25.73. Let h = t - d. Is h less than 8?
True
Let l(y) = 6*y**2 + 434*y + 192. Let p be l(-25). Which is smaller: p or -6910?
-6910
Let g(d) = -d**2 - 112*d - 533. Let z be g(-5). Are z and 79/34 nonequal?
True
Let d be ((-3)/10)/(1 + 15/(-12)). Suppose -6*l = -3*l - 3. Suppose l - 3 = -s. Is s > d?
True
Let b = 1277 - 1277.1. Is -848 less than or equal to b?
True
Let p = -3429 + 3159. Which is bigger: -268 or p?
-268
Let a = 11 - 6. Suppose p - 16 = l - 3*p, -a = -p. Let w be 19154/2198 + (4/(-10)*14 - (-216)/(-540)). Is w less than or equal to l?
True
Let i = -14938 - -12326. Are i and -2612 nonequal?
False
Let m = -3806 - -3807. Is -1/1154 at most m?
True
Let l = -3583/4 + 940. Which is bigger: 45 or l?
45
Let i(n) = 3*n**2 + 7*n + 1. Let r(a) = -2*a**2 - 6*a - 1. Let b(l) = 3*i(l) + 4*r(l). Let o be b(2). Let c = 26 - 256/9. Is c smaller than o?
False
Suppose -j + 6*j + 40 = 0. Let h be (6 + -7)/(j/(-664)). Which is smaller: -86 or h?
-86
Let w be (10/8)/((-17)/(-68)). Suppose w*n - 4*h = 116, 4*h = 3*n - h - 67. Which is bigger: n or -0.4?
n
Let c(h) = -3*h**2 + 2*h - 5. Let g(u) = 7*u**2 - 5*u + 11. Let j(k) = -5*c(k) - 2*g(k). Let q be j(-1). Which is smaller: 29/7 or q?
q
Let x be 35/(-230) - (0 - 0). Let z be 54/297 + 6/(-33). Is x less than z?
True
Let m(n) = 32*n - 3616. Let g be m(113). Let i be 14/(-324) + 1 + -1. Let q = i + 857/8586. Which is smaller: q or g?
g
Let y be (-73)/(-73)*14/9. Is -242 at most y?
True
Let b be 28/(-2) - 6688/(-513). Is b greater than -1?
True
Let p = -145 + 85. Let i = 92 + p. Let n be (-42)/98 + i/42. Which is greater: -46 or n?
n
Suppose 2*b - 1 = -s, -3*s = -3*b - s - 2. Let j be (b - 8/24) + (-7)/(-12). Which is greater: 78 or j?
78
Let b = 63313/24 + -6977/3. Let c = b + -312. Are -1 and c unequal?
True
Let i = -55.9 - -72. Let r = i + -16. Which is bigger: -10.9 or r?
r
Let d = -16 - -8. Let o = -4319.86 - -4320. Which is smaller: d or o?
d
Let z(f) be the first derivative of f**3/3 - 21*f**2/2 + 110*f + 7. Let b be z(9). Which is smaller: 24/37 or b?
24/37
Suppose 0 = -29*i + 14*i + 45. Let c be i*(-28)/24 + (6 - 2). Is c less than or equal to -204?
False
Let x = -2903 - -2905. Which is bigger: -3.5 or x?
x
Let w = 14.437 + -15.708. Which is bigger: -0.1 or w?
-0.1
Let m be 3/2 + 182/52. Suppose 3*d + 8 = m. Let p be d + (4/40)/((-6)/(-45)). Which is smaller: p or -0.6?
-0.6
Let n = 213 + -214. Let m be n + 6 + -10 + 4. Which is greater: -36 or m?
m
Let b be 1523/3*500/(-100). Which is smaller: -2537 or b?
b
Suppose -4*q + 4*f = -53 + 17, 0 = 5*q + 2*f - 73. Let w = 6 - q. Let d be ((-1)/(-4))/(3/(-69)). Is d less than w?
False
Let y be 49/(-14)*10/25*-35. Suppose 10 = -x + 57. Which is bigger: x or y?
y
Let a be 1/(2/(-28) - 0). Let x(o) = -o**2 - 23*o - 72. Let g be x(-17). Suppose 2*d = -m - g + 11, 2*d + 45 = -3*m. Which is smaller: m or a?
a
Let g be (-61)/(-122)*((-3)/(-12) + -2)*-191. Which is smaller: 167 or g?
167
Let w = -232 + 214. Let m be -2 - (34 + 0/2). Let z = w - m. Are 17 and z non-equal?
True
Let g = -27992.77 + 27984. Which is smaller: -4 or g?
g
Let h = 116.5 + -64.8. Let q = -1.3 - h. Let r = 52 + q. Is r < 22?
True
Let i = -71 + 73. Suppose i*t = 3*u + 10, -10 = -3*t + 5. Which is greater: -7/13 or u?
u
Let b be (-308)/(-1764) + ((-35)/45)/(-7). Which is smaller: 0.1758 or b?
0.1758
Let f = 3097 + -3097. Which is smaller: -1/2652 or f?
-1/2652
Suppose 2763 = -858*v + 157203. Suppose 0 = -3*z + 2*z + 182. Is z at most as big as v?
False
Let u = 225633/7544 - 32/943. Are u and 30 equal?
False
Let d be ((-10)/42)/((-165)/231). Is -251/3 at most d?
True
Let m = 34 + -55. Let k = -24 - m. Let u be (36/(-34) - -1)*k. Which is smaller: -1 or u?
-1
Suppose 3*d + h = 61, 48 = 5*d + h - 55. Suppose -q = 2*y - d, -5*q - 5*y + 15 = -65. Suppose -3*k = 4*c + 22, 0*c + c = 2*k - q. Is c at most as big as 4?
True
Let a = 907886/1563237 - 116/3879. Which is greater: a or 1?
1
Suppose 0 = 3*x - 42 + 135. Let z = -14940 + 14935. Is z < x?
False
Let n(f) = 3*f**2 + 75*f + 89. Let v be n(-24). Let p = 18 + 56. Suppose 3*w = 4*c - 69, -4*c + w = 3*w - p. Is v smaller than c?
True
Let p(s) = s**3 + 11*s**2 - 15*s - 158. Let v be p(-10). Is 89 <= v?
True
Let j = -3348200/9 + 372020. Let b(h) = h**3 - 2*h**2 - 2*h + 3. Let c be b(3). Let r be ((-2)/(-4))/((-1)/c). Do j and r have the same value?
False
Let h = -979 + 1053. Suppose -9*t = -14*t. Which is greater: t or h?
h
Suppose 9*a = -2*a + 264. Suppose 4*m + 26*w = a*w + 994, -3*w = 2*m - 491. Is 251 bigger than m?
True
Let q = -0.05 - 0.6. Let o = q - -1.14. Let r = o - 0.39. Which is greater: 4/7 or r?
4/7
Let g = -5 + 37. Suppose g*i - 27*i = 0. Let l be (-7)/(-14)*48/(-5) + i.