ller: t or 69?
t
Let k(g) = 21*g - 1439. Let f be k(68). Which is smaller: 5.2 or f?
f
Suppose 819*w = 814*w + 5. Let j = 61 + -45. Let t be (-8)/j*0/1. Which is smaller: w or t?
t
Let v = 9800 - 89140/9. Are v and -105 unequal?
True
Suppose 0 = 33*h - 29*h - 12. Suppose 0 = l - h*u + 9, 0 = -l + u - 5 + 2. Is l at most -1/257?
False
Let o = -3758936/473 + 7947. Which is bigger: -1 or o?
o
Let p(w) = w**3 + 9*w**2 - 13*w - 7. Let n be p(-9). Suppose -4*j = n + 202. Let o = -78 - j. Is o equal to -1/13?
False
Let k(q) = -204*q + 12314. Let s be k(60). Let p = 8112 - 24113/3. Which is greater: s or p?
p
Let o be (-42)/(-77)*(-3)/6 + 3523/(-715). Let w = 0.13 - -0.27. Are w and o non-equal?
True
Let a = -59 - -62. Suppose 8*p - 6*p + 11 = -3*i, 2*p = a*i - 41. Which is smaller: -9 or p?
p
Let g = 1028 + 567. Let y = 144651/4 + -755259/20. Let w = y + g. Which is smaller: w or -4?
w
Let h(n) = -2*n + 17 - 3 + 29*n. Let b be h(-2). Let s be (3/7)/(1/((-35)/b)). Is s bigger than 1?
False
Let k = 7957 + -533126/67. Which is greater: -1/5 or k?
k
Let r(j) = -j**3 + 26*j**2 - 15*j + 293. Let l be r(26). Is -98 greater than l?
False
Let w(u) = u**3 + 3*u**2 + 2*u + 2. Let o be w(-2). Let v(f) = 8611*f**2 - 4306*f**2 - f - 1 - 4304*f**2. Let x be v(o). Is -2/115 != x?
True
Let w be (-812)/90 + 4 - (-2)/((-6)/(-15)). Let k = 2 - 3. Which is smaller: k or w?
k
Let h(k) = 15*k**3 + 6*k**2 + 8*k + 40. Let d be h(-5). Is d less than or equal to -1725?
True
Let k(i) = -2*i**2 + 15*i - 1. Let n be k(7). Let s(t) = -t**3 + 5*t**2 + 8*t - 13. Let z be s(n). Let y = -42/41 + 257/451. Which is smaller: y or z?
z
Let b = 269 - 264.04. Let t = -4.1 + b. Let w = t - -0.14. Is 6 != w?
True
Let x be (-17 - (1 + -5)) + 5. Let z be (-6)/9*12/x. Let r be (z + 2)/(9/(-27)). Is r greater than -5?
False
Let j(s) = -s**3 - 9*s**2 + 4*s - 10. Let a be j(-6). Let h = a + 141. Is h at most -21/26?
True
Suppose -8*p + 4*n = -11*p - 1181, 0 = 4*p + 4*n + 1580. Which is smaller: p or -376?
p
Let m(o) = -o**2 + 124*o - 543. Let x be m(115). Is 500 at most as big as x?
False
Suppose -3*h + 22 = -2*a, -4*a - 16 = -5*h + 6*h. Suppose s - 3*p = -5, -3*s + h = -3*p + 7. Do s and 3 have the same value?
False
Let m = -422 + 833. Let i = -391.5 + m. Is 0 at least i?
False
Let g = -1418.9 - -1417. Is -19/7 >= g?
False
Let m(z) = z**3 - 5*z**2 + 4*z + 2. Let a be m(4). Suppose -7*x + a*x = 4*r - 2, -r = 2*x + 1. Let w be ((-2)/(-1 - 1))/(35 + -39 - -8). Does w = x?
False
Let h(t) = -t**2 + t + 34. Let z be h(0). Suppose -50*s + 48*s + 54 = 2*f, -5*s + 147 = 3*f. Do z and s have the same value?
False
Let t = 8625 - 8506. Suppose 2*k = 6*k - 540. Let s = t - k. Is s <= 1/3?
True
Suppose -441*m + 8552 + 824938 = 0. Is m greater than 1890?
False
Let b be -24*32/24 + 8 - 5. Which is bigger: -676/23 or b?
b
Suppose -34 = -2*f - 26. Suppose 3*r + 4*c - 9 = -0*c, -12 = -4*r - 5*c. Suppose -x + 20 = r*x. Which is greater: f or x?
x
Let x = -337.18 - -300.28. Let z = 0.2 - 1.2. Which is smaller: z or x?
x
Suppose 18*m - 13200 - 44616 = 0. Is m at least as big as 3212?
True
Let x be (-6750 - 0) + 8 + 3 + (0 - -2). Is -6737 bigger than x?
False
Let t = -8456.0273 + -0.9727. Do -2 and t have different values?
True
Suppose 0 = -95*y + 80*y. Suppose -5*m = -d - 277, y*m - 3*m = 4*d + 1177. Which is smaller: -291 or d?
d
Suppose -1328 = 5*x - 4*m, -315 = 3*x + 2*m + 473. Let s be -5 - -9 - x/(-78). Which is bigger: 2 or s?
2
Let c be 1*((6 + -4)/1 + -2). Suppose c = -0*v - 5*v + 10. Is v at least as big as 12/5?
False
Let u(a) = 35*a - 3. Let w be u(1). Let t be -32 + w - (-6)/15. Let z = -0.12 - -0.06. Which is greater: z or t?
t
Let i = 75959/367 - 207. Is -1 greater than i?
False
Let w be (-10)/(-35) - 152/(-56). Let z be (-20)/70 - (w + 316/(-28)). Is 13 less than or equal to z?
False
Let o = 3.9 + -4. Let d = -5 - -6.12. Let s = d + -1.02. Is s < o?
False
Let f = 0.54308 - 0.14308. Is 1.67 < f?
False
Let r = -4069 - -6308. Which is smaller: r or 2/3?
2/3
Let f be (1 - 1)/2 + -1. Let v = -1855/28171 - 24/2167. Are f and v non-equal?
True
Let s(t) = 2*t**3 + 18*t**2 - 8*t - 25. Let f be s(-9). Do 5 and f have different values?
True
Suppose 18*z - 19*z = -5493. Let q = 939313/171 - z. Is q greater than or equal to 1?
False
Suppose 0 = -c + 3. Let x = 1241/1232 + 225/176. Which is smaller: x or c?
x
Suppose 196 + 140 = 3*k. Let v = -104 + k. Which is greater: v or 4?
v
Let p = -50.514 - -19.514. Is -3.16 > p?
True
Let s(u) = -2*u**2 - u + 9. Let n be s(-2). Let j be (1029/(-42))/(n/6). Is j greater than or equal to 0.02?
False
Let i(u) = 2*u**3 - 10*u**2 - 75*u - 43. Let c be i(13). Which is smaller: c or 1687?
c
Let s = 1128 + -1166.39. Let f = s - -0.39. Let v = 37 + f. Is 0.09 > v?
True
Suppose -8*t - 5*t + 637 = 0. Let v be (t/(-21)*-6)/(1/2). Is v equal to 24?
False
Suppose 58066 - 219526 = -204*s + 497256. Which is smaller: 3226 or s?
3226
Suppose -1302*p - 1464 = -1279*p - 13355. Which is smaller: p or 516?
516
Suppose 4*w - 22 = 6. Suppose -3*d + 16*s = 11*s + 3, -4*s = -2*d. Which is smaller: w or d?
d
Suppose 5*c + 2 = 4*i - 26, c + 10 = 3*i. Let x be (i/1*-3)/(-3). Is 8/3 smaller than x?
False
Let p be 2/(-6) + -1 + 37482/25785. Let m = p - 6/191. Suppose 2*b + 2*g - 8 = 0, -5*b - 3*g - 2 = -12. Which is smaller: m or b?
b
Let l be -14 - (-92 - 4 - -2). Which is greater: l or 61?
l
Let v(f) be the first derivative of -7*f**3/3 - 7*f**2/2 - 9*f - 104. Let k be v(-5). Does -149 = k?
True
Let c = -8/103 + 129/2987. Let w be -4 + ((-2816)/(-198) - (-4)/(-18)). Suppose -15*n + 0*n = w*n. Is n bigger than c?
True
Let y = -137 - -138. Is y at most as big as 2/9787?
False
Suppose 17*l = -13*l - 30. Let y be (-5 - (2 + -10)) + l + -112. Is -111 < y?
True
Let v(m) = 140*m - 1075. Let c(g) = 47*g - 359. Let j(z) = 8*c(z) - 3*v(z). Let b be j(8). Which is greater: b or -6/277?
b
Suppose 58*b - 128305 - 134319 = 0. Which is greater: b or 4529?
4529
Let t = 93.151 - 0.151. Let z = 93 - t. Are z and -58 equal?
False
Suppose 0 = h + 4, 5*p + 5*h + 1089 = -2601. Are -735 and p unequal?
True
Let z = 439.1 + -85.1. Let f = 354.108 - z. Are -1 and f nonequal?
True
Let s be (-83)/(-249) - ((-2)/9)/1. Suppose -3*z = -2*b - 3*b + 19, -5*b + z + 13 = 0. Suppose -2*p = x + 2, 3*x - 14 + b = 3*p. Is x != s?
True
Let n = -7/25 - -897/3025. Let b = 3643899 - 881825619/242. Let a = n + b. Which is greater: a or -10?
a
Let b = -106 - -62. Let z = -68.15 + 72.15. Do z and b have different values?
True
Let j be (-33)/(-143) + (-33048)/(-442). Which is smaller: j or 127?
j
Let g = 4130 - 4129. Suppose 44 = 4*n - 0*n. Is n at most as big as g?
False
Let i = 0.22033 + 0.07967. Is 1/7 smaller than i?
True
Let x = -258.1 - -259. Suppose i + 114 = 7*i. Which is smaller: i or x?
x
Let a = 613 + -3384. Is -2771 less than a?
False
Let a(z) = -3*z - 4. Let b be a(-5). Suppose -4*l + 310 = 3*k - 6*l, 404 = 4*k - 5*l. Suppose 0 = -20*u + k + 154. Is b equal to u?
False
Suppose -2*v + 5*q = -33, -4 = -2*v + q + 9. Suppose -3*a = 5*g + 9, -6*g - a - v = -4*g. Let b be -14*(1 - (-3)/(-2)). Are b and g non-equal?
True
Let a = 42 + -36. Let u(x) = 9 - x + 3*x - a*x - 10. Let r be u(-6). Is r > 21?
True
Let o(t) = 1726*t - 26. Let c be o(1). Is 5096/3 smaller than c?
True
Let n = 245 + -243. Suppose 4*c = k - 55, -n*c + 221 = 6*k - 3*k. Is k equal to 73?
False
Suppose -400 = -3*h - 2*h. Let x be 19 - (-5334)/(-294) - 1080/(-14). Which is greater: h or x?
h
Let i be (-247032)/(-82296) + (0 - 3). Is -1 smaller than i?
True
Suppose 11*o = 2*o. Let z(r) = 2 - 8*r + 4*r**2 + 7*r - 8*r**2 + 2*r**2. Let v be z(o). Is 6 < v?
False
Let d(v) = -v**3 - 5*v**2 - 3*v - 12. Let c be d(-5). Let x be 4272/28 - ((-9)/7)/c. Suppose -3*u = x + 51. Are -69 and u non-equal?
True
Let b = -1698/19 + 87. Let j = -746/323 - b. Let r(l) = l**2 + 12*l. Let w be r(-12). Which is greater: w or j?
j
Let a = 833/8 - 2491/24. Let m = -2 + -30. Are m and a equal?
False
Suppose 3*k = -y + 2*k - 3, -2*y + 4*k = 0. Let t be (35/84 + 0)*6/(-4). Is t less than y?
False
Let k be 6/(-27) - 1/(-3). Let y be (-14 + 35/2)*8/7. Let v be (0 - y) + 11 + -7. Do v and k have different values?
True
Let t(b) = -b. Let h(r) = 5*r - 30. Let q(a) = -h(a) - 6*t(a). Let x(c) = -3*c - 23. Let d b