
Suppose -72 = -2*k - 2*k. Suppose 4*i - k = 14. Which is bigger: -2/3 or i?
i
Let f = -0.056 + 35.056. Do f and -1 have the same value?
False
Let r = -14849/8 + 1852. Let q = -21/8 - r. Which is smaller: q or 2?
q
Let i(f) = -f**3 - 12*f**2 + 1. Let t(w) = w**3 - 16*w**2 - 18*w + 5. Let p be t(17). Let x be i(p). Suppose 12 = 3*s - 0*s. Is s equal to x?
False
Let j(f) = -3*f**2 + f + 2. Let s be j(2). Let b be (-15)/20 + (-38)/s. Are b and 6 unequal?
True
Let v be -3*((-33)/9 - -2). Suppose v*x + 24 = x. Is -5 >= x?
True
Let v = 35 - 19. Let b = v - 15. Which is smaller: -1 or b?
-1
Suppose -2*h = 6*v - 2*v - 2, 3*h + 15 = 3*v. Let n = -9 - -9. Let o = n + -1. Which is greater: o or v?
v
Let g be (1 - 23) + (-8)/4. Let k be (42/g)/(2/8). Is -7 at least k?
True
Let k = 11 - 57/5. Suppose 6*o + 157 = 769. Let u = -712/7 + o. Is u > k?
True
Let v be (7/14)/(4/3). Which is bigger: v or -1?
v
Let c = -10 + 2. Let b = c - -8.8. Let s = 0.8 - b. Which is smaller: 0.05 or s?
s
Let n(d) = d**2 - 10*d + 12. Let i be n(8). Does -4 = i?
True
Suppose -24 = -3*v + 4*u - 5*u, 2*v - 5*u = 33. Let s be (-30)/(-15) + v/(-4). Which is greater: 0 or s?
0
Let r = -12 + 11.7. Is -2/7 at most r?
False
Let p be (-2)/(-4)*(-3 + 19). Suppose -7*h = -2*h - 2*b - p, 0 = 5*h + 2*b + 8. Which is smaller: 1/2 or h?
h
Let a be (-9)/(-2)*(0 - -2). Let s be (0/(a/(-3)))/(-3). Suppose -5*x - 6 - 4 = 0. Is s <= x?
False
Let y = -0.06 + -4.94. Is y at least 0.2?
False
Suppose -2*q = -115 - 13. Are -1 and q equal?
False
Let a be (-2*3)/(7 - 9). Suppose a*j = -5*i + 7, 4*i + 5*j - 15 = 1. Which is greater: i or -1/15?
-1/15
Suppose -113 - 115 = 3*q. Which is smaller: -75 or q?
q
Let j be 22/(-30) - 1/(-3). Let w be 6/21 + 44/(-7). Let u = 5 + w. Is j smaller than u?
False
Let w = 0.18 - 0.31. Let o = w + 0.1. Let u = -0.67 + o. Is -1 < u?
True
Let f = 7 - 10. Which is smaller: 2 or f?
f
Let d(t) = t**3 + 11*t**2 + t - 3. Let r be d(-11). Are -14 and r non-equal?
False
Let i = -4 - -4. Which is smaller: 2 or i?
i
Let r = 12 - 13. Let l(m) = m**3 - 6*m**2 + m - 8. Let y be l(6). Let d be (-7)/30 - y/6. Is r smaller than d?
True
Suppose -5*g + 28 = -4*k - 3*g, 0 = 2*k + 2*g + 8. Let n(y) = 7*y**2 - y + 5. Let m(a) = a**2 + a + 1. Let t(r) = k*m(r) + n(r). Let i be t(7). Does -1 = i?
True
Suppose 4*k + 6 - 78 = 0. Suppose -3*l - 3 = j + j, -5*j + k = -l. Is 1/11 greater than j?
False
Suppose 5*b = -3*h + 17, 0 = b - 5*b + 4*h + 20. Is 26/5 smaller than b?
False
Let v(g) = -3*g**2 + 1. Let n be v(3). Let q be (-8)/(-4) - n/(-16). Let m be (2 + 24/(-18))/(4/6). Do q and m have the same value?
False
Let p = -164/5 - -33. Let z = 0 + -2. Let m = -1.9 - z. Is m at least p?
False
Suppose 2*s = s - 3. Let o be (-8)/s - (-1)/3. Suppose o*z = -4*i - 2 + 1, 5*i = -4*z - 1. Do z and 1/3 have different values?
True
Let g = -11.92 + 12. Let p = g + -0.18. Does 6 = p?
False
Let y = -2 - 0. Let b = y - -4. Which is smaller: b or 3?
b
Let z = 0.26 + 0.34. Is z at most as big as -3?
False
Let a(j) = -j**2 - 11*j - 9. Let z be a(-10). Which is smaller: z or 0?
0
Suppose -3*u = -0*u - 21. Let v = 11 - u. Is v bigger than 2/3?
True
Let h be 2/(-6) + 13/3. Let x(a) = a**3 - 5*a**2 + 4*a + 5. Let r be x(h). Suppose -3*u + r*u - 2 = 0. Is 2 smaller than u?
False
Suppose -3*s + 7 - 31 = 0. Let x be (1/(-8))/(10/s). Which is bigger: -1 or x?
x
Let w be 2/(-4) + -3 + 4. Let k = -1.51 + 1.6. Is k < w?
True
Let b = 0.14 - -0.06. Is -6 >= b?
False
Let m(s) = s**3 + 6*s**2 - 7*s + 6. Let r be m(-7). Suppose 4*a = 16, -4*x + 5*a - r - 10 = 0. Which is greater: 2 or x?
2
Let t = -1583 + 77561/49. Are -1 and t unequal?
True
Let n be 0/(18/6 + -4). Which is smaller: 1/15 or n?
n
Let f be (-6)/36 + -1 + (-34)/(-30). Are f and 1 non-equal?
True
Let b = 1.8 + -1.85. Which is smaller: b or 1?
b
Suppose -2*y = 5*l, -3*l = -0*l - 5*y. Is 1/133 <= l?
False
Let i = -0.1 + 2.1. Let c be (-2)/3*6/(-8). Which is smaller: i or c?
c
Let x be (-26)/(-42) + (-4)/14. Let a be 20/(-100) + (-4)/5. Which is smaller: a or x?
a
Let b be 13/(325/90) + -4. Let d = 0.0095 + 4.0005. Let f = d - 0.01. Which is smaller: f or b?
b
Let t = 37/15 + -733/285. Which is bigger: t or -5?
t
Suppose -3*y + 7*t = 4*t - 33, 0 = 4*y + 5*t - 8. Let f = 59 + -58. Let c be 1 + y/(-4) + f. Which is smaller: c or 0?
0
Suppose 4*n - 13 + 33 = 0. Is n at most -6?
False
Let w(v) = -v**3 - 3*v**2 + 3*v - 3. Let l be w(-3). Let c be (-3)/5*8/l. Let j = 0.1 - 1.1. Which is smaller: c or j?
j
Suppose 5*v = 10, 66 - 1 = -3*w - 2*v. Is -23 at least as big as w?
True
Suppose 0 = -32*n - 6 + 6. Let j = 5 - 8. Is n at least as big as j?
True
Suppose 2*s + 34 = -42. Let b = -157/4 - s. Does b = -2?
False
Let t = -3 - -8. Suppose -4*n + 16 = -0*n. Are n and t nonequal?
True
Suppose -i + 4 - 13 = 0. Which is greater: i or -11?
i
Let y(b) = b**3 + 4*b**2 - 19*b - 3. Let t be y(-6). Are 39 and t non-equal?
False
Let i = -8 - -9. Let j = i - 0.8. Which is smaller: j or 0.3?
j
Let r = 3942/5 - 783. Is r at least as big as 4?
True
Let r be (-33)/121*(-10)/6. Is 1 at most as big as r?
False
Suppose -f = -4*t + 12, -2*f + 6*f + 9 = 3*t. Suppose 5*v - 28 = b, b + 3*v = -b + 9. Let p = -4 - b. Which is smaller: f or p?
p
Let s(j) = -j**3 + 9*j**2 - 2*j + 11. Let x be s(9). Let i = x + 8. Is -8 smaller than i?
True
Let k be -9*2*(-3)/(-30). Let j be 10/(-6) - (-30)/45. Which is smaller: k or j?
k
Let o = -13/8 + 85/72. Let x = 0.8 + -1. Is x less than or equal to o?
False
Let u = -2 - -5. Let j be ((-9)/u)/(-9)*2. Does j = -1?
False
Let r = -454 + 456.07. Let d = -0.4 - -0.33. Let g = d + r. Which is bigger: g or 0.1?
g
Let m(k) = k**3 - 12*k**2 - 14*k + 14. Let a(l) = 2*l**3 - 23*l**2 - 27*l + 27. Suppose 4*i = 24 + 20. Let f(t) = i*m(t) - 6*a(t). Let s be f(7). Is 0 <= s?
False
Let z = 0.2 - -4.8. Let m = z - 4. Let o = m + -1.1. Is o >= 6?
False
Let v = -2.9 - -3. Suppose l - 63 = -61. Which is smaller: v or l?
v
Let r be (-2)/(-52)*-4 + (-22)/26. Is r greater than -1?
False
Let z(n) = n**2 + 4*n - 1. Let a(u) = -u**3 + 5*u**2 + 4*u + 8. Let k be a(6). Let w be z(k). Is w <= -1?
True
Let y = 0.111 - -0.009. Are 1 and y non-equal?
True
Suppose 0 = 4*u + 5*u - 3*u. Which is greater: u or 16/11?
16/11
Let b = -3.5 + 4. Let t = b - 0.2. Which is bigger: t or 1?
1
Suppose 5*t + 3 = -5*f + 8, -4*f + 3*t - 10 = 0. Let w(d) = -2*d**2 + 3*d - 3. Let h be w(8). Let g = h - -747/7. Which is smaller: g or f?
f
Let z(g) = -5*g. Let u be z(1). Let b = 3 + u. Is -2 less than or equal to b?
True
Let g(o) = o**3 + 3*o**2 - 5*o - 1. Let i be g(-4). Suppose i*x = 7*x. Is -1/5 smaller than x?
True
Let m = -19 + -14. Is m greater than -33?
False
Let z = 2 + -1. Which is greater: z or 0.2?
z
Suppose 3 = -3*t, -t = i + 1 - 3. Let f = -3 + 4. Is f at most as big as i?
True
Let d(j) = j**3 - 2*j**2 - 4*j + 2. Let i be d(3). Let z be -1 - ((-6)/(-3) + i). Which is bigger: z or -2/7?
-2/7
Let s = 7 - 1. Let h(q) = -14*q + 3. Let p(f) = -5*f + 1. Let u(m) = s*h(m) - 17*p(m). Let g be u(-2). Which is greater: -2/17 or g?
-2/17
Let v = 15.1 + -10. Let p = v - 5. Is p > 2/11?
False
Let l be (-12)/8*(-4)/3. Suppose 3*p = -l*p + 40. Is 8 smaller than p?
False
Suppose -6*z = -10*z + 348. Let d be 9/z*2/(-3). Is d at least 1?
False
Let t = -0.05 + 0.1. Let x = t + -0.25. Let k(d) = d - 6. Let u be k(5). Which is bigger: u or x?
x
Let h be (-91)/(-52) - (3 + -1). Which is smaller: h or -0.13?
h
Let f = 122 - 128. Which is smaller: -3 or f?
f
Let o(i) = i**3 - 2*i**2 - 3*i - 4. Let w be o(3). Let h be (10 + w)*2/3. Let b be 0 - (-1 - 4/2). Are b and h equal?
False
Let o(n) = -n**2 - 6*n - 5. Let m be o(-4). Suppose -m*h + 3 = -6*h. Are -1 and h unequal?
False
Let h(m) = -m**3 - 10*m**2 + 8. Let b(q) = q - 18. Let a be b(8). Let i be h(a). Suppose r + i = -4*s, 2*s + 0*r = -5*r - 4. Which is bigger: 0 or s?
0
Let v = 1.79 - -0.21. Which is smaller: v or 0?
0
Let i = -0.18 - -0.1. Let u = i + -0.02. Which is bigger: u or 0.5?
0.5
Let y(m) = -m**3 - 5*m**2 - 3*m + 3. Let a be y(-4). Let z = -1 - a. Let n be (-5)/15 - 23/(-51). Is n greater than z?
True
Let o(m) = -m**2 - 11*m + 5. Let z be o(-5). Suppose -f - 10 = -2*f. Let h be 9/f - 14/z. Is -4 > h?
False
Suppose 3*w - 2*p = -2*w + 1, 3*w - 13 = -5*p. Let x be -2 +