?
q
Let f = 217.9 + -46.9. Is -0.1 smaller than f?
True
Suppose 0*o = -4*o + 148. Let a = -3335 + 3373. Which is greater: o or a?
a
Suppose -111 = -5*n - 26. Let q = n + -14. Suppose -1 = 2*w - o, 4*w - 4*o = -q - 1. Which is greater: -3 or w?
w
Let g(z) = z**2 + 13*z - 5. Let l be g(-13). Let o = l + 4. Let j = o - -1. Is 8 at most j?
False
Suppose -5*m = 4*k - 99, -46 = -2*m + 5*k + 20. Is 1/8 greater than m?
False
Let g = -13.5 + 12. Let q = -28 + 25.6. Let t = q - g. Which is smaller: t or -2/7?
t
Let t(s) = -3*s**2 - 19*s - 28. Let x be t(-14). Is x > -350?
False
Let p be (1596/(-398) + 4)*(-5)/(-5). Which is smaller: p or 3?
p
Let q be (-2105)/4 - 1/(-4). Let n = -196 + 220. Let i be q/680 + n/32. Is 0 at most as big as i?
False
Let y = -910 + 601. Which is smaller: y or -311?
-311
Let l be 0/(-1) + -1 + 1. Suppose h + 2*v = -6, 5*h + 13 + 33 = -2*v. Are l and h unequal?
True
Suppose 10*y = -75 - 45. Let x be (-2)/(-4)*-9*y/738. Are x and 0 equal?
False
Let l = 2194 - 628. Is 1565 less than l?
True
Suppose -553 = n - w - 43, -n - 3*w - 502 = 0. Are n and -508 nonequal?
False
Suppose 0 = -11*u + 13*u - 132. Suppose z - u = -5*z. Which is bigger: z or 7?
z
Let v = -3/61 + 67/122. Which is smaller: -2 or v?
-2
Let b be (12/(-10))/(1/((-30)/9)). Suppose 2*k = -0*k - 5*w - 177, b*w = -2*k - 182. Is -101 greater than or equal to k?
True
Let x = -0.2 - -0.3. Let g = 0.9 + x. Let u be 64/(-40) + (1 - -1). Which is smaller: u or g?
u
Let s be -1556 + 2 + 3 + -4 + 3. Let q = 6161/4 + s. Which is bigger: -11 or q?
-11
Let l = -63 + 61. Let s be (-14 - -16)*(l + 1). Which is greater: -7/10 or s?
-7/10
Let y = -127 + 127.019. Let w = 5.019 - y. Which is smaller: w or -2?
-2
Let l be -4 + 2 - 9/(-6). Let x = -217 - -216. Which is smaller: l or x?
x
Let w = -2653 + 177757/67. Let f = -121/603 + w. Is 2/3 < f?
False
Let w = -562300/117 + 4806. Let c = 0 + -1. Does w = c?
False
Suppose -5*d + 5 = -10. Suppose -2*x = d*k - 7*x - 7, k - 3 = 2*x. Which is smaller: k or 0?
k
Let w(m) = -m**3 + 9*m**2 - 4*m - 2. Let y be w(8). Let s(v) = v**2 + 29. Let z be s(0). Which is bigger: z or y?
y
Suppose 2*j - m = -3*m + 14, -2*j + 2*m = -26. Let r be (2/90)/(5/j). Which is smaller: r or 1?
r
Let l = 127 + -128. Are 194 and l equal?
False
Let i = -0.05 - 0.05. Let d = 1881 + -1823. Which is greater: i or d?
d
Let c = 172/553 + -2/79. Let w be 9/204*4*6/(-9). Which is greater: c or w?
c
Let c = 301 + -583/2. Let p = -0.06 - -0.16. Which is smaller: p or c?
p
Let l be (2/(-17))/(988/(-266)). Are l and 0 equal?
False
Suppose -7190 - 1783 = -9*y. Are 997 and y unequal?
False
Let z be -440 + (-5 - (-4 - -39)/(-5)). Is z < -1?
True
Let b(n) = -2*n + 5. Let m be b(5). Let p be 1/3*(-78)/(-26). Let h be p/(-5) - 319/55. Which is smaller: m or h?
h
Let c = -363 + 364.2. Is -15 != c?
True
Let v be 3*32/36*40/(-3). Is -35 equal to v?
False
Suppose 5*u + 2*m = 2493, -m = -4*u + 3*m + 2000. Which is greater: 500 or u?
500
Let c be 3/(-60)*5*6*8. Which is greater: c or -0.4?
-0.4
Let p(o) = o - 4. Let j be p(-5). Let n be (2 + 1)*(-1)/3. Let w be (n - 0)*(-5 - -15). Which is greater: w or j?
j
Suppose -25*t - 30 = 20. Is t at most as big as -100?
False
Let l(m) = -3*m + 5. Let b be l(-2). Suppose j = b - 9. Is j at most 11?
True
Let a be ((-17)/(-51))/(3/(-9) + 0). Which is smaller: a or -11/6?
-11/6
Let q be -1 - (-7 + 2 - 1). Suppose -g + 11 = -2*x, 2*x - 6*x - 2 = 2*g. Suppose q*h - g*m + 45 = -0*h, -3*h = 3*m + 51. Which is greater: h or -14?
h
Suppose w = 6*w - 15. Let j = 42 - 37. Suppose j*r = 8*r - 3. Which is bigger: r or w?
w
Suppose -24*x + 21*x = -24. Let z be 100/x + 1/(-2). Is z at least as big as 12?
True
Suppose -t + 4*m = 13, -3*t + 2*m = -5*t + 14. Let r = 9161/5095 - -2/1019. Is r at least t?
False
Let g = -370 + 1473/4. Which is bigger: g or -0.1?
-0.1
Suppose -2*c - 3*c = 50. Suppose -78*s + 71*s - 70 = 0. Is s at least as big as c?
True
Let a = 78 - 72. Let w = a - 6. Which is smaller: w or -6/13?
-6/13
Let p = -0.3 + -1.2. Let d = 1.4 + p. Let x = d + 0.1. Which is smaller: -1 or x?
-1
Let q = -18 - -23. Suppose 4*s - 24 = 3*m, -4 = -s + q*s + 4*m. Let f be -4 + -3 + (s - 4). Which is smaller: f or -9?
-9
Suppose 222 + 198 = 10*n. Is n at most 42?
True
Let n = 0.42 + 0.54. Let k = -0.04 - n. Let q = -2.63 - -0.63. Which is smaller: k or q?
q
Let t = -1333 + 1334. Are t and 29 nonequal?
True
Suppose -s = -5*y - 8, 5*s = -10*y + 5*y + 10. Let j be (2 - 12)*y + 4. Let u = 48 - 34. Is j equal to u?
True
Suppose -l = -1 - 0. Let d = 19 + -22. Let n be (8/(-5))/(6/d). Which is smaller: n or l?
n
Let z = 36 + -24. Suppose z*p + 28 = 19*p. Which is smaller: p or 5?
p
Let h = 72.49 + -72. Let d = h - 0.49. Do d and 14 have the same value?
False
Let z = -1113 + 1130.82. Let y = z - 18. Let m = y - -0.58. Which is greater: -1/2 or m?
m
Suppose 10*h + 545 - 5 = 0. Let c be h/(-12)*(-2)/3. Is c less than 1?
True
Let p(l) = l**3 + 10*l**2 - 8*l + 8. Suppose 4*v + 6*i + 19 = i, 7 = -2*v - 3*i. Let j be p(v). Is -25 at most as big as j?
True
Let r = -901/6 + 177. Are r and 26 unequal?
True
Suppose -o - 44 = -2*f, -3*f + 152 = -4*o - f. Is -36 bigger than o?
False
Suppose 0 = -2*a - 4*b + 764, a + 3*b = 159 + 218. Is a <= 391?
False
Let r(v) = -18*v**3 - v - 2. Let o be r(-1). Suppose 2*y = 5*u - o, -2*u - 6 = -6*y + 2*y. Which is greater: -1 or y?
y
Suppose 2*l = -3*l + 110. Let f = -25 + l. Let w(n) = -n + 5. Let u be w(8). Is f smaller than u?
False
Suppose -i + 22 = -3*d, 2*i + 13 = -2*d + 33. Is i at least as big as 16?
False
Suppose -4*o = -o - 9. Let c be 2 - o - 5/(-3). Let z = -7.04 - -6.99. Which is smaller: z or c?
z
Let m = 4 + -2. Let l = -71 - -75. Suppose 0*v + 4 = -5*o + 2*v, m*v - 2 = l*o. Which is smaller: o or 0?
o
Suppose -4*p - 3*w = -5, -3*p + 7*w = 10*w. Are p and 0.06 equal?
False
Let f = -1 - -1.05. Suppose -9 = -w - 3*g, -12 = w - 6*w - 4*g. Which is bigger: w or f?
f
Let c = 0.05 - -0.07. Let a = -121.22 - -121. Let p = a + c. Is p < 1?
True
Let v be 5 + (-21)/4 - 442/(-1832). Which is greater: v or 1?
1
Suppose -4*t + 3*t + 2 = 0. Suppose 5*m = t*g + m, -3*g + m - 20 = 0. Let w = 1166.1 + -1166.2. Which is greater: g or w?
w
Let o = 0.004 - 0.024. Let b = -6.28 - -6. Let x = o + b. Do -1 and x have the same value?
False
Let c = 79/5 + -321/20. Which is bigger: c or 3/13?
3/13
Let p = 8 - 6. Suppose -8 = -2*z + 4. Let i(b) = -2*b + 10. Let x be i(z). Is x >= p?
False
Let v = 59/3 - 19. Let z = -45 + 2. Let x = z + 44. Which is greater: v or x?
x
Let y be 0 - 0 - (-756)/90. Which is greater: y or 2/7?
y
Let f(b) = -b**3 + b**2 + 3*b - 2. Let s be f(2). Let i(y) = -5*y - 2*y - 3 + 7*y - y. Let l be i(s). Are -4 and l non-equal?
True
Let u(m) = m**3 - 6*m**2 - 8*m + 8. Let g be u(7). Let p be (-1)/5 - 0/g. Let n = 50 - 50.1. Is p < n?
True
Let c = 402/7 - 14853/259. Is -1 >= c?
False
Let f = -0.331 - -0.031. Which is smaller: f or -2.6?
-2.6
Suppose 28 = -4*i - 4*x, -i - 5*x - 11 = -4*i. Let n(l) = -l - 4. Let s be n(-3). Do i and s have different values?
True
Suppose -v - 3 = h - 7, 5*v = -h + 28. Let l be 1*15 + 3/v*-6. Let o = 0.28 - 0.08. Which is smaller: l or o?
o
Suppose -2*b = -5*w - 73 - 5, 0 = 5*w - b + 74. Which is smaller: -0.11 or w?
w
Let m = -2 - -4. Suppose -15*n + 24 + 21 = 0. Which is smaller: m or n?
m
Suppose -3*c - 155 + 20 = 4*r, 4*r - c + 147 = 0. Let d = -32 - r. Suppose 61 = d*m - 5*v, -5*v - 25 = -0. Do 9 and m have different values?
False
Let j = 1599 - 1600. Which is smaller: -6/845 or j?
j
Let a(u) = -5*u**3 + 8*u**2 + 6*u - 17. Let b be a(-4). Which is smaller: b or 406?
406
Let f be 6 + -5 + (-3 - 16). Let r = 42 + -2. Let d be 2 + (-1)/(2/r). Does f = d?
True
Suppose -84 = -5*b + 171. Let j be b/(-5) - (-6)/30. Which is greater: -8 or j?
-8
Suppose -3*t + 5*q = 25, 2*t - 8*q = -9*q + 5. Is t smaller than 1/740?
True
Let d be (((-168)/160)/(-21))/((-4)/10). Which is greater: d or 0?
0
Let a(q) = -q**2 - 13*q + 3. Let o be a(-13). Suppose 2*v + 4*n + 25 = o, 5*n - 44 = 4*v. Which is greater: 0 or v?
0
Let c be (-422)/(-14) - (-40)/(-280). Do c and 1/2 have different values?
True
Let m = -211 + 389. Is 179 less than m?
False
Suppose 0 = 4*i - 46 + 14. Let a be 1/i*28/(-35). Is -0.1 not equal to a?
False
Suppose 5*k +