42)/(-10) + -2. Are u and 292 non-equal?
False
Let a be (-2)/3 + 572/(-33). Let j be 5/(5/(-18))*2/2. Is a at most j?
True
Suppose y + 140 = 4*j - 3*y, 3*j = -4*y + 140. Suppose 0 = 3*a - f + 256 - j, 4*a + 5*f = -288. Is a <= -71?
True
Let w = 28.5 + -29.5. Which is smaller: w or -113?
-113
Let u = -1113 + 1114. Is u at most 1/35?
False
Let i = 5.07 - 0.07. Let v = i + -4. Let k be (-6 - -9) + (-54)/20. Is v < k?
False
Let l = 109.43 - 110. Let i = 9.43 - l. Which is greater: i or -8?
i
Suppose 0 = 3*p + 2*p + 8*p. Which is smaller: p or -2/1395?
-2/1395
Let s = 156 + -156. Do s and -20 have the same value?
False
Let r be (-2*2614/48)/(7/21). Let k = 333 + r. Is 6 less than k?
True
Let u = 18 + -11. Suppose o + u = 8. Let t = 224 + -2014/9. Which is greater: o or t?
o
Let x be (-20)/(9720/(-9))*(-1)/6. Which is bigger: x or 0?
0
Let c = -392/11 + 14255/396. Do -1 and c have different values?
True
Suppose 4*o + 4 = -4*m, -6*m + 3*m - 3 = 2*o. Which is smaller: o or -30/73?
-30/73
Suppose 5*u - 2*u + 4*c + 85 = 0, -4*c = -2*u - 50. Let d be ((-6)/u)/(8/(-42)) + 1. Which is smaller: -1 or d?
-1
Suppose -5*i = -3*y - 21 - 13, 2*i + y - 7 = 0. Suppose 0 = -n + v - 2, n - i*v = -6. Let g = 5575/22 + -509/2. Is n not equal to g?
True
Suppose -5*x + 299 = 3*p, -2*p = 4*x + 15 - 255. Suppose 2*s = o - 25, 21 - x = 5*s + 2*o. Is -11 at least s?
False
Let u(t) = -t**3 - 17*t**2 + 4. Let c be u(-17). Suppose 7*w - 6 = c*w. Suppose -5*l + 9 = 4*x, -2*l + 5*x = w*x + 1. Which is greater: l or -2/9?
l
Let f be 1 + 2/(1 + -3). Suppose 0 = -4*y - f - 20. Suppose 88 = -12*b + 16. Is b at most y?
True
Let f = 24 - 37. Suppose -92 = -8*k + 76. Let x = f + k. Which is smaller: 7 or x?
7
Suppose 0 = 2*b + 5*j - 91, -2*b + 44 = -5*j - 57. Suppose -127 = 7*n + b. Is -24 at most n?
False
Suppose -2*j - 5 = 2*h + 1, j = -2*h - 3. Is -6/59 >= h?
False
Suppose -75 = 5*x - 0*x. Let i be (40/75)/((-24)/x + -2). Which is smaller: i or -1?
i
Let j(u) = u**3 + 6*u**2 - 2*u + 34. Let b be j(-7). Let l = 150879/85 + -1775. Is l less than or equal to b?
False
Suppose 0 = p + 3*p + 12. Let u be -50 + 1 + (p - -4). Let f be 9*4/u*-4. Is 3 bigger than f?
False
Let q = 44.4 + -44. Let v = 28.6 + q. Is v at most 0?
False
Suppose -3*m - 91 = -2*t + 2*m, -t = -3*m - 45. Let d be t/108*(0 - (-3)/(-16)). Is d equal to 1?
False
Let m be (12 - 2)/2 - -2. Let s = -23 - -22.76. Let u = 0.34 + s. Does u = m?
False
Let p = 72 - 143/2. Is p greater than or equal to 23?
False
Suppose 14 = 5*y - 6. Suppose y*n + 140 = -0*n. Suppose 5*f + 142 = -38. Is n at most as big as f?
False
Let j = -45.4 - -45.3. Is j != 7?
True
Let j = 1888 + -1288. Which is smaller: j or 599?
599
Let d = 435 - 295. Which is greater: -1 or d?
d
Suppose -173 = n - 5*l, 4*n - 10*l + 14*l + 764 = 0. Which is greater: -187 or n?
-187
Suppose -p - 12*d = -13*d + 3, -3*p + 3 = d. Which is greater: p or -206?
p
Let q = 2089 + -2090. Which is greater: -2/23 or q?
-2/23
Let s be 4 + 4*-2 + 6. Suppose 4*a = w - 17, 4 = s*w - 2*a + 4*a. Suppose w*c + 6 = 2*c. Is -7/3 greater than or equal to c?
False
Suppose 0*z = 3*z + 3*d + 3, 4*d = 2*z - 4. Is -117 < z?
True
Let i = -309 + 309. Let s(v) = v + 6. Let b be s(0). Is i >= b?
False
Let f = -1.3054 - -0.3054. Let q = -9 + 15. Is q equal to f?
False
Let v(r) = r**2 - 18*r + 43. Let w be v(15). Let i = w - 118. Which is smaller: -1/3 or i?
i
Suppose 0 = 3*s + 6, m + 4*s - 102 = 60. Suppose 0 = 6*r + 64 + m. Is r greater than or equal to 0.1?
False
Let p be ((-1)/((-2)/(-4)))/((-2)/(-8)). Let b be (-77)/(-140) + -1 + (-6)/p. Which is smaller: b or 1?
b
Let y = -10.16 - -0.16. Let c = 10.2 + y. Let v be ((-95)/(-21))/5 + -1. Which is bigger: v or c?
c
Let t = -769137/25 + 30773. Is t != 9?
True
Let a = 5.89 + -4.39. Do 0 and a have the same value?
False
Let c = 273 - 227. Is c equal to 45?
False
Let d = 0.85 + 1. Let s = 1.91 + -0.21. Let x = s - d. Is x < -2/5?
False
Suppose -345 = 10*d + 25. Let j = -39 - d. Which is smaller: j or -18?
-18
Let m = 214 + 17. Let r be (m/(-117) + 2)*2. Let t be (-7)/9 + 2/(-9). Which is greater: t or r?
r
Let m(h) = h**2 - 12*h + 6. Let q be m(11). Let f be (-4)/q*20/8. Let y be ((-20)/75)/(f/5). Is 3 greater than or equal to y?
True
Let c(x) = x**3 + 16*x**2 - 38*x + 17. Let p be c(-18). Which is greater: 52 or p?
p
Let y be 58/(-145)*(-5)/2. Which is bigger: y or 2/31?
y
Let t be ((-1 - -2) + 4 + -5)/2. Let p(c) = c + 4. Let d be p(-6). Let n be 0 - (-9)/(-30)*d. Which is smaller: t or n?
t
Suppose 10 = y - 3*y. Let h(t) = -t**2 + 1. Let i(w) = -w**3 - 4*w + 5. Let k(j) = 6*h(j) + i(j). Let c be k(y). Which is bigger: 14/3 or c?
c
Let a be (-9 - -5) + 48 - 1. Which is smaller: -0.9 or a?
-0.9
Let q = -622/12155 - -7/130. Is q greater than or equal to -1?
True
Let c = 1 + -5. Let v be (-42)/399 - (0 + 130/(-152)). Is v less than c?
False
Let g(y) = -y**2 + 4*y + 5. Let x be g(5). Let b be 2520/294*56/6. Let h = -558/7 + b. Which is smaller: x or h?
x
Let p = -46/49 - 66/49. Let g = p - -76/21. Suppose 5*z = 5*i + 10, -3*i - 1 = z - i. Is z greater than or equal to g?
False
Let m(j) = -3*j - 5. Let u be m(-4). Suppose 5*c = u - 2. Let p be -3*c + 9 + -14. Which is smaller: p or -9?
-9
Suppose -4*m = -0*g + 3*g - 12, -3*m = 0. Suppose 2*v = -g*v. Let u = -70 + 419/6. Is v at least as big as u?
True
Let y = 231.3 - 231. Is y equal to -13/7?
False
Suppose 0 = v - 11 + 10. Let b be v/(-2)*(-3 - 48/(-10)). Do 0 and b have different values?
True
Let l be (30/125)/(12/(-40)). Suppose 2*x = 4*x - 8. Suppose 3*z = 1 - 10, 4*g + x*z = -16. Is l > g?
True
Let y = -10117/2 - -4846. Which is greater: y or -212?
-212
Suppose 0 = -12*x + x + 198. Let u be (22/(-168) - (-3)/x)*-1. Which is smaller: 1 or u?
u
Let m(v) be the second derivative of -v**3/6 - v**2/2 + 4*v. Let t(y) = -7*y + 2. Let g(l) = 6*m(l) - t(l). Let p be g(8). Is p < -3/2?
False
Let z = -2961 - -648464/219. Is z > 0?
True
Let i(x) = -x - 2. Let u be i(-4). Let c = -8.3 - 9.2. Let a = -17 - c. Which is smaller: u or a?
a
Suppose -4*x - 12 + 0 = 0. Let o be (-2)/(-3)*8/(-16)*123. Let r = 38 + o. Is r <= x?
True
Let h = -26 - -28.6. Let q = 2.7 - h. Is q < 2/3?
True
Suppose 2*i = h - 958 - 572, -5*h + i + 7623 = 0. Which is bigger: 1523 or h?
h
Let l = -6176/15 - -1234/3. Do l and -836 have different values?
True
Suppose 0*k = 4*z - 2*k - 70, 4*z = 5*k + 79. Suppose 135 = 13*l - 86. Is l > z?
True
Let d = 49 + -37. Suppose -24 = -2*j + 2*u, -3*j + 5*u + 18 = -d. Is 17 <= j?
False
Let p = -8 - -7.8. Let c = -1639/4 + 410. Is p greater than or equal to c?
False
Let y = 37 - 25. Let w = y - 9. Let u be (-3)/(-2)*2/w. Is 2 bigger than u?
True
Suppose 1166 = -5*f + 446. Are -147 and f equal?
False
Suppose k + 14 = 4*u, -2*u + 15 = 3*u. Let j = -58 + 130. Let h = -361/5 + j. Is k greater than or equal to h?
False
Let r = -50 + 26. Let h = -24.1 - r. Suppose -2*x + p + 2 = 3*p, -5*x - 3*p = -9. Are x and h equal?
False
Let w(v) = -6*v - 3. Let q be w(7). Let h be 4/(4*(-4)/(-16)) + -50. Which is greater: h or q?
q
Let y = 10 - 10. Suppose -8*h + 3*h = y. Let m = h + -11. Which is smaller: -12 or m?
-12
Let p(u) = -2*u - 2. Suppose 13 = 2*t - c, -4*c - 20 = -0*c. Let y be p(t). Let k be (-5)/((-225)/6)*-65. Is k less than y?
False
Let d = 15091/984 + -1/328. Let m be -102*10/(-63) + -1. Let k = d - m. Is 0 less than or equal to k?
True
Let y = 4.3 - -0.7. Let g = y + -5. Let h = 1 + g. Is h at least -1?
True
Let t = 8 - 7. Suppose -4*f + t = 9. Let w(v) = v**3 - 10*v**2 + 10*v - 9. Let z be w(9). Is z at least as big as f?
True
Let g = 1.756 + 1396.244. Which is bigger: -1 or g?
g
Let i(r) = r**2 + 24*r + 5. Let w be i(-24). Let d be -1 + 1/1 + 1. Let y(v) = 8*v**2 - 1. Let c be y(d). Which is smaller: c or w?
w
Let s be 2 + (0 + -3 - -5). Suppose 0 = -m - s*m. Suppose k = -m*k - u, 2*k - u - 6 = 0. Is 4 at least as big as k?
True
Suppose h = -4, -5*g + 6*h - h = -50. Let b = 18 - g. Let c = b + -12. Is c smaller than -1/8?
False
Let y(g) = g**2 - 33*g - 61. Let w be y(35). Is 25/3 != w?
True
Suppose 5*u = -0*l - l + 10, -3*u - 11 = 4*l. Let q = -94206/11 + 8566. Which is greater: q or u?
u
Let y be 1*(1 - -2) - -2. Suppose y*c + 128 = 418. Suppose -3*p = 4*o - c, -76 = -p - 3*p - 5*o. Which is greater: 0 or 