 Suppose z = 3*k + 2*k. Is 2 > k?
False
Let i = 8 + -8.2. Let v = 0.11 + i. Let x = v + -0.01. Do x and 2 have different values?
True
Suppose 0 = -g - 7*g - 8. Suppose -3*j + 0*j - 6 = 0. Is j > g?
False
Let u = -26 + 56. Suppose 9 = 3*p, 2*p - u = 5*x + 26. Are x and -9 equal?
False
Suppose 5*n - 2 = -7. Which is bigger: n or -2?
n
Let u be 3/9 - 188/(-12). Is u equal to 16?
True
Let y be -1*1/(-1)*1. Let u = -0.9 - -1. Let n = u + 0. Are n and y non-equal?
True
Suppose 1 = -2*c + 5. Suppose 24 = -c*b - 2*b. Is -6 at most as big as b?
True
Suppose 0 = -5*t + 13*t + 200. Is -24 greater than or equal to t?
True
Let l be 3/7 - 76/28. Which is greater: -3 or l?
l
Suppose 8*i - 3*i = 5. Which is smaller: i or -3/16?
-3/16
Suppose 0 = -12*i + 11*i - o + 85, -o + 346 = 4*i. Which is smaller: i or 86?
86
Let x = -7 - -19. Suppose -x + 4 = 4*g. Let b be ((-11)/22)/(2/4). Is b equal to g?
False
Let p be (-2)/(-2) + 66/(-49). Let g = p - 4/49. Is g greater than 1?
False
Let w = 5 + -5. Suppose -40 = -w*n - 4*n - k, 4*k - 7 = n. Let y = n + -10. Are -2 and y equal?
False
Let t be -2*(-1 - 8/(-7)). Suppose 3*z - 2*z - 5 = 0. Suppose 21 = 2*x - z*r, -3*x - r = -4*r - 9. Are t and x equal?
False
Let n = -0.9 + 2.8. Let q = 2 - n. Let a = -2.1 + q. Is a smaller than -1?
True
Let h = 3/23 + -41/667. Is h less than or equal to 0?
False
Let l be ((-355)/(-120) + -3)*2. Let z = -2 - -3. Does l = z?
False
Let j(o) = o**3 - 5*o**2 - 6*o + 3. Let h be j(6). Is h > 4?
False
Let a = 121.1 + -121. Let b = -5 + 13. Which is bigger: b or a?
b
Let o be 2*(2 + -1)*-1. Let j be (-331 + 4)/((-8)/(-2)). Let m = j + 81. Is o > m?
False
Suppose 0 = -2*l - 273 + 97. Let j be 36/126 - l/(-14). Which is bigger: j or -7?
j
Suppose 0 = -4*l + 3*l + 12. Let j be (-11)/l - 1/(-4). Which is greater: -2/7 or j?
-2/7
Let i = 15 - 33. Suppose 0*f - 19 = f. Which is bigger: i or f?
i
Let l = -0.6 - -3.6. Let m = -2 + l. Is 0 < m?
True
Let u = 859/12 - 72. Is -1 >= u?
False
Let x(h) = -h**3 - 8*h**2 + 7*h + 2. Let o be x(-9). Suppose -2*y + d = 1 + 4, -3*d = y + o. Are -5 and y non-equal?
False
Let o = 1/6 + -2/3. Is o at least -2/9?
False
Let u be (-1)/((-3)/(3 - -6)). Let m be 70/(-75) + 1/u. Which is smaller: -0.1 or m?
m
Let m = -1074/5 + 214. Let y be 1/(-2) + (-2)/(-4). Is m not equal to y?
True
Suppose 3*h = 10 - 25. Let s be (4/(h + 3))/(-2). Which is smaller: s or 2?
s
Let f = -70 - -71. Which is greater: f or 2/11?
f
Suppose 6 = 4*n - 2. Let g(z) = 3*z + 13. Let u be g(-3). Which is smaller: u or n?
n
Suppose -t - t + 32 = 0. Suppose -5*g + 2*z = -1 - 0, g + 5*z + t = 0. Let a = -1/383 + 1541/3447. Is a != g?
True
Let c = -16 - -8. Let l be ((-3)/(-5))/(c/10). Let b(q) = q**3 + 5*q**2 - 7*q - 6. Let i be b(-6). Is i < l?
False
Let y = 10 + -5. Suppose -75 = y*l + 165. Let v = -191/4 - l. Which is smaller: 0 or v?
0
Let l = -1598/13 + 123. Which is smaller: -0.1 or l?
-0.1
Let f(y) = y**2 - 11*y + 4. Let w be f(11). Do 6 and w have different values?
True
Suppose 4*f + 25 = 1. Let w = f - -6. Is w at most as big as 0?
True
Let u(l) = -l - 5. Let q(a) = -a**3 + a**2 - 4. Let d be q(0). Let j be u(d). Let i be (6 - 5)/((-5)/15). Is i < j?
True
Suppose -8*f + 4*f - 44 = 0. Do -11 and f have the same value?
True
Let g be 697/323 - (3 - 1). Suppose -3*w + 2*w + 1 = 0. Is w != g?
True
Let w = 32 + -27. Is w less than or equal to 1?
False
Suppose 0 = 5*j - 2*s - 13, -3*s = 3*j - 6*s - 15. Let h be (-1 + (-18)/(-8))/2. Which is smaller: h or j?
h
Let t(o) = o**3 + 4*o**2 - 13*o - 7. Let m be t(-6). Which is smaller: 8 or m?
m
Let f be (-7 - -6) + (-5)/(-6)*2. Which is smaller: -0.09 or f?
-0.09
Suppose -n = n + 4*w + 40, -2*n = -3*w + 26. Let p be (48/20)/(6/(-40)). Is n <= p?
True
Let k = 1.9 + -2. Let h = k + -0.1. Suppose 0 = o - 0*o. Do o and h have different values?
True
Suppose -40 = 36*a - 41*a. Is -0.04 <= a?
True
Let h = -148571207/53175668 - -2/146087. Let p = h - -4/91. Which is smaller: -2 or p?
p
Let p(x) = -3*x**2 - 6*x + 28. Let o be p(-7). Which is smaller: o or -78?
-78
Let d be 27/(-18) - (0 + 1/2). Let i be (1 + -1)/(-1 + 2). Are i and d nonequal?
True
Let d be (7 + -9)/((-2)/4). Suppose -2*w - d = -0*w. Let s be ((-5)/50)/(w/(-5)). Is s at most as big as -1?
False
Suppose b = 3*b - 3*q + 240, 0 = -5*q - 10. Let j be b/(-9) - (-4)/12. Let s be 30/j + (-4)/2. Which is smaller: 1 or s?
s
Let t be (1/4)/((-24)/32). Are 0 and t non-equal?
True
Let o be (-18)/(-7) - ((-72)/21 - -3). Which is smaller: o or 1?
1
Let m be (3 + (-40)/14)*2. Which is greater: m or 0?
m
Let o(d) = d + 17. Let g be o(-12). Suppose 0 = 3*r + 2*r - 5*h, -3*r - 8 = g*h. Let k be (-26)/(-36) + 1/(-2). Which is bigger: r or k?
k
Let k be -3*(-4)/(-4*8). Which is greater: -1 or k?
k
Let g = 7 + -14. Let l = -14.9 + 15. Which is smaller: l or g?
g
Let r = -8 - -6. Let o be (-4)/30 + -2 - r. Let i(y) = y - 7. Let x be i(7). Is o != x?
True
Let g = -21.8 + 22. Let j be -2 + 2 + 1 - -8. Suppose -2*x - x - j = 0. Do x and g have different values?
True
Let z = 20.8 + -2.8. Let n = z + -17.3. Which is greater: 1 or n?
1
Let a(t) = t**3 + 9*t**2 - 2*t - 12. Let f be a(-9). Let d = f - 7. Are 2/13 and d equal?
False
Let w = -6498/5 - -58082/45. Which is smaller: w or -10?
-10
Let b = 94 + -847/9. Let q be ((-2)/1 - -2)/3. Are q and b nonequal?
True
Let u = -4 + 7. Let c be (0 - 2)/(4/(-32)). Suppose 5*q = 4 + c. Does q = u?
False
Let f = 11 + -10.9. Is 3.9 less than f?
False
Let u = 40.9 + -41. Is u bigger than 24?
False
Let d be ((-17244)/88)/9 - 1. Let c = d + 45/2. Is c at least as big as -0.1?
False
Suppose 0 = -2*o + 2*i - 10, 0 = -3*o + 3*i - 4*i + 1. Let x be -35*((-4)/10)/o. Does x = -15?
False
Let u(w) = -w**2 - 16*w - 25. Let s be u(-14). Is s greater than 3/2?
True
Let j = -1.02 + 0.02. Let d = j - -0.9. Is d smaller than -4?
False
Suppose 3*w + w = -64. Let l = w + 10. Which is greater: -5 or l?
-5
Suppose -2*g + g + 2 = 0. Suppose 2*d + 2*d - 19 = 5*r, 3*d = 2*r + g. Is -11/2 at most as big as r?
False
Let q be (-4 - (-42)/15)/1. Is -2 greater than q?
False
Let p = -3 - -3. Let y = 43 - 171/4. Is y equal to p?
False
Let y = 0.05 - 0.05. Let z = 8.99 + 0.01. Let a = z + -8.6. Is a smaller than y?
False
Suppose -c = -5*x + 12, 4*c - 6*x = -2*x. Let n = c - -1. Suppose 7 = -n*t + 27. Which is smaller: 4 or t?
4
Let w = 0.56 - 0.06. Let f = -7 + 7.6. Let v = f - w. Is v smaller than -2/5?
False
Let j(d) = d**2 - 4*d - 15. Let h be j(8). Is 16 at least as big as h?
False
Let m = -11 - -10. Let a be (21/(-14))/(m/(-2)). Which is smaller: -2 or a?
a
Let z = 67/4 + -35/2. Let q = z - -5/4. Let u = 279 + -281. Which is bigger: q or u?
q
Let d = -0.05 - 1.95. Is -3 > d?
False
Let q = -15 - -15.07. Let z = q - 0.67. Let x = z + 0.4. Which is greater: -1 or x?
x
Let r = 1423/63 - 155/7. Is r not equal to 1/4?
True
Let a = 0.001 - -1.999. Is a at most as big as -0.4?
False
Let u be (-3983)/(-42) - (-2)/12. Let j be u/(-140) + 2/8. Which is greater: -4 or j?
j
Suppose 0 = 6*c - 2*c. Which is bigger: -4/3 or c?
c
Let n(y) = y**2 - 7*y - 2. Let i be n(7). Are -2 and i equal?
True
Let q(w) = -2*w + 4. Let c be q(5). Let i = 4 + c. Are i and -1 nonequal?
True
Suppose 0 = 4*j + 1 + 11. Which is smaller: j or -25?
-25
Let c be 38*(28/10 - 3). Let b = -36/5 - c. Is 2 greater than b?
True
Let g(y) = y - 10. Let v be g(-7). Let c = v - -12. Which is bigger: -4 or c?
-4
Let t = 109.89 + -110. Is t smaller than 1/8?
True
Let r be 36/(-10) - 8/20. Is -6 > r?
False
Let m(n) = -2*n + 5. Let k be m(1). Which is bigger: k or 7?
7
Suppose -u + w = 6*w - 4, 0 = -u + w - 2. Is u less than -9/17?
True
Let o be 5/(-6) - 1/(-3). Which is smaller: 0 or o?
o
Let n = 17/44 + -587/836. Is n less than or equal to 1?
True
Let n = -51/2 + 25. Let l = 3 + -4. Which is greater: l or n?
n
Let x(s) = s**3 + 6*s**2 + 2*s + 7. Let u be x(-6). Let h be (-2)/u*(-10)/(-4). Which is bigger: h or -2?
h
Let a(g) = -g**3 - 5*g**2 + g + 3. Let z be a(-5). Let y be 0 - (9 - 0 - z). Is -11 >= y?
True
Let c be 18/(-15)*(-50)/3. Suppose -2*l + 0*z + 2*z + 2 = 0, 0 = -5*z - c. Are l and -4 nonequal?
True
Suppose -3*g + 35 = 62. Which is smaller: -7 or g?
g
Suppose 2*i + 1 + 1 = 0. Is i greater than -1/29?
False
Suppose 6*a = 3*a - 4*f + 25, 27 = 5*a + 3*f. 