er: 0.1 or p?
0.1
Let y(t) = -t + 3. Let j = -83 - -85. Let m be y(j). Let u be 0*2*m/(-2). Is 4 at least as big as u?
True
Let a(c) = c**2 + 100*c + 1344. Let i be a(-16). Is 8/279 <= i?
False
Suppose -2*f + 2*r - 12 = 0, 64*f + 18 = 63*f + 3*r. Which is smaller: f or 1/611?
f
Let p = -263143/20 + 13154. Let i = 3 + p. Let k = i + 203/1220. Which is smaller: -1 or k?
-1
Let z be 7 - ((-1737)/(-234) + -1). Let r = -1427/2496 + z. Is 0 at most r?
True
Let f = -18523 + 11939. Is f less than -6584?
False
Let h = -2699 + 2645. Which is greater: -0.31 or h?
-0.31
Let t = -108 + 190. Let p = -105 + t. Let l = -67 - p. Is 1/4 greater than or equal to l?
True
Suppose -50 = 2*b + 5*y + 39, b + y = -46. Let f be -4*21/28 - 45. Which is smaller: f or b?
f
Let r(z) = -49*z - 33*z + 31*z - 16*z - 10. Let w be r(-4). Which is smaller: w or 257?
257
Let v(h) = -20*h + 4. Let w be v(3). Let r = -6794 + 6741. Which is smaller: w or r?
w
Let o be (5 + -2 + 3)*(-4)/(-2). Let n be (o/170)/((-6)/(-20)). Are 1 and n unequal?
True
Let j = -72 - -94. Suppose 100 = -7*v + 2*v. Let k be 2 + 0 + (-1 - v). Is j at most as big as k?
False
Let j be ((-26)/18 - -2)*-3. Let n(g) = -5*g - 51. Let s be (-162)/16 + 13/104. Let o be n(s). Which is smaller: j or o?
j
Suppose -98 = -2*c - 48. Let a = 30 - c. Suppose -4*j + 5*z - 92 = -38, -z + 78 = -a*j. Which is smaller: -18 or j?
-18
Let u(v) = 3*v**2 + 5*v - 14. Let p be u(-9). Let t be 2/(-16) - (-23)/p. Is 2/105 equal to t?
False
Let c = -57.03964 + 0.03964. Which is bigger: 11 or c?
11
Let n be 15/6 - 8885/(-370) - 3. Is 23 >= n?
False
Let u(w) = -w**3 + 4*w**2 + 3*w + 11. Let k be u(5). Let o be (-12*15/120)/(58*-9). Which is bigger: k or o?
k
Let i = 7949 + -7950. Are -112/393 and i equal?
False
Let k(h) = h**2 + 5*h. Let q(c) = -c**3 - 3*c**2 + 9*c - 9. Let n be q(-5). Let x be k(n). Are -7/2 and x nonequal?
True
Let n = 6907 + -6907. Which is smaller: n or 35/137?
n
Let j(t) = -5*t**3 + 2*t + 2. Suppose -5*w - 27 = -d + 3*d, 3*w = 3*d - 12. Let v be j(d). Suppose -4 = -v*z + 1. Is 2/141 <= z?
True
Let t(z) = 2*z**3 - z**2 - z + 1. Let y(a) = 11*a**3 + 17*a**2 + 20*a + 69. Let k(x) = -6*t(x) + y(x). Let o be k(24). Does 110 = o?
False
Suppose -6*v - 19*v + 3*v = 0. Suppose o + 47 + v = -2*j, 4*j = -o - 55. Which is smaller: o or -38?
o
Suppose 0 = -4*q - 5*w + 3, 2*q - w + 0 = 5. Suppose -3*g = 3*l, -g - l - q*l - 8 = 0. Suppose 13*k = 9*k - g. Which is smaller: k or 1/52?
k
Let i = -1375.9 - -1373.9. Is 5052 equal to i?
False
Let p be (-4453)/412 + (5 - 0/(-2)). Let a = p + 6/103. Which is smaller: a or -7?
-7
Let w(g) = 7*g + 6. Suppose -3*i = -u - 3*u - 2, -5*i - u = -11. Let f be w(i). Let h(t) = -2*t + 31. Let y be h(f). Is y at least 1?
False
Let r(z) = 6*z**2 + 214*z - 113. Let o be r(-41). Which is smaller: 1/5 or o?
1/5
Let l = -487541/2210 - -1103/5. Which is bigger: l or 1?
1
Suppose 5*x - 3*a + 4*a = 178, 0 = x - 5*a - 46. Suppose 72 = 5*g + 3*g. Suppose -3*c - 12 = g*c. Is x at most as big as c?
False
Suppose 140 = -7*b + 140. Let d = 4749 + -4796.952. Let c = -0.048 + d. Which is greater: b or c?
b
Suppose -10*r = -21*r + 43890. Suppose -p = -39*p + r. Is 104 at most as big as p?
True
Let m be (-4)/6 - 323/(-57). Suppose m*f + 4*k = -34, 0 = -2*f - f - 2*k - 22. Let n = -14 + 4. Is f at least as big as n?
True
Let o = -4964 - -4964. Let f be ((-2124)/(-357))/3 + -2. Let n = -437/4760 - f. Do n and o have the same value?
False
Let b be 17/((-2)/(-2 - -8)). Let a = 162/13 - -1529/39. Let x = 307/6 - a. Which is smaller: b or x?
b
Let b = 1.94 - -2.06. Is b bigger than 36.1?
False
Suppose 7*f - 46 = 6*f. Suppose 2*g + f = -2*s, -3*s - g = -2*g + 89. Let x(l) = -2*l**2 - 54*l + 56. Let o be x(s). Which is bigger: 2/101 or o?
2/101
Suppose 0 = 3*o - 38 - 28. Suppose 127 = o*y - 247. Is 18 less than y?
False
Suppose h + 3*u - 3 = 0, -28 = 3*h - 7*h - 4*u. Suppose 6*t - h*t + 54 = 0. Is 20 bigger than t?
True
Suppose 59*x + 5*t + 45 = 54*x, -4*t = -2*x + 24. Which is greater: x or -23/43?
-23/43
Let i = 880 + -44. Suppose -10*v + 32*v + i = 0. Is 1 < v?
False
Let h = 6776 + 3334. Is -1 not equal to h?
True
Suppose -2*x = 6*x + x - 100521. Is x at most 11168?
False
Suppose 0 = 3*c - 0*c + v + 17023, 3*v = 5*c + 28381. Let m = c - -96403/17. Which is bigger: m or -3?
-3
Let x(q) = 50*q + 3. Let i be x(-23). Let z = 10313/9 + i. Which is greater: z or -1?
-1
Let q be (-16739)/(-881) + -14*1. Is q less than 226/59?
False
Let x = -0.6 + -0.85. Let l = x - -0.99. Let i = l - -1.46. Is i greater than or equal to -26?
True
Let j(w) = 5*w - 3. Let v be j(-3). Let m = 18 + v. Suppose -5*h + 4*h - 2 = m. Which is bigger: h or -5?
h
Let q(d) = d**2 - 34*d - 50. Let o(s) = -s**3 + 2*s**2 + 4*s + 2. Let f be o(-3). Let r be q(f). Is r at most -10?
True
Let f be (-158)/(-6) - -15*8/20. Which is smaller: 33 or f?
f
Let s = -94 - -57. Let f = -8 - s. Let g = -35 + f. Is -31/5 smaller than g?
True
Let p = -2107 - -1085107/515. Do -1 and p have the same value?
False
Suppose 270*p - 156 = 274*p. Suppose 4*v = -5*s - 208, -s - 3*s = 3*v + 166. Which is smaller: p or s?
s
Suppose -4*z = -4*k - 252, k = -2*z + 1086 - 963. Suppose 56 = a - 4*q, 0 = -4*a - 6*q + 3*q + 243. Which is smaller: a or z?
a
Let k = -1658 - -1657. Do k and 0.02547 have different values?
True
Let b = 3871 - 3871.15. Is 54 not equal to b?
True
Let o = 4/2799 + -10181/6471288. Let b = -624233/48552 + o. Do b and -12 have different values?
True
Let w = 386492/41 + -9426. Which is greater: 1 or w?
1
Suppose -72*n = -74*n. Let u be (-3 - -11) + 2 + n + -5. Suppose 3*z + 2*z - u = 3*w, -2*z + 2 = -3*w. Is z greater than or equal to 4?
False
Let x = 485 + -211. Suppose 718 = -8*j - x. Are -124 and j nonequal?
False
Suppose 0 = 4*a + 5*g - 68, 0 = -4*a - g + 5*g + 32. Suppose 0 = -5*k + 4*u + 164 - 99, -2*k + 26 = 3*u. Which is smaller: k or a?
a
Let y = -155 + 161. Suppose 3*w = 2*g - 159, 0 = -g + y*w - 5*w + 81. Which is greater: g or 83?
g
Let w = 281/462 - 13/33. Which is smaller: -1/3 or w?
-1/3
Let y = -61 + 37. Suppose 6*d + 81 = 369. Suppose 0 = -2*u + d - 96. Do y and u have different values?
False
Let s = 570 - 543. Let r be (9 - s/9) + -6. Is 3/149 greater than r?
True
Let v be -22 + 49 + 48/6. Is 44 greater than v?
True
Suppose -5*o - t = 4901, -4*o - 3920 = -6*t + 7*t. Which is smaller: -983 or o?
-983
Let l = -0.8 - 0.2. Let v = 153.028 - 151. Let g = v - 0.028. Is l less than g?
True
Let m = 2080/14843 - 15374389/26776772. Let k = 15/41 + m. Which is greater: k or 1?
1
Let c = 0.111 + -0.151. Let a be (-1 - 2) + (-1134)/(-420). Is c bigger than a?
True
Let p be (-713)/(33/(-55) - (-44)/40). Let o = p + 49914/35. Which is smaller: o or 0?
0
Let q be (14 + (-28)/2)/7. Does -6/185 = q?
False
Suppose -3*r - 9071 = -4*x, -501*r + 505*r - 3*x = -12076. Which is smaller: -3012 or r?
r
Let m = -1419 - -1420. Which is bigger: m or -3/73?
m
Suppose -29*x + 231 = 4*x. Let v be 284/24 - 5 - x. Is 0.38 less than v?
False
Let u be 1/2 - 15/(-2). Suppose -s - 5*j - 27 = 0, -243 = 3*s + j - 246. Which is smaller: u or s?
s
Let j(h) = -2*h**3 + 4*h**2 + 5*h + 7. Let s be j(4). Let y = -48 - s. Suppose -5 = -f - 17. Which is smaller: y or f?
f
Suppose -3*w + 24 = 3*d, -9*d + 4*d = -3*w - 32. Let o(f) = f**2 - 4*f - 22. Let v be o(d). Do v and -1/3 have the same value?
False
Suppose 0 = -4*o + 4*f - 3 - 5, 5*o - 4*f = -6. Let t(c) = 3*c**3 - 9*c**o - 5*c**3 + 20*c + 3*c**3 + 30*c**2. Let j be t(-20). Is -1 less than j?
True
Suppose 0 = 3*r + 714 - 717. Let x = 112468/11 - 10210. Let i = x - 10597/737. Which is smaller: i or r?
i
Let b be (0 + 0)*(-21)/(-882)*14. Which is smaller: b or -0.21311?
-0.21311
Let r = 67/2 + -33. Let z = -98.6713 - -3.6713. Is r smaller than z?
False
Let n(b) = -b**3 + 65*b**2 + 295*b - 263. Let l be n(70). Is l equal to -4113?
True
Let p(d) = d**3 + 18*d**2 - 25*d - 12. Let s be p(-19). Suppose -6*m - s - 828 = 0. Is m not equal to -154?
True
Let c = 5 - -2. Suppose 0 = 5*w - 40, 16*w = x + 14*w + 10. Which is greater: x or c?
c
Let f be (3 - -4) + 1177/(-154). Let v = -0.96 - 0.04. Is v != f?
True
Let c(n) = -5*n**3 - n**2 + 7*n - 7. Let u be c(1). Let d(b) = -b**2 - 2*b. Let p = -10 - -6. Let s be d(p). Do u and s have different values?
True