 equal to y?
True
Let b = 0.7 - -0.3. Let j = -0.014 + 0.014. Let s = b + j. Which is bigger: -0.03 or s?
s
Suppose 4*z - 5*c = -0*z + 41, -z + 2*c = -14. Let l = -51 - -51. Do l and z have different values?
True
Let k = 0.17 + -0.24. Let f = k + -0.13. Which is greater: 2/5 or f?
2/5
Let g be 1*(-2 - -8) + -1. Suppose -g*t = -2*c + 5, -t - 4*c = -0*c + 23. Which is greater: t or -4?
t
Let w = -2 + 3. Is 1 >= w?
True
Let x be ((-61)/(-26))/(-1) - (-30)/(-195). Is -3 at most as big as x?
True
Let i = -42.1 - -42. Which is smaller: i or 5?
i
Let u = 14 - 13.98. Which is bigger: u or 4/5?
4/5
Let c = -96 - -84. Which is smaller: -18 or c?
-18
Let o = -0.889 + -0.111. Which is bigger: o or -6/7?
-6/7
Suppose 0 = -3*s + 57 - 6. Suppose 12*f + 70 = s*f. Is 14 > f?
False
Let n be ((-4)/20)/((-2)/4). Is -2/11 at most as big as n?
True
Let y = -0.92 + 0.5. Let x = 0.02 + y. Let v = x + 0.3. Is v smaller than -2/5?
False
Let v be 0 + -1 - (-212)/7. Let g = 29 - v. Let a = 3.8 - 3.4. Is g < a?
True
Let d = 2.902 - -0.098. Which is greater: d or -7?
d
Let c = -172 - -521/3. Suppose d = 5*b + 2, -4*d - 2*b = -6*b - 8. Which is smaller: d or c?
c
Let i be 4*-3*4/(-48) - 1. Is i >= -1/4?
True
Suppose 3*z + 3 = -3, -5*z - 15 = -5*w. Is -2/71 not equal to w?
True
Let c = -183 + 20129/110. Which is smaller: 2 or c?
c
Suppose -5*w + 5 = 20. Let q(t) = -2*t - 3. Let k be q(w). Let g = 11 + -9. Which is smaller: g or k?
g
Suppose -4*k + 47 + 49 = 0. Suppose -x + 3*x = 3*i + 23, -x + 4*i + k = 0. Suppose -4*l + 7 = o, l - 15 = -4*o - 2*l. Which is greater: x or o?
x
Let y be 21/8 - 28/14. Which is bigger: y or 0?
y
Let m = -25 - -26. Which is smaller: m or -2/115?
-2/115
Let z be -1 - -3*(-16)/(-12). Which is smaller: -3 or z?
-3
Let h = -3.2 + 3. Let c = -0.2 - h. Let x = c + 0.1. Which is smaller: x or 1?
x
Let r(u) = 2*u**3 - 2*u**2 - 1. Let q be r(2). Let l be 6/(-4)*7/q. Let f = -31/18 - l. Which is smaller: f or -1?
-1
Let v(r) = 17*r**2 - 1. Let u be v(1). Suppose -5*o = x + 27, 4*o + 0*o + u = 0. Are x and -7 nonequal?
False
Let a = 14193/13 - 1091. Which is smaller: a or 0?
0
Let h be 112/(-54) - (-2 + 0). Let z = -21 + 20. Is h less than z?
False
Suppose 3*k = 3*y, -3*k - 6*y + 5 = -4*y. Let m = 5 + -5. Suppose s = 2 - m. Is s smaller than k?
False
Suppose -n + 113 = -2*p, 24 + 93 = -2*p - 3*n. Is -57 less than or equal to p?
True
Let p = 136/3 - 45. Which is smaller: 0 or p?
0
Let n = 8 - 11. Let r = -2.9 - n. Let h = 0 + -0.2. Which is bigger: h or r?
r
Suppose 15 = -4*v + 9*v. Let t be -3*((-16)/v + 3). Is 8 at least as big as t?
True
Let o be 2/8*(0 + (-20)/(-5)). Which is greater: o or -5/22?
o
Let y be 2*(-4)/8*-1. Let g be (y - -2) + (-20)/6. Is g <= -0.7?
False
Let s be 1*((-2 - -5) + (-6 - -7)). Is s less than or equal to 4?
True
Let g(z) = z**3 + 3*z**2 + 2. Let i be g(-3). Let c be ((-4)/10)/(i/10). Are c and -3 equal?
False
Let g = -8 - -34. Suppose 4*h + g = 5*f + 3*h, 4*f = 2*h + 22. Suppose -f*j + 6 = i - 5, 3*j = -3*i + 9. Is i >= 0?
True
Let g be 12/20 - 1688/5. Let p = 5053/15 + g. Are p and 2/9 nonequal?
True
Let x(v) = -v + 4. Let r be x(5). Let c be -6 + 6 - (3 + r). Let n be c/(-1) - (-3)/(-1). Which is smaller: 1/4 or n?
n
Let f = 0.4 - 0.5. Is 15/2 < f?
False
Let u(m) = -m**3 + 5*m**2 - 3*m - 4. Let f be u(3). Is 18/5 less than f?
True
Let h be 16/112 + 29/42. Which is greater: h or 0?
h
Let d(q) = -2*q + 15. Let h be d(7). Is 3/4 not equal to h?
True
Let z(c) = c**3 + 8*c**2 + c - 6. Let n be z(-7). Let j be 4/n - (-2)/9. Let u = -0.3 + 0.5. Which is greater: j or u?
j
Let f = 42 - 1177/28. Let b = -33/140 - f. Let c = -1 - -1. Is b equal to c?
False
Let v = -4 + 5. Suppose 4*b - 4*m - 28 = 0, 3*m = -2*m - 20. Let j be b/6*-10*v. Is -4 greater than or equal to j?
True
Let k(s) = -s**2 + 3*s. Let j be k(3). Suppose 2*x = -j*x. Which is smaller: x or 1?
x
Let k = -6/53 + 8/1007. Suppose -l - 26 + 27 = 0. Is l > k?
True
Let p = 8 - 15. Let z(f) = -4 + 0 - f + 0*f. Let l be z(p). Which is smaller: 4 or l?
l
Let w = 0.03 - 0.05. Let r = w + 1.02. Let v = 0.3 + -0.2. Is v at most r?
True
Let r = 9/11 + -38/33. Which is greater: r or -0.04?
-0.04
Suppose 0*h = -3*h - 21. Is h greater than -0.1?
False
Let k(a) = 13*a. Let w be k(3). Suppose -5*i - 1 = w. Is i less than -8?
False
Suppose 5*j = j. Let u be 0 + j + (3 - 1). Suppose -3*v + 1 = -5*f - 8, 0 = 5*v + u*f + 16. Which is bigger: -2/3 or v?
-2/3
Let j = -1 - -2. Suppose 0 = -3*l - 19 + 7. Let h be (l/(-6))/(4/6). Is j greater than or equal to h?
True
Let h = -6 + 8. Which is greater: h or 5?
5
Let b = -50 - -49. Let v be ((-18)/40)/(6/5). Is b less than or equal to v?
True
Let i = 3 + -2. Let m(w) = -w**2 - 7*w + 4. Let d be m(-6). Let s = -11 + d. Which is smaller: i or s?
s
Suppose 0 = -3*u + u. Suppose u = 4*q + q + 5. Which is smaller: q or 0.4?
q
Suppose -3*z + 4*r = -r - 22, -4*z - 5*r = -6. Let u be 1/z + (-1 - -1). Which is greater: u or 0?
u
Let s = -10 - -9. Do s and -2/49 have the same value?
False
Let h = 8 - 10. Let x = 1 + h. Does 2 = x?
False
Let j be (-1)/1*18/(-3). Suppose 0 = -4*t + 16, j*i - 3*i + 3*t - 21 = 0. Which is smaller: 6 or i?
i
Suppose -5*c + 6 = 2*n, 0 = 4*c - 4*n + n + 9. Let o = 1 - 1. Let y = 0 - o. Do y and c have the same value?
True
Suppose -26 = 3*z - 104. Suppose 3*l - 5*l = z. Let m = l - -9. Which is smaller: -2 or m?
m
Let r(m) = m - 17. Let w be r(17). Let v = -1.96 - 0.04. Let s = 0 - v. Which is smaller: s or w?
w
Let o(t) = -t**2 - 8 - t**3 - 7*t**2 + 0*t**3 - t. Let c be o(-8). Is c less than or equal to -2/7?
False
Let q = -2 - -4. Suppose q*f = -3*f - 35. Let w be (-2)/(-2) - (-5 - f). Is w != -2?
True
Let i be -1 - -1 - (1 + -1). Let v be 1/12*3/4. Let s = 35/48 - v. Are s and i unequal?
True
Suppose -h - 4*j + 70 = 0, -209 - 246 = -5*h + j. Which is bigger: h or 91?
91
Let g = 52 + -53. Which is smaller: g or 8/27?
g
Let t(l) = 7*l**2 + 2*l - 5. Let f(o) = -o**2 + 1. Let b(q) = -6*f(q) - t(q). Let j be b(-1). Suppose -3*a + 1 = -4*a. Which is smaller: j or a?
a
Let p be ((-4)/((-520)/5))/((-1)/4). Is p not equal to 0?
True
Let o be 6*-2*1/(-3). Is o > -0.1?
True
Suppose 4*k + 6*d - 3*d = -5, 2*k = -4*d - 10. Is k < 12/5?
True
Let u = 22 - 13. Which is smaller: 8 or u?
8
Let m = 0.22 + -0.12. Is -5 >= m?
False
Suppose 0 = -b + 4*p + 13, -3*p + 13 - 43 = -3*b. Suppose -5*d = 3*v - b, 5*v = -d - d + 15. Let u = 5 + -2. Is u bigger than v?
False
Let p = 2 - 2.2. Let x = p - 0. Let s = x - -0.1. Is -1/2 greater than or equal to s?
False
Let t be 216/(-903) - 6/(-21). Is 1 equal to t?
False
Let x = 0 + 8. Which is bigger: x or -0.2?
x
Let v be 1*(-10)/4*20/25. Are v and -9/4 nonequal?
True
Let o be 1/3*(-3)/(-2). Let f be 2/(-7) + 224/98. Which is bigger: o or f?
f
Let g = 0 + -1. Let i = -3/52 + 59/572. Do i and g have different values?
True
Let u = 16 + -11. Is 1/3 less than u?
True
Let l = -3.2 - -3. Let p = -0.8 + 6.8. Let f = p + -4. Which is smaller: l or f?
l
Suppose -12 = -0*j + 3*j. Let q be (j/(-6))/(30/9). Let r(d) = 2*d**3 - 2*d - 1. Let v be r(-1). Which is greater: q or v?
q
Let p be -1 + 1 + (-10)/6. Which is smaller: p or -1?
p
Let r be (-1)/(-1) + 30/(-22). Let l = 23 + -22. Do r and l have the same value?
False
Suppose 0 = 4*v + 12, -26 = -4*p - 4*v + 6*v. Which is bigger: p or 2?
p
Let k be (-1 - (-485)/121) + -3. Let x = 1654256 + -2001649629/1210. Let c = k - x. Is 1 < c?
False
Let w = -0.6 - -1.6. Let l = 117/4 + -29. Which is smaller: l or w?
l
Let u be 4/(-1 + 14/6). Suppose 0*j - u*j = 42. Is -15 greater than j?
False
Let m be 2*14*(-4)/64. Which is smaller: m or -2?
-2
Let q = 33 - 13. Let x be 15/6*(-2)/q. Do -3 and x have the same value?
False
Suppose 5*u = 14*u + 909. Is u at most as big as -102?
False
Let b be 0*(3 - (2 + 0)). Which is smaller: b or -2/33?
-2/33
Suppose 10 = -u + 6*u. Which is greater: u or 4/7?
u
Let u(r) = 15*r**3 + r**2. Let d be u(1). Let m be (-37)/4 + 4/d. Let x be 1/4 - m/(-20). Is x at least -1?
True
Let f be 3 + 4/4 + 2. Which is greater: f or 5?
f
Let c = -7/9 - 253/45. Is c smaller than -7?
False
Let m = 115/6 + -4939/258. Does m = 1?
False
Suppose -5*f - 4*v = 0, 3*v + 1 = f + 4*v. Let s = -2 - f. Are 2 and s nonequal?
False
Let w = -556 + 51710/93. Which is bigger: 1 or w?
1