j be t(4). Let c be (-4)/((-12)/(-33)) - -1. Let v = c + 21/2. Is j bigger than v?
False
Let t = -2 + 0. Let r be (-1 - t) + 2/(-1). Suppose 4 = -4*m - 0*m. Is m at least as big as r?
True
Let k = -15 + 13. Let j = -29 + 115/4. Is j != k?
True
Let u be 2*1/5*-25. Let t be (10/(-7))/(u/35). Which is smaller: 4 or t?
4
Let g be (-3 + (-11)/(-3))*3. Suppose t - 2 = -b, -g*t = b + 3*b - 4. Is b at most as big as -1/11?
False
Let a = -5 - -5.3. Let s = a + 0.7. Let q = -2 - -1. Is q at most as big as s?
True
Suppose 0*w = 2*w + 10. Let q = -7 - w. Let x be (-48)/(-16) - (-1 - 0)*-6. Which is bigger: x or q?
q
Suppose 4*h + 2*p = -58, 4*p - 31 = 5*h + 9. Is -13 <= h?
True
Suppose 0 = 5*m - 3*m - 2. Let t be m - 0 - 16/(-4). Suppose 0 = -t*f + 3*f. Is 1/8 > f?
True
Let o(i) = -4*i**2 - i + 2. Let f be o(-2). Let c be 2/(-3)*27/f. Suppose 4 = -3*t + 2*d - 0, -5*t + 4*d - 8 = 0. Which is greater: c or t?
c
Suppose -1 = 2*s - 41. Let f be (2 - -3)*8/s. Is f less than 1?
False
Suppose 0 = f, -6*f + 30 = -3*g - f. Let r be (6/g)/(3/2). Let a = 0.34 + -0.14. Which is smaller: a or r?
r
Let v = -4.947 - 0.053. Let n = 17 - 10. Let z = n + v. Is 2 < z?
False
Let j be (-1)/390*(-4)/1. Are -1 and j nonequal?
True
Let l = 133 + -134. Suppose s + 4*s + 15 = 0. Is l less than s?
False
Let t = 43338 + -80901. Let g = t - -2817169/75. Let p = g - -2/25. Is p greater than or equal to 0.3?
False
Let p = 6 + -5. Let i = p - 0.5. Let y = 0.5 + i. Is y at most as big as -2/3?
False
Let w = 16 - 12. Suppose -g + 5*m + 3 + 18 = 0, -5*m = 15. Which is smaller: w or g?
w
Suppose 3*d - 5 + 14 = 0. Let q be (4/(-70))/(d/45). Is q > 2?
False
Suppose 0 = -b + 6. Is 7 bigger than b?
True
Let f(o) = o**3 - 7*o**2 + 7*o - 3. Let h be f(6). Suppose -h*z = -4*r + 2, -7*z = -3*z - 4*r. Suppose -2*d - 2 = -3*d. Is z at least as big as d?
True
Let b = 59/14 - 9/2. Let k = 2/107 + -117/535. Is k bigger than b?
True
Let k = -1 + 1. Let h be 0 + 0 - k/(-3). Suppose -3*s - 5*r - 31 = h, -5*s - 2 + 17 = -5*r. Is s not equal to -2?
False
Let t = 0.11 + -0.01. Is t less than or equal to -5?
False
Let i(t) = 1. Let a(b) = -b + 12. Let h(m) = a(m) - i(m). Let l be h(10). Is 2 > l?
True
Let s = -36 - -26. Which is smaller: -11 or s?
-11
Let p be ((-252)/(-20))/(-3) - -4. Which is smaller: p or -0.3?
-0.3
Suppose -2*g = -10, -2*g + 5 = 3*u - 14. Suppose 0 = -3*t - 0*t + u. Is t less than -1/16?
False
Suppose -4*d + 48 = -4. Is d greater than or equal to 13?
True
Let b be (-5)/(-10)*(-2)/4. Which is smaller: 0.2 or b?
b
Suppose 3*c - 1 + 7 = 0, 4*q - 2 = -c. Is 2/13 at least q?
False
Suppose 10 = m - 2*k, 5*k + 36 - 13 = 2*m. Is m greater than -10?
True
Let g(z) = z**3 + 2*z**2 + 2*z + 1. Let b be g(-2). Let t = 2 + b. Let j = 0 + t. Is 3 at most j?
False
Let s = 23 + -23. Which is greater: 0.2 or s?
0.2
Suppose 5*p = -117 + 532. Let n = -247/3 + p. Let o(g) = g + 3. Let l be o(-3). Which is bigger: l or n?
n
Let n be (-3)/20 - 5/20. Let s = 15 - 10. Which is greater: s or n?
s
Let k = 13 - 8. Suppose k*x + 4 = 34. Which is smaller: x or 5?
5
Let f be 4 + (-3)/((-1335)/(-1790)). Is f > -1?
True
Let f be (6 - 0)*5/10. Suppose -5*h = -i - 14, 8 + 0 = f*h - i. Suppose h*p - 2 = 1. Which is smaller: p or 1/2?
1/2
Let g = 23.4 + -23. Is -1/4 bigger than g?
False
Let s = -21 - -23. Which is smaller: 3 or s?
s
Let j = -0.3 + 0.4. Let f be 2/3 + 20/(-8). Let u = 25/12 + f. Does j = u?
False
Let h = -7.7 - 0.8. Let t = h - -8. Do t and 2 have different values?
True
Let t be 50/16 - (3 + -1). Let u = t - 5/4. Which is smaller: -0.1 or u?
u
Suppose 5*p + 3 + 7 = s, -p - s = -4. Which is greater: 1/202 or p?
1/202
Let q(x) = -5*x + 1. Let l be q(1). Which is bigger: -14/5 or l?
-14/5
Let o = -0.08 - 6.92. Let i = -9 - o. Is -0.06 greater than i?
True
Let f = 1.051 - 0.011. Let w = f + -0.04. Let d be (-8)/(-30) + (-4)/6. Is w > d?
True
Let s be (-129)/9 - (-4)/(-6). Which is greater: s or -14?
-14
Let o be (-1)/2 + (-10)/(-4). Suppose -5*u = -13 - o. Suppose 3*b = 1 + 2. Do b and u have the same value?
False
Suppose c - 10 = 3*j, 0*j = -5*j - 2*c - 24. Let s be 8/(j/(-2)) + -2. Suppose 3*l = s*l - 2. Is l less than 0?
True
Let v = 18 - 10. Which is greater: 46/7 or v?
v
Let h = 0.88 - 0.08. Let k = 4.2 + h. Let z = -4.6 + k. Is z equal to 0.1?
False
Let p(o) = o**3 + 5*o**2 - 6*o + 3. Let m = -7 - -1. Let z be p(m). Let y be -1 + 0 + -1 + z. Is 2 equal to y?
False
Let q = -3 + 8. Suppose -q = -7*x + 2*x. Which is bigger: -1 or x?
x
Let o = -2/9 - -11/90. Let m = -2418/11 - -220. Which is smaller: m or o?
o
Let a be ((-4)/(-6))/(20/(-210)). Is -7 at most a?
True
Suppose -4 = 4*x - 12. Let k be -6*2/(-16)*4. Let r be k + 1*(-4 + 2). Is x bigger than r?
True
Let v be 2*(1 - 0 - -1). Let i be (-5)/(-100)*v/1. Does i = 0?
False
Let z be ((0 - 1)*0)/(2*1). Do 2/131 and z have different values?
True
Let o = -786 + 779.07. Let b = o + 7. Let q = 0.07 - b. Is q at least -1?
True
Suppose 3*p + 59 = q, -q - 3*p + 2 + 27 = 0. Which is smaller: q or 45?
q
Let y(g) = -g - 1. Let u be y(-1). Which is smaller: -3/23 or u?
-3/23
Let n = -8 - -14. Which is smaller: n or -1?
-1
Let r = 756 + -755. Let l = -0.3 + 1.3. Let h = l - 1.4. Is r at most h?
False
Let i = 73 + -69.9. Let x = 0.03 - -2.97. Let s = i - x. Which is greater: s or 4?
4
Suppose -f = -y + 11, 0*f + 3*f + y = -21. Let q = 7 + f. Is 2 less than or equal to q?
False
Suppose -l + 3 + 1 = 0. Let c be (-3)/(-36)*l*0. Is 0 at least c?
True
Suppose -3*m + 3 = c + 2, -c = 4*m. Let p be (c/(-8))/(-1 - 1). Which is smaller: p or 4?
p
Let d = 9.7 + -10. Which is smaller: -9 or d?
-9
Let a = 1616/1355 + 2/271. Let s be (-6)/4*(-8)/6. Which is smaller: a or s?
a
Let t(g) = -g - 7. Let j be t(-6). Let u(k) = 8*k**3 + 2*k**2 - 1. Let d be u(j). Is d equal to -6?
False
Suppose -v + 23 = 5*q, 16 - 47 = -5*v - 4*q. Are v and 3 nonequal?
False
Let c(p) = p + 9. Let u be c(-16). Do -6 and u have different values?
True
Let m = -1 - -9. Let q = -4 - m. Let r be (-9)/4 + (-3)/q. Is r <= 2/7?
True
Let r = 5 + 0. Suppose -12 = -m - 5. Which is bigger: m or r?
m
Let z = -3 + 1. Let t = 4 + z. Let f = -4 - -4. Is t greater than f?
True
Let p be (-16)/4 + 7 + 1. Let i(r) = -5*r**2. Let c be i(-1). Let h = c + p. Which is smaller: h or 1/4?
h
Let g be (-4)/((-6 - -2) + 5). Is g < -17/5?
True
Suppose 9 = 2*h - 15. Suppose 0*k = -3*k + h. Suppose k*l + l = 0. Does 1/4 = l?
False
Suppose -9 - 15 = -3*d. Is 8 equal to d?
True
Suppose 2 = 6*d - 4. Is d at least 3?
False
Suppose 4*o - 258 = s + 141, 4*o - 396 = 4*s. Suppose 4*a + 4*i = a + 65, 5*a + 5*i = o. Does a = 15?
True
Suppose -3 = 3*u - 36. Suppose 0 = -r + u + 1. Suppose 0*n = -2*q - 2*n, 3*q - n + r = 0. Is q greater than or equal to 2/7?
False
Let h = 1189/6 + -199. Which is bigger: 0 or h?
0
Let h(r) = -r**2 - 5*r. Let k be h(-4). Let o be (-12)/8 + (-27)/(-6). Suppose -o*n - 1 = 2*t - 10, 0 = 3*n - 3*t - 24. Is k < n?
True
Let b be (2/(-5))/(1/(-10)). Is 5 <= b?
False
Let u be (0 - 0)/(-13 + 16). Which is bigger: u or 2/13?
2/13
Let w(f) = -f**2 - 4*f - 1. Let s be w(-3). Let r = -12 - -18. Let k = -7 + r. Which is bigger: k or s?
s
Suppose -4*l - 6 = 3*k, -2*k - 2 = -k + 4*l. Let x = k - 0. Let i(o) = -o**3 + 5*o**2 - 6*o + 4. Let v be i(4). Which is smaller: x or v?
v
Let j = -12 - -11.7. Let c = -0.04 - -0.34. Let s = c + j. Is -0.4 smaller than s?
True
Let v(c) = -c**2 + 10*c - 1. Let l = -20 + 30. Let j be v(l). Suppose -o = -3*p + 10, 14 = -p - o - 3*o. Is p < j?
False
Let s be -8 - (-3 + -3 + 2)/(-2). Which is greater: -11 or s?
s
Suppose 4*x = 4*m + 36, -31 + 13 = -2*x + 3*m. Which is bigger: 8 or x?
x
Let g be 2/3 - 105/132. Let t be 0 - -1*4/33. Let s = t - g. Is 1 greater than s?
True
Let d = 3/55 - 5/11. Let a = -14.21 - -14. Let v = a + 0.01. Is d at most as big as v?
True
Let g = 67/12 - 3361/12. Let w = 1269/4 + g. Let k = w + -43. Is -1 < k?
True
Let p = -335/3 + 113. Let s = -14 - -19. Suppose s*n + 3*j + 0*j = 9, 9 = n + 3*j. Is n greater than p?
False
Let v = -179 + 181. Let h = 3/50 - 87/200. Which is bigger: h or v?
v
Let n be (1 - -5) + 3/(9/(-12)). Suppose -2*i - 3*i + 20 = 0. Is i greater than n?
True
Suppose 4 - 13 = -3*w. Which is greater: w or 2?
w
Suppose -15*k = -10*k + 15. Let i(w) = w**2 + 6*w - 2