 8 - j. Are 3 and o unequal?
True
Let s = -5 - -4.3. Let u = -0.3 + s. Let w = 1.41 + -1.43. Which is smaller: w or u?
u
Suppose -1 = 4*o - 5*m - 77, 5*o - 58 = -3*m. Let s be 270/20 - (-1 + 1). Which is bigger: s or o?
o
Let y = 89 + -89.76. Let i = -0.11 - y. Is i < 2?
True
Let w = -2109 - -390163/185. Which is smaller: 1 or w?
w
Let y = 0.23 - -30.77. Let j = 18 - y. Which is smaller: j or 1?
j
Let q(y) = 2*y**2 + 40*y + 39. Let l be q(-19). Which is bigger: 13/6 or l?
13/6
Let x(s) = -4*s - 4. Let k be x(-4). Let v be 265/(-30) + 2/k. Which is smaller: v or -8?
v
Let h = -0.61 + -0.24. Let j = h + 0.15. Let a = j + 1.7. Which is smaller: -21 or a?
-21
Suppose -4*u = -4*j + 64, -4*u + 30 - 94 = -j. Do -20 and u have different values?
True
Suppose -175 = -3*r + 17. Suppose r = -3*m + 5*b, m + 0*b = -4*b - 10. Is m bigger than -17?
False
Suppose 3*m = -3*m - 138. Let p = 23 + m. Is p > -1/2?
True
Let y be (-3)/36*921*2. Which is greater: y or -155?
y
Let u = 5.5 + 74.5. Which is bigger: u or 0.1?
u
Let b(r) = r**3 + 4*r**2 - 5*r - 1. Let x(z) = -2*z**2 + 3*z - 3. Let k be (-3 - -4) + 0 - -1. Let u be x(k). Let v be b(u). Which is greater: 2/35 or v?
2/35
Let d be (2 - -3) + -1 + -8 + 2. Suppose s = 3*s + 6. Let r = -5 - s. Is r at most d?
True
Suppose 2*k - 2 = 4*b - 8, 5*b + 2*k - 3 = 0. Is 6/127 at least as big as b?
False
Let d = 1273/3 - 425. Let s = -8.1 - 0.9. Which is smaller: s or d?
s
Suppose -35 = 2*o - 4*p + 33, 5*o - 5*p = -185. Let u be ((-100)/o)/((-1)/2). Suppose -q + 0*q = 6. Is q smaller than u?
True
Suppose 179*t - 182*t - 51 = 0. Is t less than or equal to -1/6?
True
Let d = -3 - -9. Let a = d - -12. Let q = a - 19. Is -2/19 <= q?
False
Let y be (10/(-4) - -2) + 81/2. Suppose 2*g + 28 = -a - 2*g, -5*a = -5*g + y. Is a at most as big as -13?
False
Let w = 0 - -5. Suppose 0 = -0*i + 2*i - w*n - 15, 2*i = -n - 15. Which is smaller: -34/9 or i?
i
Let f be ((-12)/(-28))/(3/2). Let x = 18 - 19.2. Let m = x + -13.8. Which is smaller: f or m?
m
Let n = -66.7 + 1.7. Let l = n + 64.9. Is -18 greater than l?
False
Let g = -3/50 - -187/1450. Suppose -10*j + 9*j + 1 = 2. Do j and g have different values?
True
Let w be 329/235*18/7. Is 5 < w?
False
Let b be 3/93*20/(-220). Is b at most as big as 0?
True
Let b be 2 + 15/(-25) + -1. Is -159 at most as big as b?
True
Let y be (-4)/(-14) - 8/(-8). Suppose 7*m = -m + 16. Which is smaller: y or m?
y
Let s be -12 - -9 - 631 - -4. Is -630 at most as big as s?
True
Suppose -28 = 8*p - p. Do p and -22/7 have the same value?
False
Let k(o) = -o**3 - 2*o - 7*o**2 - 83 + 6*o + 77. Let g be k(-8). Is g != 27?
True
Suppose -6*y + 15 = -y. Suppose -i = 2*k + 2*k + 2, -2*i = y*k - 1. Suppose b - 2 = -l, -i*b + 2*l + 17 = -b. Is b less than or equal to 7?
True
Let s(j) = 6*j - 4. Suppose 0 = -6*w + 3*w - 6. Let h be s(w). Let g be 4/(1 + 1) + -19. Is h >= g?
True
Let p = -746.4 - -744. Let n be (-6)/(-20)*(-8)/6. Which is bigger: n or p?
n
Suppose 0 = 2*i - f + 4*f - 11, 3*f - 23 = 4*i. Let l be (0 - (-3)/6)*i. Let s be (6 - 175/28) + (-5)/12. Is l != s?
True
Let p = -0.09 + -4.91. Let q be (-2)/5*1/2. Is q equal to p?
False
Let d = 1 + -0.9. Let u = 642 - 642.08. Which is smaller: u or d?
u
Let y = -20 - -12. Let c = y + 7.82. Let k = 0.02 - c. Is -3/7 bigger than k?
False
Let x = 212 - 210. Which is smaller: x or 6?
x
Let m(a) = -a**2 - 15*a + 39. Let d be m(-22). Which is smaller: 3 or d?
d
Let u = -20.3 - -10.1. Let s = u - -10. Let x = -7 + 7.7. Which is smaller: x or s?
s
Let g = -8 - -27. Let r = g + -26. Suppose 0 = -4*k + 3*l + 2*l - 51, 0 = 3*k + 4*l + 15. Do r and k have different values?
True
Suppose -3*a - 257 = -4*y, 5*a - 2*y - 3*y + 425 = 0. Which is smaller: a or -82?
a
Let t(r) = -2*r + 30. Let d be t(13). Suppose d*p - 2*z = -62 - 78, 3*z = 2*p + 66. Are p and 2/7 non-equal?
True
Suppose 3*g - 120 = -2*g. Let m be 5/35 - 320/(-14). Is m < g?
True
Suppose -5*w = -0*w + 3380. Let t = w - -16897/25. Which is smaller: t or -1?
-1
Let l be (28 - 1)*4/(-1). Let x = -109 - l. Which is smaller: 1/5 or x?
x
Suppose -28*i + 10274 = -6*i. Is i bigger than 467?
False
Let w = 0.35 - 7.35. Let n = w + 6.9. Which is greater: n or -1/28?
-1/28
Suppose -12*j + 1158 = -270. Are j and -1 unequal?
True
Let c = -371/2 - -184. Is 1/14 smaller than c?
False
Let l(o) = 17*o + 448. Let w be l(-9). Is w equal to 294?
False
Suppose -2*k - 2*t = 248, k + 186 = t + 62. Which is smaller: k or -368/3?
k
Let x(d) = d**3 - 2*d**2 + d + 2. Let v be x(2). Let r = -8.7 + 9. Let t = r - 1.3. Is v greater than t?
True
Let y(o) = -o**2 + 5*o - 5. Let m be y(3). Suppose p - 9 = -2*p, u - 16 = -5*p. Let j be u/3 - 4/(-12). Which is smaller: j or m?
j
Suppose 2*t = 5*t - 15, -5*t + 183 = -2*f. Which is bigger: -78 or f?
-78
Let d be 3/(9/(-12)) + 6. Let a be 5/(-385) + d/7. Suppose k - 3 = -4*l - 0, -3*l + 9 = 3*k. Which is bigger: a or l?
a
Let n be ((-19)/(19/2))/2. Is -9/70 < n?
False
Let t be (5 + (-2 - -3))*-15. Let i = 99 + t. Are 10 and i non-equal?
True
Let n be 1947/12980*(-8)/9. Suppose -i = 5*u - 3*i + 3, i = -3*u - 4. Is n at least as big as u?
True
Let i be (-2)/10 - 84/30. Let l = i - 4. Suppose -4*x + 10 = -2*x, -3*x - 9 = 4*j. Which is bigger: l or j?
j
Let m(n) = -n**3 - 3*n**2 - 8*n + 2. Let u be m(-4). Is u >= 48?
True
Let d be (-20)/(-4)*(0 + -4397). Let o be d/(-36190) + (-6)/14. Let s = o - 3/22. Is s greater than -1?
True
Let l = 22 - 21.05. Let k = -0.05 - l. Which is smaller: -4 or k?
-4
Let h(x) = 50*x + 12. Let o be h(12). Suppose 7*k + o = -60. Let i be (-5)/(-15) - (-14)/k. Which is smaller: 1 or i?
i
Let m = -26.7 - -27.3. Are -1 and m nonequal?
True
Let n = 208 - 208. Is n > 1/19?
False
Let j = -3.3 - -14.3. Let y = j - 11.03. Is 0.1 greater than y?
True
Let f = -7.4 + -1.6. Let k = -4.19 - -4.69. Is f smaller than k?
True
Let z be (-4899)/(-2691) + 0 + 5/(-3). Let a = 3.4 + -3.7. Which is smaller: a or z?
a
Let q be 24 + (9/6)/(12/(-32)). Suppose 0 = 4*r + 5*i + q, 11*r - 2*i = 9*r + 8. Is r greater than or equal to -9/10?
True
Let x = 320 + -361. Are -46 and x equal?
False
Let x(q) = -q**3 - 5*q**2 + 8*q + 13. Let t be x(-6). Let i be (-72)/(-30) - t - 0/(-1). Let s(n) = n**2 + 5*n + 2. Let z be s(-5). Which is greater: z or i?
z
Let d = 81 + 510. Is -0.1 != d?
True
Suppose 4780 - 52996 = 56*d. Which is smaller: d or -862?
-862
Suppose 0 = y + 2, 0 = -2*q - 0*q + 5*y + 414. Is 202 >= q?
True
Suppose 187*c + 308 = 215*c. Is c > 11?
False
Suppose -120 = -2*x - 3*x + 4*y, 0 = -2*x - 3*y + 48. Suppose -5*r + 9 = o, o - 6*o + x = 4*r. Is -1/22 at least as big as r?
False
Let n be (1 + -2)/(16/(-6)). Suppose -5*z - 1137 = 4*p - 211, 0 = 4*z + p + 743. Let t = z + 186. Is n <= t?
False
Suppose -46 - 154 = 8*a. Which is smaller: -28 or a?
-28
Let v = -125 - -139. Let y(h) be the second derivative of -3*h**5/20 - h**4/6 - h**2 - 8*h. Let p be y(-2). Does p = v?
True
Let i be (-48)/(-13) + 10/(-10)*3. Which is greater: i or 0?
i
Let j be -22*(-2)/(-56)*(-357)/102. Is j less than 3?
True
Suppose 4*c - 76 + 72 = 0. Which is bigger: 3/44 or c?
c
Let q = -115 - 218. Let b = -3681/11 - q. Are -2 and b nonequal?
True
Let c = 281 - 292. Which is greater: c or -17?
c
Let k = -713 + 717. Which is smaller: k or 3/118?
3/118
Let f = -208/9 + -107/90. Is -24 smaller than f?
False
Let r = -105 - -99. Which is smaller: -18 or r?
-18
Let w = -200.4 + 199. Which is smaller: w or -33?
-33
Let d(g) = g - 3. Suppose -5*x = f - 23, -5*f + x = -f + 13. Let q be d(f). Let s(v) = -v**3 - 6*v**2 - v + 7. Let m be s(q). Is -13 bigger than m?
False
Let m(c) = -c - 8. Let r be m(-7). Let n be r + 2/(-6)*0. Let i be ((-2)/n + -3)*0. Is i less than -1?
False
Let o be -6 + 7 + 12/(-8). Is 0.017 smaller than o?
False
Suppose 0 = 4*h - 9*h + 25. Let k = -1 + h. Suppose 5*c - k*j - 6 = 0, -c + 14 = 4*c + 4*j. Does 2 = c?
True
Suppose -6*j - j = 2*j. Is j at least as big as 2/1163?
False
Suppose -59 = -11*o - 15. Let i be ((-16)/o + -1)*(-2)/(-35). Is i < 0?
True
Let i = -627.08 - -673. Let m = 46 - i. Are 0 and m non-equal?
True
Let b = 35 - 2. Let n be (-8)/18*b/22. Are 0.02 and n equal?
False
Let k(p) = p**2 + 20*p + 35. Let b be k(-19). Let x = b + -15. Which is smaller: x or 1/38?
1/38
Let n = 2.1 + 1.2. Let q = -3.35 + n. Which