: o or -69?
o
Suppose 5*t - 4*d = 7, 4*t - 5 = 3*d - 0*d. Let i = t + -1. Let b be (-6)/21 - (i - 1035/(-175)). Which is greater: -0.1 or b?
-0.1
Let m be (-3 - (2 + -3))/((-12)/(-24)). Let v be (12/(-30))/(m/(-40)). Let h be v + 970/325 + 1. Is h greater than or equal to 0?
False
Let w = -88 - -100.6. Let v = w + -13.6. Which is greater: v or 0.08?
0.08
Let r = 34265233/447 - 76656. Let w be (-2 + -1)*(-3)/9. Is w less than r?
False
Let x be 81/(-15) - (-3 + -3). Let p = 5 + -5.02. Let i = 0.01 - p. Which is smaller: i or x?
i
Let m be 2/65*2*40. Let n(g) = 4*g**2 - 227*g - 2368. Let u be n(-9). Which is bigger: m or u?
m
Let g = -14613 - -15024. Does g = 413?
False
Let k be (-2)/384*(-30)/20. Let f = k + 27/640. Is f bigger than 0?
True
Suppose -2*k + 2 = 3*z - 3*k, 0 = -3*z + 2*k + 7. Let m be (3/(-2))/(z*(-1130)/(-20)). Which is smaller: 0 or m?
0
Let r = 3 - 0. Let s = r + -4. Let q be (-56 + 47 - -10)*(6/15 + 0). Which is smaller: q or s?
s
Let u be (-156)/1170*15/6. Which is bigger: u or 24/101?
24/101
Suppose -84 = 9*g + 717. Let q = g - -94. Which is smaller: q or -2?
-2
Let k = 41 - 22. Suppose 3*v = -a + k - 2, -27 = -5*v - a. Let b = -59/3 - -26. Is v greater than b?
False
Suppose 0 = -13*v + 17*v - 8 + 8. Which is greater: -2/1771 or v?
v
Let u = -23/9 - -925/369. Suppose -2*h = -4*o + 2*h + 8, 7 = 3*o - 2*h. Suppose -o*c + 5 = 2*c. Is c at least u?
True
Let y = 1740199.47 - 1732280. Let g = -7971 + y. Let i = g + 52. Which is smaller: 0 or i?
0
Let o = 54 + -18. Suppose -2*m = -5*m + o. Let g = -2 - m. Does -16 = g?
False
Let p = -189 - -183. Let v be (p + (-150)/(-24))/(-2). Are v and -1 equal?
False
Suppose 4*j + 0*j = -108. Let u = 61 - 88. Is u at most as big as j?
True
Let f = -457 + 460. Let w(o) = -o**3 + 6*o**2 - 9*o + 9. Let y be w(f). Is y bigger than 5?
True
Let v(g) = -g**2 + 9*g - 5. Let p be 0/(0/3 - 1). Suppose -4*w - w + 45 = p. Let d be v(w). Which is smaller: -2 or d?
d
Suppose 2*s + 3*c - 5 = 0, -5*s + 10*c + 15 = 15*c. Suppose i - 69*j + 28 = -72*j, 0 = -i - s*j - 33. Is i > -0.13?
False
Let h = 443 - 151. Let m = h - 239. Is 57 not equal to m?
True
Let h(g) = 11*g**2 - 52*g + 16. Let r(x) = x**2 + 1. Let t(u) = h(u) - 5*r(u). Let b be t(6). Which is smaller: b or -87?
-87
Let f = 12535 + -12538.903. Which is smaller: f or 0?
f
Let h = -1370 + 1219. Is -1676/11 less than h?
True
Let q = 19341 + -18484. Which is bigger: q or 864?
864
Let l be 15147/(-7570) - (16/6 - (-112)/(-24)). Which is smaller: l or 0?
l
Let f = -3.01924 - -0.01924. Is 45 greater than or equal to f?
True
Let q = -14047 - -14046.87. Are 15.6 and q unequal?
True
Suppose -2*h - 8542 = -5*r, 5*h + 1995*r + 21436 = 1994*r. Which is smaller: -4287 or h?
-4287
Let h be -2 + (-24)/(-9) + (-86)/(-6). Suppose -669 = h*s + 711. Which is smaller: -93 or s?
-93
Let d be ((-21107)/(-9420) - (-49)/(-196)) + (0 - 2). Which is greater: d or 0?
0
Let r = -50 - -53. Let w = 12 - r. Suppose -3*l + w*l = 6. Is l at least as big as 0.02?
True
Let o be (-4792)/38 + (-8)/(-76). Let m = o + 281. Let b = 96 - m. Is -59 < b?
False
Let f = -226 - 20. Let p = -248 - f. Which is bigger: 2/119 or p?
2/119
Let f = -22884729/568 - -40290. Let v = 859/89176 - f. Let a = v - -697/3454. Which is greater: -1 or a?
a
Let m = -2.1 - -1.1. Let j = 16.92 + -16.3. Let h = j - 46.62. Which is smaller: h or m?
h
Let p be 4/14 + ((-122)/(-14) - 4). Suppose 0 = 4*k + p*c + 239 - 25, 5*c - 66 = k. Which is greater: k or -58?
k
Let m = 4465 + -4466. Is m != 1/4490?
True
Let n be 0*(-2 - 7/(-3)). Let f be 0*(52/(-12) + 4). Let l be f - -1 - (-4 - -6). Are l and n unequal?
True
Let k be 3065013/(-312760) - (-8)/10 - -9. Which is greater: -1 or k?
k
Let n be ((-15)/2)/(-14 - (-2895)/210). Is 40 > n?
True
Suppose 0 = 2*d + 2*n - 8248, 667*n = 669*n + 14. Is 28908/7 less than d?
True
Let p be 4 + -3 + 2/((-2)/(-7)). Let z be ((-4324)/(-14))/((-2)/(-8)). Let v = 1242 - z. Which is smaller: v or p?
v
Suppose 44*x + 4*g - 18 = 47*x, -36 = -3*x - 5*g. Let w be (-4)/2 - (-39)/12. Which is smaller: x or w?
w
Let z = -6640 - -4244. Which is smaller: -2398 or z?
-2398
Suppose -13*c = -15*c + 12. Suppose v - 6 = 3*l + c, -2*v = -l - 4. Which is greater: v or 8/7?
8/7
Let v be 2/(8590/(0 + -2)). Which is smaller: -1 or v?
-1
Suppose -4*i - 880 = -4*r, 0 = -4*i - r - 232 - 643. Suppose -44*m + 30*m = -177*m - 18568 - 17129. Is m less than i?
False
Let o(m) = -4*m**2 - 2*m + 4. Let f be o(-4). Let t be (-2)/13 - (-4 - 928/f). Let l = -13 - t. Do 1/21 and l have the same value?
False
Let u = 4.192 + -3.99. Let z = u + -0.902. Which is smaller: z or 3?
z
Let d be 9 + (12927/62 - (-6)/4). Which is smaller: 206 or d?
206
Let d = -24.99931 + -0.00069. Is 1.1 greater than or equal to d?
True
Let y = -10643301/72488 + 21/4264. Which is smaller: -146 or y?
y
Let q = 528.13461 - -0.06539. Let k = q - 486. Let j = -42 + k. Which is bigger: j or 0.02?
j
Suppose -d + y + 4 = 0, 0 = d + d - 5*y - 20. Suppose -3*a - 15 + 57 = d. Suppose z + 13 = a. Which is bigger: 3/11 or z?
z
Let y = 2247.1 - 2246.3. Suppose -3*k + 12 = -6*k. Which is greater: k or y?
y
Let i = -353 + 352. Let y be i/1*0/(-10). Is 0 equal to y?
True
Let r(w) be the second derivative of -41*w**3/3 + 127*w**2 - 3*w + 30. Let c be r(3). Suppose 0 + 6 = 2*z - 4*m, -3*z = 3*m - 18. Is z smaller than c?
True
Let u = -1523357/38 - -40091. Do 2 and u have the same value?
False
Let b be 7 - (3 - -6) - -7. Suppose 323 = -b*j - 412. Is j less than or equal to -146?
True
Let n = 0.0353 + 50.0647. Let b = 52.1 + -44. Let g = b - n. Does g = 0.1?
False
Suppose 0 = 138*c + 112 - 250. Which is smaller: c or -12/1253?
-12/1253
Suppose d + 3*y = 1205, -9*d + 2390 = -7*d + 2*y. Which is smaller: 1189 or d?
1189
Let u be 1*(-1 + (-8)/(-2)) + 536/(-268). Which is bigger: -2/6277 or u?
u
Let j = -275 - -268.69. Let v = -4.08 - j. Which is greater: 0 or v?
v
Let c = 55 - 55.195. Let m = 1.125 + c. Let k = m - 0.63. Which is bigger: k or -0.6?
k
Let y = -253.4 + 241. Let a = y - -13.18. Which is greater: -1 or a?
a
Let k = -4615/138966 - -1/5244. Is 1 at most k?
False
Let k = 1 - 1. Let y be 532/(-43225)*5/18. Which is greater: y or k?
k
Let m = -1968/2849 - -52/77. Let t be 6 + (3 - 15/((-75)/(-40))). Which is bigger: t or m?
t
Let v = 30958 - 30955. Let r = -0.1 + 0. Let p = r + 0.3. Which is bigger: v or p?
v
Let x(m) be the first derivative of m**4/4 - 2*m**3 + 3*m**2 - 18*m + 8. Let c be x(6). Let d be 150/8 + (-3)/(-12). Is d greater than c?
True
Suppose -3*q + 2500*f - 2505*f - 52 = 0, f = 4*q - 15. Let d = 5880 + -4077. Let k = d + -214559/119. Is k < q?
True
Suppose -9793*u = -9802*u - 16416. Which is smaller: -1827 or u?
-1827
Let x = 247130216/5441 + -45420. Which is greater: x or 0?
0
Let w(t) = t**2 - 6. Let o be w(0). Let l be (-2 + 0)/(o/(-45)). Let x(i) = -2*i**3 - 42*i**2 - 209*i - 20. Let u be x(-8). Is l != u?
True
Suppose 3*o - 5*o + 4 = 0. Suppose 2*g = b, -o*b - g - g = 0. Suppose -6 = 3*p, -j - 2*p - 5 - 1 = b. Which is smaller: j or -16?
-16
Let a(q) = 2*q**2 + 45*q - 20. Let j be a(-23). Let z be 717/1195 - (2259/55)/j. Is z smaller than -13?
True
Let n be (545/218)/((-2)/44). Which is smaller: -618/11 or n?
-618/11
Suppose -4*w = -0*k - 2*k + 22, 2*w = 5*k - 15. Let q(x) = -61*x**2 - 4*x + 9. Let r be q(-4). Let s = 8581/9 + r. Which is greater: s or k?
s
Suppose 0 = 10*o + 2*o - 96. Suppose j - o = 2*u + 2*j, 5*u + 4*j = -23. Let z be (210/117)/(-7)*6/1. Which is bigger: z or u?
z
Let u be ((-32)/594)/(2*7/84). Let o = u - -3034/9999. Which is greater: -1 or o?
o
Let o(l) = -26*l + 1. Let j be o(-4). Let w = 93 - j. Which is bigger: w or -13?
w
Suppose 3*t = -a + 4, -2*t - 5*a + 1 = -4*a. Suppose -3*l - 4*x + 39 = 145, 5*x = -t*l - 107. Is -31 at most l?
False
Suppose 5*d + 4*u = 20 + 9, 4*d + 3*u - 24 = 0. Suppose 4*o - d*o + 40 = 0. Let z be 2/8*o/206. Which is smaller: z or -1?
-1
Let m be (-200)/(-945) - 3*6/63. Let s(i) = 3*i**3 - 18*i**2 + 14*i + 5. Let k be s(5). Is m equal to k?
False
Suppose -5*w + 1406 = 211. Let r = -228 + w. Suppose 2*b + 22 = 5*j - 34, 0 = 2*j - 2*b - 26. Which is smaller: r or j?
j
Suppose -2*h - 5*x - 4150 = -8*x, 0 = 42*h - 4*x + 87504. Do h and 0 have different values?
True
Let m = -0.8 - -1. Let z = 1614 - 