 l?
85
Suppose q - 7 = 3*p, 5*p - 5*q + 87 = 52. Which is bigger: 1/9980 or p?
1/9980
Let b(c) = c**3 - 3*c**2 + 6*c - 9. Let i be b(2). Let s be ((-9)/18)/(i/10). Suppose 0 = -3*z - 2*z + s. Is -6/59 bigger than z?
False
Let o be (-23)/(322/(-196)) - -2686. Which is smaller: o or 2698?
2698
Let u = 0.428 + 53.772. Let t = -54.6 + u. Which is greater: t or -6/19?
-6/19
Let n = -11659 + 11743. Are 92 and n non-equal?
True
Let w = -103518 + 104382.024. Let s = -864 + w. Which is bigger: s or -2/9?
s
Let k = 2 - -2. Let o be (-3)/((-3)/k) + 2. Suppose -3*j = 2*n + 58, 3*n + 57 = -o*j + 3*j. Is j at most -1?
True
Let a = -0.217 + 58.217. Let y = 259.1 - 259. Is a equal to y?
False
Let p = 337.34 + -337. Let y = -0.531 - 0.009. Let t = y + p. Which is greater: 0 or t?
0
Let d be 4/(-6)*(-4 - (-70)/(-20)). Suppose 4*m - 7 = d*f, 25 = -5*f - 4*m + 42. Which is smaller: -1/352 or f?
-1/352
Suppose -196 = -6*q - 16. Suppose -5*c - 5*d + 10 = q, -5*c - 35 = 2*d. Let f = 146.1 - 146. Is f greater than or equal to c?
True
Let b(l) = -4*l**3 + 313*l**2 - 81*l + 35. Let w be b(78). Which is bigger: w or -198?
-198
Suppose -165*a + 8322 = -5*r - 166*a, 2*a + 1659 = -r. Is -1667 less than r?
True
Let c = -583 + 724. Which is greater: c or 100?
c
Let f = -0.0446 + -2.9554. Which is greater: f or 981?
981
Let n be (16974/5688 + -3)*4*-1. Which is bigger: -1 or n?
n
Suppose -3*y + 8236 = -5*s, -2*s + 5*y - 1334 = 1949. Which is greater: s or -1650?
s
Suppose -5*s = 7 - 17. Let v be 10/(-30) - s/((-390)/59). Let x be ((-1)/(-3))/((-11)/33). Do x and v have the same value?
False
Let v = -3726 - -3544. Which is smaller: -1999/11 or v?
v
Let u be (-473704)/(-244860) - (-1)/(3/(-6)). Is u greater than 0?
False
Suppose 5*m + 92 = -6348*w + 6346*w, 80 = -3*m + 5*w. Let k = -50 - -27. Is m smaller than k?
False
Let q(b) = 211*b - 1. Let c be q(3). Let i = -9295 + 9926. Is c smaller than i?
False
Suppose 4*j = -2*g + 9*j - 209, -5*g - 470 = -2*j. Let y = -105 - g. Is -10 at most y?
False
Let w = -2024 + 3013. Let g = 6938/7 - w. Which is greater: 5 or g?
5
Let h = -1.3 - -1.5. Let r = -26305 - -26307. Which is smaller: h or r?
h
Suppose -89*d + 91047 = -73692. Is 1 greater than d?
False
Let z be (-2)/(-76)*(-30)/15. Let r = 1 - 1. Is r smaller than z?
False
Let i(c) = 26*c + 32. Let f be i(6). Let m = -187 + f. Let r = -1193 - -110947/93. Which is greater: r or m?
m
Suppose -2*g + 500*r + 5793 = 503*r, -4*g = 3*r - 11589. Which is greater: 8690/3 or g?
g
Suppose 3 = 4*m + 7. Let z(y) = 2*y**2 - 2*y - 2. Let i be z(m). Is -10 less than or equal to i?
True
Suppose -3*s + 1986 = -r, 26*r - 23*r + 18 = 0. Are s and -0.1 nonequal?
True
Let o = -695 + 682.78. Let x = 0.22 + o. Let d = 11.97 + x. Which is smaller: 0.2 or d?
d
Let q be (524/304)/((-18)/24). Let r be (-53)/114 + 5/10 + 0. Let c = q - r. Which is smaller: c or -1?
c
Suppose 4*w - 16 = y, 5*y - 28 + 8 = -5*w. Suppose -q - w*k + 40 = 0, 3*q - q = 4*k + 140. Let f be 10/7*q/25. Are f and 1 equal?
False
Suppose 9 = 3*j + l + 2*l, 5 = 5*j + 3*l. Suppose -6*s = -5*s + 36. Let u = s - -33. Which is smaller: u or j?
u
Let z be (-60)/(-18)*(-6)/4 + -13. Let h be (-602)/(-26) + (-14)/91. Suppose -h*w = -22*w + 17. Which is smaller: w or z?
z
Let i be -35*(-1 - (-39)/21). Suppose -285*n + 147*n + 154*n = -352. Is n > i?
True
Suppose -27*p = -98 - 10. Let y(s) = -16*s**2 - 5*s - 9. Let o be y(p). Is o equal to -285?
True
Let p = -494.45 - -483. Let b = -11 - p. Let a = -0.35 + b. Are 11/3 and a equal?
False
Let h(w) = 11*w**3 + 61*w**2 - 43*w - 35. Let g be h(-6). Let i(b) = -b**3 - 7*b**2 - 6*b + 1. Let z be i(-7). Is g less than z?
False
Suppose -1614 = -3*a + 3*z, -220 = -a - 5*z + 288. Which is smaller: 536 or a?
a
Suppose -3*x - 17 = 5*b, 122*b - 118*b = -2*x - 12. Let n(q) = q + 45. Let o be n(0). Let w be (9/o)/((-4)/10). Are w and b unequal?
True
Let d be (-35)/(-7) + (11600/465)/(-5). Is d greater than or equal to 1?
False
Let y = -9834440/843 - -11666. Is y smaller than -1?
False
Let m = -58867/4 + 362507/20. Let u = m + -3397. Which is greater: 12 or u?
12
Let r = 2 - 1. Suppose 12*w - 4*q + 38 = 9*w, w = q - 13. Let u be 8845/(-2275) - -4 - (-2)/w. Is u not equal to r?
True
Suppose -1125*q - 41553 + 8973 = 27045. Suppose -z + 3*a - 43 = 0, -2*z + 3*a = z + 147. Which is smaller: z or q?
q
Let j = 44521/5 - 9253. Is j smaller than -350?
False
Let w = 4960 + -431530/87. Are -1 and w nonequal?
True
Let y = 2 - 0. Suppose -4*v - 2*c = -26, 9*c - 33 = -5*v + 7*c. Let g be y - v - (-14 - -9). Which is smaller: 4/17 or g?
g
Let h = -2249 + 2249. Are h and -4/11281 unequal?
True
Suppose 5*b + 120 = 23*z - 18*z, z + 5*b - 24 = 0. Let d be (-1 - 25/(-10))*2. Suppose d*l + 5*w - 41 = 0, 129 = 5*l + 3*w + 34. Which is greater: l or z?
z
Suppose 11 = 24*x - 26*x + 13*x. Which is bigger: -9.827 or x?
x
Let q be (32 - 26)*2*3. Let b = q + -33. Let v(s) = -4*s**2 + 3*s + 6. Let t be v(b). Do -18 and t have the same value?
False
Let j(v) = -2*v**2 - 14*v - 9. Let g be j(-6). Let i be 199/g - (-7)/(-21). Let m be i/12 + -6 + 162/4. Is 0.2 at least as big as m?
False
Let t(a) = 6*a + 18. Let q be t(7). Let m be (40/q)/(4/(-42)). Let h(d) = -3*d**2 - 30*d - 87. Let g be h(-5). Which is greater: m or g?
m
Suppose -60*a - 77 = -53*a. Let f(w) = w**2 + 4*w - 16. Let p be f(a). Is 62 <= p?
False
Let h = 27.74 + -27.7. Let y = 102/13 - 287/78. Let z = -14/3 + y. Which is smaller: h or z?
z
Let m = -48462 - -46158. Is -2304 at most m?
True
Let a be (4/(-6))/((-23)/(1035/(-10))). Are -64/17 and a equal?
False
Let y = 318 + -437. Let f = -72 - -106. Let i be f/y + 8/14. Is i at most as big as 3?
True
Let v(i) = -78*i**2 - i. Let k be v(1). Let q be (-1)/(-1)*((-249216)/3186 - 2/(-9)). Which is greater: q or k?
q
Let c be -1424 - (208/36 + 6/(-108)*-4). Are 2 and c non-equal?
True
Let s = -118 + 69. Let g = 49 + s. Let w be -1*(22/(-10))/1. Is g greater than w?
False
Let t = -13 + 72. Let x(f) = f**3 - 18*f**2 - 57*f - 70. Let w be x(21). Is w at least t?
False
Let z be (-168)/(-28) + 0 + 2. Suppose -z*p + p = 0. Which is smaller: -6/13 or p?
-6/13
Let y = -28729 + 28728.9. Which is smaller: -0.01561 or y?
y
Let b = 1047908549/4301 - 243643. Which is smaller: 0 or b?
0
Let q = 10 - 7. Suppose 7*f = r + q*f - 1, -f + 3 = 0. Suppose 26 = -15*x + r*x. Does x = -13?
True
Let b be -8*-19*26/(-3952). Which is bigger: b or -54/145?
-54/145
Let d = 6176 - 6607. Is d > -2153/5?
False
Suppose 9*u + 315 = -36. Let h(a) = -11*a - 425. Let p be h(u). Which is greater: 2 or p?
p
Suppose -25*i = 24*i + 46*i - 84265. Is 891 at least as big as i?
True
Suppose y = 2*f + 5, 71*y + 11 = 4*f + 76*y. Which is bigger: 2/1755 or f?
2/1755
Let c = 31 + -31.0286. Let i = -0.0216 - c. Is i at least as big as 0?
True
Let g = -126164/11 + 11464. Is -1/96 at least g?
True
Suppose 5*p - 4*y = -y + 19, -6 = 2*y. Let k be 2*10*(1 - p). Suppose 103 = -4*d + 2*x + 7, 3*d - x = -68. Does d = k?
True
Suppose 37*s = 36*s + 36. Suppose 3*q + s = 5*b, 4*b + 0*q + q = 39. Is b smaller than 7?
False
Let b(r) = 2 - r**3 + 0*r**3 + 0*r**3 + 4*r**2 + 2*r. Let s be b(4). Let k be (-4)/s - 46/(-115). Which is smaller: -2/225 or k?
-2/225
Suppose 2*c + 3*c + y - 4 = 0, 6*c - 4*y = 10. Let w = -3585/16 - -224. Which is bigger: w or c?
c
Let d = 12 + -12.026. Let a = d + -0.074. Is -275 >= a?
False
Suppose 2*w - 2*o - 4 + 0 = 0, 3*o + 6 = 0. Let s be 3 - (w - 178/(-56)). Is 1/2 > s?
True
Suppose 217*w = 2*n + 221*w - 26, 4*w - 20 = 4*n. Is n at least 19/64?
True
Let n = 162 - 159. Suppose n*c = 4*f - 2*c - 52, -c - 32 = -2*f. Which is greater: f or 0.06?
f
Let q be 15/210*40/130. Suppose 2*v - 8*h - 27 = -3*h, 0 = -v + h + 6. Which is bigger: q or v?
v
Let f be (-2)/6*(0 - 3). Let z be (-31850)/(-159445) - 20/110. Is f at most as big as z?
False
Suppose 3*d - 10*d = 14. Let t(y) = 10*y**2 + y - 2. Let j be t(d). Which is smaller: -1 or j?
-1
Let q = 33.63661 + 1.36339. Let u = -1/186 + 379/1302. Is u <= q?
True
Let m(q) = -22*q**2 + q + 1. Let z be m(-1). Suppose -9 + 89 = 3*y - 16*j, 0 = -4*y - 3*j - 15. Which is smaller: z or y?
z
Let m(o) = -48*o**3 + o**2 - 1. Let j be m(1). Let i be (1 - -1262) + 8 + -2. Suppose 6*f + i = -21*f. Is j greater than or equal to f?
False
Let w(u) = -u*