/24 + a**3/3 - a**2 + 117. Let j be t(2). Is 0 at most as big as j?
True
Suppose -5*x = -8*x + 135. Let h = x - -93. Let q = -114 + h. Is q less than or equal to 26?
True
Suppose -2*i = 3*z - 1118, -311*i + 361 = z - 308*i. Is z less than 406?
True
Let r be (-1)/4 + 35/(-4). Let m = 22566.3 - 22566. Is r < m?
True
Suppose -7*y - y + 40 = 0. Suppose y*v = -v - 54. Let t = v - 15. Do -24 and t have different values?
False
Let h = -70 + 72. Let y be (h/6)/((-8)/6)*-4. Let j be 2538/828 - (2 + 0 + y). Is j > 1?
False
Suppose -3*k = c + 35 + 7, -5*k + 25 = 0. Are c and -2 unequal?
True
Let t be 484/(-8) + -4 - 6/(-4). Let x = t + 65. Suppose x*y = -2, 0*m + 4*m + 5*y = -5. Which is greater: m or 1/3?
1/3
Suppose 3*o = 2 + 7. Suppose 6*g - 798 = o*g. Let r = 383 - g. Which is smaller: 116 or r?
116
Let f = -251/18 + 103/9. Let w be (-284)/(-14) + (-2)/7. Let j = w - 23. Which is smaller: f or j?
j
Let y = 18711/4 - 4725. Let z = 3201/68 + y. Do z and 0.2 have the same value?
False
Suppose -5*s + 38 - 68 = 0. Let p be (0 - s/4)/((-9)/76). Suppose b + 13 = -0*b. Is p at most b?
False
Let t = 1/2320 - -6949/25520. Is t equal to -114?
False
Suppose 246 = 3*a - 0*a. Suppose -g = -3*c - 416, -2*g - 186 = -3*c - 1009. Suppose -q + 5*q - 2*r - 324 = 0, 2*r = 5*q - g. Are a and q unequal?
True
Let z be (((-6)/(-879))/2)/(-1). Let u = -64335 - -64334. Are u and z equal?
False
Let b be (-2 + 3 - -647) + 7 + -2. Let w = 650 - b. Which is smaller: -20/11 or w?
w
Let c = 0.101 + 210.899. Let w = c - 140. Let a = w + -71.02. Which is greater: a or -4?
a
Let j be (-8 + -6 - 2) + 246. Suppose -50 = -2*c + 408. Which is smaller: c or j?
c
Suppose 5*q = 427 + 453. Suppose 71*w = 75*w + q. Let m be -1 + 43*1*-1. Is w > m?
False
Let a = -258 + 257.9657. Let l = -0.0957 + a. Does l = -0.3?
False
Let i = -20381/7 - -2918. Suppose 0 = -2*w + 6*w - 20. Suppose 2*x - w = x. Which is smaller: i or x?
x
Let a = 21 - 22. Let w be (-4)/22 - (-2 - (-13080)/7315). Which is smaller: w or a?
a
Let r = -35042 + 35044. Is r less than -686/5?
False
Let b = -132 + 168. Let h be (-228)/(-9)*(b/8 - 3). Is 5 not equal to h?
True
Let c = -402823/15 - -26867. Let i = c - 46789/3855. Which is bigger: -1 or i?
i
Let z be 195 - 196 - (3 - (-3 + (-4730)/(-673))). Are z and 0 non-equal?
True
Let f(x) = -x**2 + 21*x + 2660. Let u be f(64). Suppose -3*n + 8*n + 465 = 0. Is n not equal to u?
True
Suppose 0 = -2*m - 5*g + 2841, -3*m - 158*g + 155*g + 4284 = 0. Which is smaller: m or 1432?
1432
Let c(w) = 14*w + 6 - 31*w + 13*w. Let m be c(3). Let f = 6 + m. Which is smaller: -1.2 or f?
-1.2
Let y = -5226 - -15677/3. Is y at most -3493?
False
Let y = 42 + -88. Let w = y - -70. Let m be (w/12)/((-6)/2). Which is greater: -2 or m?
m
Let v = 3244 + -3258. Which is smaller: 15/2 or v?
v
Suppose -131*f - 1197 = 268*f. Suppose i + 3*i = 8. Let g = 3 - i. Which is smaller: f or g?
f
Let q = 156 - 154. Let t be (q - 56/21) + (-34)/(-6). Which is smaller: 14 or t?
t
Let r = -54 + 61. Let w be (-38)/(-6) - (11 + -12). Let x = 7 - w. Which is bigger: x or r?
r
Let o = 117 + -123. Let g(v) = v**2 + 15*v + 44. Let n be g(o). Let r(d) = d**3 + 10*d**2 + 2*d - 24. Let i be r(n). Are i and -44 unequal?
False
Let h = 29593/5 + -5944. Suppose 37 + 139 = -6*n + 20. Which is bigger: n or h?
h
Let t(z) = 4*z + 79. Let c be t(-18). Let j be 48/(-84)*c/10. Which is smaller: j or 3?
j
Suppose 0 = -4*w + 7*w - 17346. Let b = w + -3128060/541. Which is smaller: -1 or b?
-1
Let n be 60550/(-7565) + 9 + (0 - 1). Which is smaller: n or 0?
n
Suppose -5*f = 30, 20 = 4*w - 2*f + 92. Is w <= -23?
False
Let p = -35299 + 60537787/1715. Which is smaller: p or 1?
p
Let n = 22 + -4. Let y be 4/n + 364/63. Suppose 3*h - 21 = -x, 2*x - 4*h + 112 - 114 = 0. Which is smaller: x or y?
y
Let b(u) = 419*u + 66. Let h be b(38). Let m = h - 80527/5. Is -117 smaller than m?
False
Let k = -2986.2 - -2922.7. Which is smaller: 0.09 or k?
k
Let q = 12.8 + -6.3. Let j = -6.381 + q. Let d = j - 0.069. Which is bigger: d or -0.1?
d
Let n = -3 - -3.1. Let f = -172.1 + 166. Let y = f + 10.1. Which is smaller: y or n?
n
Let p be (48/2)/((-5)/85). Let h = 582 + p. Let w = h - 65. Which is smaller: 110 or w?
w
Let x = -109 - -165. Let h = -9206 + 9264. Which is greater: x or h?
h
Suppose -v = -5 - 3. Let m(s) = -s**3 + s**2 - s. Let j(o) = -4*o**3 - 11*o**2 - 43*o + 23. Let r(d) = -j(d) + 5*m(d). Let f be r(18). Is f at most as big as v?
False
Let u = -5842 + 6220. Which is bigger: u or 373?
u
Let k = 6318 - 6313. Which is smaller: 124/29 or k?
124/29
Let d be -1*111/33 + 3. Let k = -1.71001 - 0.28999. Is k bigger than d?
False
Suppose 4*h - 2*q - 46 = 0, -5*h + 6*q - q + 70 = 0. Suppose -14*v + 3*v = -77. Let o be h/v + (2 - 5)/3. Which is greater: o or 7?
7
Suppose -26*m - 467 = -51. Let a be -83*(2 + (-6)/2). Suppose 0 = 3*d + 3*k + 13 + 32, a = -5*d - k. Which is smaller: d or m?
d
Let f = -247 + 211.5. Let l = f + 35.4. Let a = 1/29 + -100/2059. Is l < a?
True
Let k be (-424557)/(-70840) - 3*2. Is -1 less than or equal to k?
True
Suppose -17*v - 5010 = -7*v. Let t = v + 6516/13. Is -2 greater than t?
False
Let a be (-1)/((-6)/(-1514)*3/9). Do a and -754 have different values?
True
Let u = 2805 - 109417/39. Are -1 and u nonequal?
True
Let d = -20284 - -8824. Is -11461 less than or equal to d?
True
Let k = -9101 + 9101. Which is smaller: k or 30/359?
k
Suppose 413 = -8*f - 4891. Is -661 > f?
True
Let u be (33 + -29)/(3 + 1). Suppose -2*d + 5*d = 6, 10 = h + 4*d. Let t be 308/74 - h - 2. Is t smaller than u?
True
Suppose -39*f - 21*f + 480 = 0. Suppose 119 - 119 = f*s. Is 7/66 != s?
True
Let u = -0.2 - 0. Let w be (((-675)/(-36))/(-3))/(2/(-48)*3). Is u greater than w?
False
Let m = -0.382 - -2.442. Let k = 23.06 - m. Is 0.07 not equal to k?
True
Let v = -474.66 + -6.34. Let y = -380 - v. Which is greater: -1/4 or y?
y
Let o = 3522 + -3523.9684. Let r = o - 0.0316. Is 0.22 greater than r?
True
Suppose 13*z + 101122 = -18*z. Let p = z - -62010/19. Which is bigger: 2 or p?
2
Suppose 18*l = -2*l + 60. Suppose 7*v - 21 = 10*v - l*q, 4*v - 3*q + 32 = 0. Is -8 at least as big as v?
True
Let k be -5 + 33074/5936 + ((-45)/(-7) - 7). Is k < 1?
True
Suppose 2*i - g - 1569 = 4*g, -2*g = -5*i + 3891. Let q = i - 775. Is q > -321?
True
Let j = 15 - -20. Is j >= -4?
True
Let p = 21164 + -21245. Which is smaller: -79 or p?
p
Let y be ((-88)/132)/(1/2). Is -2/327 not equal to y?
True
Let t be (-1)/1 - (-9 + 38). Let v be (-18 - (-76)/4)*-2. Which is greater: t or v?
v
Let h = 1356307/1257 - 1079. Which is greater: h or -1/4?
h
Let s(r) = 2*r**3 + 5*r**2 - 4*r + 5. Let i be s(3). Let t = i - 90. Let x(g) = -7*g**2 + g - 3. Let f be x(t). Does f = -29?
True
Let h = 0 + 1. Let z(x) = -2*x**2 + 59*x - 8. Let m be z(29). Let i be m/1211*(-12)/(-18). Is i at least h?
False
Let f be (-2639)/10710 + (-10)/(-12). Let c = f + 2/153. Let y = -8.2 - -8. Which is smaller: y or c?
y
Let n = 12 + -9. Suppose -4*r = 20, -k - 2*r = -3*r - 8. Suppose 12 = 3*o + k*g, 0*g + 3*g + 30 = n*o. Is 8 < o?
False
Suppose -5*u - 9 = -g, 4*g = 2*u - 4*u + 14. Which is smaller: -2/2115 or u?
u
Let w(q) = -q + 2. Let b = 165 - 164. Let s be w(b). Which is greater: s or 5?
5
Let n(t) = 2*t + 2. Suppose -5*b + 41 = 3*u, 7 = -3*u + b + 24. Suppose 2*c + u = c. Let i be n(c). Is -13 at most i?
True
Suppose -250*q = -186*q + 64. Is q less than -1/34281?
True
Let c = 10477.31 - 10066.1. Let d = -413 + c. Let k = d + 0.49. Do k and 1 have the same value?
False
Suppose 54*g + 147 = 47*g. Let f = 111 - 131. Which is bigger: f or g?
f
Let t(x) = 86*x**2 + 22*x + 63. Let l be t(-2). Are l and 361 nonequal?
True
Let q be 1 + -82*(-780)/(-63947). Is q at least -1?
True
Let t be 8*4 + (-4)/(-4). Let y(p) = p**3 - 36*p**2 - 36*p - 3. Let k be y(37). Is t greater than k?
False
Let f be (0 + -29)/((-45)/(-54)) - (10 - 8). Which is greater: f or 18?
18
Suppose 2*m + 319 = w + 2*w, 5*w = 5*m + 535. Let q be (70/w)/((-11)/(-9)). Are 10 and q unequal?
True
Let g = 9014.46 - 9184. Let h = -0.46 + g. Which is bigger: h or -2?
-2
Let m = 1029 + -1029. Let o(n) = -84*n + 3. Let q be o(1). Let s be (-7)/21*q/(-7). Which is greater: m or s?
m
Let d be ((-90)/(-36))/(2/152). Let k = 211 - d. Is k >= 0.03?
True
Suppose 2*f = -4*