t o = -16.974 + 4227.974. Which is greater: 0.2 or o?
o
Suppose -369 - 5 = -2*i. Let f = -14 + i. Suppose -z - 4*z + 331 = -4*u, 5*z = -2*u - f. Is u at most -84?
True
Let h = -0.4 + 0.5. Let p = 393 - 343. Let m = p + -65. Which is smaller: m or h?
m
Suppose -4*z + 162*d - 495 = 165*d, 4*z + 5*d + 497 = 0. Which is bigger: -138 or z?
z
Let k = 19207 - 19434. Are k and -225 unequal?
True
Suppose 0 = 5*g + h + 1140, 2*g + 233 = -2*h - 223. Let q = g - -207. Suppose 42 = -0*x - 2*x. Is q < x?
False
Suppose 0 = 4*i - d - 3893, -4864 = -5*i + 39*d - 37*d. Are 974 and i unequal?
False
Suppose 14*l = 20*l. Suppose -14*k + 28*k = -294. Is l bigger than k?
True
Let s be 0 + -5 + (24041/5046 - (-4)/58). Which is bigger: 93 or s?
93
Let h(v) = v**2 - v - 78. Let t be h(0). Let x be (-3)/((-32)/t - (-4)/(-12)). Which is bigger: x or -40?
x
Let p(k) = 2936 - 22*k + 2854 - 5942. Let u be p(-7). Let n = 1/122 - -727/610. Is n less than u?
True
Let p = 3.67 + -101.67. Let y = -97 - p. Which is bigger: 10.2 or y?
10.2
Let f = 258 - 396. Let j = 5440 - 5438. Which is smaller: j or f?
f
Suppose -8*y - 19 = -35. Suppose y = -6*r + 8*r. Which is greater: r or -23?
r
Suppose -48 = -73*g + 71*g. Let o be 3/(-2)*g/20232. Is o > 1?
False
Suppose 19*m - 30 = 4*m. Suppose 0 = -4*x + m*a + 1 - 5, 0 = -3*x - a - 3. Which is smaller: x or -20/21?
x
Suppose 70*i - 20*i + 76*i = 18396. Do -2 and i have the same value?
False
Let x be -9 + -2 - (1 + 3). Let c(g) = -3*g + 59. Let w be c(x). Is w equal to 102?
False
Suppose 3*j - 39 = -3*w, 5*j + 2*w = -w + 63. Suppose -j*c + 3*c - 54 = 0. Let k be -4 - -5 - -2 - c. Is 8 bigger than k?
False
Suppose 4*o = -45 - 135. Let p = 20 + -20. Suppose -19*h + 12*h - 308 = p. Do h and o have different values?
True
Let a = 648 + -1084. Let s = 542 + a. Which is smaller: s or -0.1?
-0.1
Let g be (-112 + 115 - (-28)/(-6))/((-6)/4). Which is greater: g or 77?
77
Suppose 0 = -22*c + 29*c + 7. Let m be 11752/408 - c/(-3). Let f = -454/17 + m. Which is greater: f or 3?
3
Let r be 1 + (-13)/((-61269)/(-4722)). Let u = r + -2869/142961. Which is smaller: u or 1?
u
Let x = -14.049 - -13.979. Let c = 0 + 0.2. Let a = 0.1 - c. Is x greater than a?
True
Let x be (9 + 0)/(42/(-308)). Let b be (-5 - -1) + x/(-2). Is 29 less than b?
False
Let z = 1191294711/124012 + -67244/7. Let l = 34835/10576452 + z. Which is smaller: l or 1?
l
Suppose 42322 - 95231 - 125183 = 194*j. Is j less than 2/5?
True
Let z(o) = 26*o**2 - 26*o + 71. Let q be z(3). Let t = q + -225. Which is smaller: t or 7/11?
7/11
Let h = 1.2271 + -0.2271. Which is smaller: h or 4/17?
4/17
Let j be 535 + (-15 + -102)/9. Is j <= 522?
True
Let a(t) = 115*t - 5853. Let g be a(50). Is -1766/17 greater than g?
False
Let j = -67.056 + 0.156. Let l = 67 + j. Which is greater: l or 2/53?
l
Let d = -21092 - -14874. Is 0.1 at least as big as d?
True
Suppose -3*x = -3*o - 6, -5*x + 4 = 8*o - 10*o. Suppose 3*c - v = 5*c + 23, 0 = -3*c - 3*v - 39. Let u be (84/c)/((-2)/10). Are x and u non-equal?
True
Let v be ((-1799127)/(-7051))/(-17) + 15. Does v = 1?
False
Let r be 3/((-17 - -17) + 6/(-802)). Which is greater: r or -395?
-395
Let m = -25084503/378074 + 5/16438. Let w = 66 + m. Let i(c) = 2*c**2 - 2*c + 1. Let v be i(1). Which is greater: w or v?
v
Let u(r) = -2*r**2 + 173*r + 87. Let w be u(0). Is -14 smaller than w?
True
Let p(u) = -2*u**3 + 3*u**2 - 2. Let k be p(-1). Let b be 2/k + (-100)/105. Which is smaller: 29 or b?
b
Let o = 196 + -218. Let l = -0.12 + -0.48. Let y = l - -1.6. Do y and o have the same value?
False
Let p = -19 - -18.95. Let c = p - -0.1. Let g = c + -0.15. Which is bigger: 2.8 or g?
2.8
Suppose 2*z = 1 + 3. Let v be (-2960)/(-96) + z/12. Suppose 71 + v = 3*u. Which is smaller: 35 or u?
u
Let i = -692 + 693. Let q be (-4*((-6)/28)/3)/i. Is q at most 1/118?
False
Let c be (-1017)/226*288/(-183). Which is greater: 6 or c?
c
Let k = -2350911/674 + 3488. Is k >= -1?
True
Let b = 2/49 - -137/245. Suppose -2*v - 30 = -34. Suppose 3*u - q = q, 3*u = -v*q. Which is bigger: b or u?
b
Suppose 2*a + 5*d + 63 + 77 = 0, d - 4 = 0. Which is bigger: a or -7/4?
-7/4
Let p(f) = 15*f + 3. Let t(r) = r - 1. Let j be t(2). Let a be p(j). Let m = -6/43 - -1517/86. Which is greater: a or m?
a
Let d = -219 + 196. Let t be 432/(-20) + 2/(-5). Is d less than or equal to t?
True
Let x = 28538 + -28539. Is x at most as big as 17/976?
True
Let b = 2.245 - -0.755. Which is smaller: b or 0.043?
0.043
Let j = 898795/8 + -112504. Which is smaller: j or -154?
j
Let q = 2238064 - 179047517/80. Let j = q + 13/80. Which is greater: -31 or j?
j
Let x(o) be the first derivative of -5*o**3/3 - 2*o**2 + 6*o - 57. Let j be x(2). Do -1 and j have different values?
True
Suppose 57*g - 2365 - 464 = 8172. Are g and -0.03 nonequal?
True
Let f(v) = 3*v**2 - 105*v - 44. Let b be f(36). Let q = b - 1855/29. Is q > -2?
True
Let o = 7 + -10. Suppose -2*r = -2*f - 10, -2*r + f + 2 + 8 = 0. Let l be o/((-3)/1)*(10 - r). Which is greater: 50/13 or l?
l
Suppose 0 = -2*k + 5*u + 61, 111*u = -k + 114*u + 29. Which is bigger: k or 42?
42
Let f = -1/69 + -1447/138. Suppose 144 = -106*r - 1089 + 173. Which is smaller: r or f?
f
Suppose 2*k = -8, -5*x - 178 = -5*k + 127. Let q be x/25*1 - (-6)/10. Let s be 784/(-200) + 4/1. Which is bigger: q or s?
s
Let z(b) = -b**2 - 12*b + 2. Let i be z(-12). Let l = -75 + 78. Is l less than i?
False
Let k = -180 + 291. Let i = k - 443/4. Is i at most as big as -0.139?
False
Let g(h) = -h**3 - 7*h**2 - 6*h + 6. Let a be g(-6). Suppose a*p = x + p - 145, 2*x = p + 254. Which is bigger: x or 122?
x
Let o = -251 + 644. Let j = o + -358. Is j >= 0?
True
Let g = 29.501 + -29.601. Which is smaller: -0.0551 or g?
g
Let l = -0.07 - -4.07. Let m = l + -5. Let q = -41 + 59. Is q greater than m?
True
Suppose -115*u - 232504 - 36136 = 0. Are -2337 and u unequal?
True
Let h(v) = -v**3 - 10*v**2 - 12*v - 10. Let g be h(-9). Let y be g*((-24)/(-9) + -3). Let u = 1460 - 1467. Is u bigger than y?
False
Let t(s) = 2*s + s**2 - 7*s - 6*s - 17 + 5. Let b be t(12). Is b greater than -3/35?
True
Let v = -29 + -59. Suppose -t - 204 = 2*s + t, 5*s = 2*t - 496. Let n = v - s. Are n and 10 unequal?
True
Let t be 7055/9 - (-800)/720. Is t bigger than 780?
True
Suppose -17*l = -53*l - 1224. Let b be (-6)/(-21) - 15/(-21). Let a be -3 - (b - (6 + -3)). Is l < a?
True
Let c be (-2610)/580 - (1072750/(-47676))/5. Which is smaller: c or 0?
0
Let j be (-194)/(-6) + 3 + 21/(-9). Let c = j - 27. Suppose -c*i - 77 = -13*i. Which is smaller: 13 or i?
i
Let o be (-40)/(-160) - 21/(-4) - 5. Which is greater: o or 2538?
2538
Let l = -4.47 - -4.47. Let m be (-8)/(-6)*27/2. Let q be (-368)/1332 - (-4)/m. Is l at most as big as q?
False
Suppose 5 = 4*z + 5*t, 2*t - 5 = z - 3*t. Suppose z = 17*p - 2 + 2. Let n = 430 + -17632/41. Which is smaller: n or p?
n
Let p be 1 - 11 - ((-562600)/300)/194. Let w = -149 - -312. Is w <= p?
False
Let x be (4 - 2)/16 - 615325/(-120). Let k = x - 5210. Which is smaller: k or -81?
k
Let o = 101.44 - 104.44. Which is bigger: -4263 or o?
o
Let n = -136 + 55. Let h = n + 64. Suppose -a = p + 15, p + p = 8. Which is bigger: a or h?
h
Let p = 7.4929 - -0.7071. Let u = 0.016 - -8.184. Let s = u - p. Which is bigger: -0.34 or s?
s
Let f = 59472 + -655804/11. Which is smaller: 1 or f?
f
Let q = 465.8 + -441. Let a = q + -23.8. Which is smaller: -29 or a?
-29
Let s be (10/(-15))/(2/(-54)). Let d be 6/(-36)*0 - (-4)/s. Which is greater: -3/23 or d?
d
Let z = -179 - -107. Let r = z + -1. Let j = r + 74.3. Is j != 0.4?
True
Let l be 2/9 - 6/27. Let w = 37 - -33. Let r = w - 703/10. Is r not equal to l?
True
Let n be (3 - 2)*1 + 162/(-9) + -3049. Is n greater than -3068?
True
Let q(n) = 50*n + 160. Let u be q(-9). Let a = -278 - u. Does 6 = a?
False
Suppose -6*n - 270 = -84. Let l = 36 - n. Suppose 9*j - l - 23 = 0. Is 9 > j?
False
Let d = -31.983393 + 0.020393. Let l = d - -32. Is 0.1 <= l?
False
Let u(l) = -l**3 + 7*l**2 + 16*l - 10. Let a be u(5). Which is greater: 2/11 or a?
a
Let f(s) = 6*s + 65. Let j be f(19). Let a = j + -37. Is 143 >= a?
True
Let m = -234 + 345. Let b be 12/8*(-4)/m. Suppose 269*u = 148 - 8 + 129. Which is smaller: u or b?
b
Let q be (-14)/4*(-52)/91. Suppose q*f + 65 = 15*f. Let w be ((3 - f)/4)