
h
Suppose 3*k = -3*t - 9, 0*k = k + 4*t + 6. Let b = 507.3 - 504. Is b greater than or equal to k?
True
Let i be (-4)/(-16) + 13/(-4) + 344215/116315. Which is smaller: 1 or i?
i
Let p = 63 - 42. Suppose 0 = -4*d - 4*h + 724, -d - 7*h = -2*h - 185. Let r = d + -157. Which is smaller: r or p?
p
Let s(r) = 236*r + 1614. Let v be s(-7). Is 48 greater than v?
True
Let j = 11.191 - 6.191. Is j at least as big as 1/1713?
True
Let c(m) = 12*m**3 - 2*m**2 - 2*m - 10. Let v be c(-2). Let j be (-11*5/v)/((-122)/6). Which is bigger: 0 or j?
0
Suppose -14*u + 3627 + 713 = 0. Let z = -343 + u. Suppose -3*q = 3*c + 108, -4*c + 90 = -7*c + 3*q. Are c and z unequal?
False
Suppose -3*a - a = a. Let w = a - 2. Let c be (w/(-8))/((-459)/(-228) - 2). Is 1 at most as big as c?
True
Let b be (17070/805 - -4) + (-24)/(-21). Is b != 27?
True
Let c be ((-42)/(-5))/(72/540). Suppose -76*p = -79*p + c. Which is bigger: p or 22?
22
Let d(u) = 2777*u + 795. Let y be d(-1). Is y < 0.05?
True
Let x = -0.12 - -0.02. Let t(l) = -6*l + 10. Let u(s) = 5*s - 8. Let z(i) = -4*t(i) - 5*u(i). Let o be z(1). Does o = x?
False
Let t(f) = -8*f + 83. Let l be t(-4). Let g = -121 + l. Which is smaller: g or 2?
g
Suppose -2*p = 2 + 12. Let b(j) = j**3 + 6*j**2 - 7*j. Let i be b(p). Let d be (i + -1)/(-5) - 34/70. Is d <= 1?
True
Let r = 41 - -471. Suppose 11*p - 4375 = 1268. Is p at least as big as r?
True
Let y = 147.25 + -152. Let h = -27.25 + y. Which is bigger: 2 or h?
2
Suppose -o + 3*g = 4*o - 2272, o - 440 = -3*g. Suppose 0 = -2*x + t - o, 3*t + 12 = 6. Is x less than or equal to -227?
True
Let d be 168/18 - (-2)/3. Let j be 1*(-290)/14 - d/35. Which is greater: -23 or j?
j
Suppose -3*h - 365 = -5*f, -h - 146 = -0*f - 2*f. Let n = f + -93. Is -17 at least as big as n?
True
Let p(r) = -3*r + 3. Let j(z) = -4*z + 5. Let f(h) = 4*j(h) - 6*p(h). Let x be f(-2). Let k be (-1 + x)*(-28)/12 + 0. Is 35/6 at most as big as k?
True
Let n be ((-996)/83)/(18/(-236)). Do n and 156 have the same value?
False
Let w = -4/4431 - 4411/22155. Which is bigger: w or -1/235?
-1/235
Let p = -8.26 + 7.2. Let f = -0.06 - p. Let b = 94 + -95. Is f not equal to b?
True
Let v = -12271 - -12297. Do 19 and v have different values?
True
Let m = 364 - 160. Let w = m + -203.5. Are w and -15 unequal?
True
Suppose 3*p - 525 = -36*p + 4*p. Is p less than 271/17?
True
Let l = 856 + -856. Is -1/149 > l?
False
Suppose -3 = 3*k - 51. Suppose s - 24 = -k. Suppose 10*q = s*q. Which is greater: -3/5 or q?
q
Let l be 4838/(-16)*2 - 18/(-24). Let f = -3056/5 - l. Is f bigger than -8?
True
Let o = -9134 - -8360. Which is greater: -763 or o?
-763
Let w = 267481543/54 + -4956372. Let y = w - -3010. Which is smaller: y or 1?
y
Let j = 1/2736 - 30401/2736. Is j bigger than -4/3?
False
Let b = 0 + 2. Suppose 7*h = b*h. Let f = 29930 - 29930. Is f less than h?
False
Suppose -s + x - 12 = 0, 2*s - 2*x - 2*x + 32 = 0. Let p be 0 + ((-3)/33)/(8/(-44)). Do p and s have different values?
True
Suppose 0 = 29*m + 5*m - 22440. Suppose -m = -33*z + 36*z. Which is bigger: -217 or z?
-217
Let a be 57*1 - (-5 + 4). Suppose a*r - 53*r = -15. Let k be (6/14)/(9/(-39)). Is r greater than or equal to k?
False
Let k = -88245 + 660866804/7489. Is k >= 1?
False
Let s(u) = -u**3 - 8*u**2 + 22*u + 19. Let m = 436 + -446. Let p be s(m). Which is greater: 3/220 or p?
3/220
Let o be (-5 - 0 - -15)*(-4)/(-8). Let n be 6/(-30)*2 + 7/o. Is n > 10/17?
True
Let s be 1*12/(12/3). Let c be (24/18 - (-2)/s) + 12. Suppose -2 - 2 = 4*q, 0 = -r - 2*q - c. Is -2/7 >= r?
True
Let a = -173 + 187. Let v be (3 - 5)/a + (-1)/(-7). Is v != -1/10?
True
Suppose 0 = -391*j - 2459 + 504. Which is smaller: j or 0.0597?
j
Let j = -32 + 13. Let o = -19.1 - j. Which is greater: -129 or o?
o
Let u(k) = k**2 - 29*k + 210. Let q be u(15). Let c(y) = -24*y**2 - 4*y + 10. Let v be c(-5). Let w = v + 9687/17. Is q != w?
True
Let s = 409 - 419. Let d be (132/(-220))/(339/s). Which is smaller: 0 or d?
0
Let z be ((-43)/3)/(8/6). Let w = z - -21/2. Let n = 761/177 + -3923/885. Which is smaller: n or w?
w
Let y = -4 - -3. Suppose 0 = -2*m - 4*s + 68, 3*m - m + 3*s = 63. Let x be (54/(-12))/(126/m). Which is smaller: x or y?
y
Let o(l) = 6*l**3 + 34*l**2 - 110*l + 15. Let y be o(-8). Let q = 73/3 + -37. Let c = q + 31/3. Which is smaller: y or c?
c
Let b be (-2688)/120 + 21 + (-6)/(-10). Is 3 smaller than b?
False
Let j(t) = 3*t - 14. Let b be j(5). Let o = 263 - 263. Is b >= o?
True
Let g = 2709.8 + -2710. Which is smaller: g or -797?
-797
Suppose 0 = g - 1, -13 = -3*d - 2*g + g. Suppose d*t = -6 - 6. Let k be 4 - (1 + 0 - (t - -2)). Which is greater: k or 0?
k
Let g be (1 + -16)*(-2)/(-10)*76. Let d = g + 97. Is d less than -132?
False
Let b = 19204 + -19165. Let w(d) = 5*d**2 - d - 4. Let p be w(3). Is p < b?
True
Let p be -1 + (-39)/60 + (75/(-4))/(-15). Let k = 0.11 - 0.81. Let l = 0.3 - k. Which is greater: l or p?
l
Let s = -31 - -6. Let a = 24.9 + s. Is a less than 50/3?
True
Suppose -25070 = 1230*o - 1115*o. Which is bigger: o or 0.7?
0.7
Let o = -302 + 270. Let l = o + -50. Is -1/4 smaller than l?
False
Let v be ((-36)/(-27))/(15/9 + -1). Suppose v*o - 4*d = -30, -d + 3 - 30 = o. Let s = o + 38. Do s and 74/5 have the same value?
False
Let u be (15 - 13)/((-2)/26). Let i = -28 - u. Let c(b) = 3*b**2 + 3*b - 4. Let f be c(i). Which is greater: 3 or f?
3
Let t(o) = -7*o**2 + 109*o + 29. Let r be t(13). Let x = -6 + 268. Which is smaller: x or r?
x
Let g = -0.1 - -1.1. Let j = 1861490 + -2135128652/1147. Let h = 11/37 - j. Is g smaller than h?
False
Suppose 2*k + 3*h - 10 = -0*h, 2*k - 8 = -4*h. Suppose -4*f = -5*m - k*f - 16, 0 = m - 3*f - 12. Let n = -2/73 + -67/219. Which is smaller: m or n?
n
Let l = 493 - 148. Suppose -f = 3*q - 5*f - 175, 4*f = -5*q + l. Is 63 at least as big as q?
False
Let j(d) = -d**3 - 25*d**2 - 38*d - 336. Let y be j(-24). Which is smaller: y or 3/85?
y
Let r(z) = 6*z + 91. Let o be r(-15). Let c be (-4)/(((-2)/(-34))/o). Is 0 less than c?
False
Suppose -4*z - 62 = -9*h, h + 4 = 5*z - 10*z. Are -193 and z nonequal?
True
Let t(j) = -4*j**2 - 88*j - 380. Let k be t(-16). Is -20 less than k?
True
Let w be (8/(-410))/(8/(-20)). Let i = 1302833/2108466 + -1/51426. Let c = w + i. Which is bigger: c or -0.5?
c
Let h(s) = -s**2 - 2*s + 2. Let y = -47 - -50. Let k be ((-8)/y + 2)*6. Let a be h(k). Which is bigger: a or -1?
-1
Suppose 5784 - 489 = 3*q. Let a be (-2)/(-16) - q/40. Let f = a + 47. Which is bigger: 6 or f?
6
Let h = -2879 + 2812. Which is greater: -69 or h?
h
Suppose 0 = 40*n + 133997 - 17197. Are n and -2920 non-equal?
False
Let d = 1027 + -1019. Let h(s) = -s**2 + s + 55. Let k be h(d). Which is bigger: k or 1/300?
1/300
Let c = -16121 - -16121.8. Is c >= 3/119?
True
Suppose 4*q + i + 763 = 0, 5*q + 2*i - 5*i = -975. Let r = -175 - q. Is 12 <= r?
True
Let b = 765 - 1123. Let k = 1015/3 + b. Let m(n) = -19*n**3 - 2*n**2 + 1. Let o be m(1). Is k smaller than o?
False
Suppose -n = 92 - 87, 3*n = -r - 16. Is r bigger than -1/5894?
False
Let v be 1 - (6/(-5) - -1). Let k = -21948 - -21950. Which is smaller: k or v?
v
Let s be 5 + (-1265)/1285 + (-5 - -1). Let y = s + 161/6168. Which is bigger: y or -1/4?
y
Let f = -4965.8 - -4966. Which is smaller: f or 701?
f
Suppose 6*u = -125 + 119. Let y be 18/(-3498)*(u - 4/(-6)). Do 0 and y have the same value?
False
Suppose -2*p + 3 = -3*o, p - o + 6*o = -5. Let d(y) = 5*y - 7. Let i be d(8). Suppose 7 = -2*q - i. Which is greater: p or q?
p
Let n = 23938.623 + -23943. Which is greater: -2 or n?
-2
Suppose -2*z = 3*z - 20. Suppose 2*m + 4*d = 2, 2*d + z = -2. Suppose 5*a - 2 = -m. Are 0 and a nonequal?
True
Suppose 49*d = 90*d + 119925. Which is bigger: d or -2923?
-2923
Let v be (-1 + 0 - -6) + -2. Let j be (-32)/(-44)*(-2 - v/(-2)). Let w = 4 - 5. Which is smaller: w or j?
w
Let i = 139.09 - 1.09. Let x = i - 139. Which is smaller: x or 0.4?
x
Suppose -14*j + 13*j = 4. Let k be ((-2)/j*0)/(-27 - -26). Is k less than -18/23?
False
Let w be 6/(-21)*(-1 + (-1008)/(-1006)). Let g = -45737/63378 + w. Which is smaller: 0 or g?
g
Let n(v) = 4*v**2 - 2*v + 1. Let j be n(1). Let r = 43 + j. Let t = 123 + -123. Which is bigger: t or r?
r
Let r = -0.5 + 2.3. Let o = r + -2.8. Let d = -31990/23 - -1391. Which is bigger: