 + -51216. Let k = x + 98. Are 0 and k equal?
False
Let h = -62 + 62. Is h equal to 2/21?
False
Let k = -3.27 + 3.3. Let h = 58.87 + -53.9. Let y = h + k. Which is smaller: 0.1 or y?
0.1
Let z(r) = -r**2 + 11*r + 4. Let m be z(11). Suppose -m*t - 7 = 4*w - t, -4*t = -4*w. Which is greater: -2/3 or w?
-2/3
Suppose 0 = -0*y - y + 2*u + 9, 3*y + 28 = -5*u. Is y greater than or equal to -2/11?
False
Suppose 0*l + 4 = 2*x + 2*l, 2*x + 4*l - 4 = 0. Which is bigger: x or 7?
7
Suppose 85 + 83 = -3*a. Let w be a/(-126)*2/(-8). Which is smaller: -1 or w?
-1
Let c = 61 - 54. Is c < 7?
False
Let m(v) = v - 5. Let q be m(5). Suppose -5 = -q*s - s. Suppose 3*f - 4*f + s*c = -9, 7 = 2*f + c. Is 3 at least as big as f?
False
Let b(g) = g + 4. Let u = -7 + 1. Let z be b(u). Let o be (1 - -1)*z/4. Which is bigger: o or -2?
o
Suppose 3*i + 19 = 4*x, 22 - 1 = -5*i + 4*x. Which is smaller: i or -0.01?
i
Let y(o) = -o + 3. Let g be y(3). Let k be 0/(0 + -1 + g). Let t = -3 - -4. Is k >= t?
False
Let i = 18 - 17. Which is smaller: -2 or i?
-2
Let k(p) = -p**2 - 2*p + 9. Let b be k(-5). Is -6 != b?
False
Suppose o - 13 = -4*m, -6*o + 5*m = -o - 15. Is o < 23/4?
True
Suppose -g - 29 = 3*k + 114, -2*g = 4*k + 188. Are k and -48 non-equal?
True
Let l be (11 + -12)*1/(-1). Which is bigger: 9/20 or l?
l
Let m(i) = i**2 + 1. Let w be m(1). Is 2/3 at least w?
False
Let o = 55/24 + -5/8. Is 3 smaller than o?
False
Suppose 3*p - 36 = 3*a, 4*p = 17 - 1. Let k = a - -5. Does k = 0?
False
Let k(u) = -29*u + 2. Let y be k(1). Is y greater than -27?
False
Let d(w) = w**3 + w + 88. Let v be d(0). Let l be (27/v)/((-21)/10). Let c = -1/28 + l. Is -1 >= c?
False
Suppose -2 = -3*c - 5. Which is smaller: c or -2/23?
c
Let z(i) = i - 4. Let h = 0 + 0. Suppose h = -0*q - q - 2*m - 3, 2*m + 12 = 2*q. Let y be z(q). Which is smaller: 1/3 or y?
y
Let v(z) be the first derivative of -z**2/2 + 7*z - 4. Let k be v(6). Let d(h) = h**3 + 2*h**2. Let f be d(-1). Is f at least as big as k?
True
Let j(o) = -o**2 - 7*o + 11. Let f be j(0). Which is greater: f or 9?
f
Let h be (104/114)/(2/3). Let z = h - 28/19. Is z > 1?
False
Let c be 2732/18 - 2/(-9). Let g be c/6 + 3/(-9). Suppose y + 5*q + 6 = g, -12 = -3*q. Which is bigger: y or -2?
y
Let g = -10 + 5. Is 0 < g?
False
Let y(z) = -3*z. Let g be y(-1). Suppose -2*a = a - 3*d + 3, 0 = -g*d. Is 1/3 greater than or equal to a?
True
Let k be (1/3*2)/(4/3). Which is greater: -1 or k?
k
Let z be (-23)/(-45) + 3/(-27). Do -7/10 and z have different values?
True
Let t = 2.8 - -11.2. Which is smaller: t or -2/3?
-2/3
Let p = -3.06 + 0.06. Let a = -3 - p. Let o be (-2)/9 - (5 + -5). Which is greater: a or o?
a
Suppose -4*o - 4 = -0. Let d be ((-18)/15 - -2)*(-10)/6. Is d less than o?
True
Suppose 2*q = b - 5*b - 24, 4*q + 2*b + 42 = 0. Is q >= -11?
True
Let w = -3 + -9. Let k be (-2)/10 + (-4)/w. Do k and 1 have the same value?
False
Suppose 2*q + 2 = -2*k, -2*q - 3*q + 3*k + 11 = 0. Let v = -4.048 + 0.048. Is q at least as big as v?
True
Let i = -2 + 2.1. Let d = -5.1 - -3.1. Which is smaller: i or d?
d
Let s = 1/196 - 57/196. Which is greater: s or -4/87?
-4/87
Let w = 21 - 10. Let a = 10.8 - w. Are a and -3 non-equal?
True
Let q be (9/(-70))/(6/7). Which is bigger: q or -1?
q
Let s = 6 - 5.7. Let z = -72 + 71.8. Is z greater than or equal to s?
False
Let j = 369 + -10703/29. Which is greater: 1 or j?
1
Let r(k) = -k**3 - 2*k. Let q be r(2). Are -5 and q nonequal?
True
Let p = 1.1 - 0.8. Let r = -0.3 + p. Let q = 0.34 + -5.34. Are q and r non-equal?
True
Suppose -6 = 4*x - 2*x. Let o be ((-3)/(-2))/(x/(-4)). Let q(n) = -n**2 + 3*n + 1. Let t be q(2). Do t and o have different values?
True
Suppose 5*a = 4*l - l + 32, -4*a - 4 = 5*l. Let p(m) = -m**3 - 2*m**2 + 2. Let z be p(-2). Which is smaller: z or a?
z
Let s = 169.6 - 162.57. Let r = s + -7. Which is smaller: r or 0?
0
Let h be 3 - (-4 + 9 + 2). Suppose 0 = q + 4 - 1. Let o = q - h. Is 1 > o?
False
Let v(h) = h**3 - 4*h**2 + 4*h - 1. Let q be v(3). Let w be q + 0 + (-1 - -2). Let t = w + -2. Which is smaller: -1/3 or t?
-1/3
Let f = -0.49 - -0.39. Which is bigger: 0.18 or f?
0.18
Let s = 1.6 + 4.4. Let h = 58 - 52.1. Let b = h - s. Which is smaller: b or -2/3?
-2/3
Let f = 11 - 9. Suppose f*q + 3 = 5*q. Do q and 1/11 have the same value?
False
Suppose 2*o - z - 3 = 4, o = 4*z + 14. Which is greater: o or 3?
3
Let s = -84 - -1094/13. Which is smaller: s or -0.1?
-0.1
Let j = -0.132 + 0.032. Is -3/8 > j?
False
Let k be 1 + 1*(0 - -1)*-1. Which is smaller: k or -4/13?
-4/13
Let t = 1.19 - -0.81. Is t equal to -30?
False
Suppose -1 - 4 = -5*a. Which is greater: 5/13 or a?
a
Let u = 15/4 + -25/4. Is -2 less than u?
False
Let t(r) = r - 4. Let l be t(4). Let v = 7 + 0. Let i = 135/19 - v. Which is greater: l or i?
i
Let a(q) = -q**3 - 6*q**2 + 6*q - 4. Let u be a(-7). Suppose u*p - 4*l = 2*p + 16, -5*l = 5*p - 5. Is p less than 9/2?
True
Let n = -505/284 - -7/4. Which is smaller: 0 or n?
n
Suppose 6*t - 3 = 5*t. Suppose -4*c = -t*c. Suppose 5*j - g + 4*g = -1, -3*j + 3*g - 15 = c. Is -2 greater than j?
False
Suppose -11 = -3*m - 2. Is 2 > m?
False
Let y(i) = i - 4. Let w be y(7). Suppose -h + 0*h + w = 0, 9 = m + 5*h. Let l be ((-2)/m)/((-8)/(-6)). Which is bigger: 0 or l?
l
Suppose 0 = -3*r - 13*r - 16. Is r greater than 7/17?
False
Suppose 8 - 3 = 5*w. Let c = 2541/2 - 1221. Let a = -48 + c. Which is greater: a or w?
a
Let f = 1.15 - 0.95. Which is bigger: -1.4 or f?
f
Suppose -5*i = 4*q - i + 12, -2*q = -3*i + 6. Let p = 35 - 35. Let h be p + (-2 - q - 0). Is h >= 1/4?
True
Let y(r) = r**2 + 3*r + 1. Let n be y(-2). Let l be (-8 + 4 - -4)*-1. Which is smaller: n or l?
n
Let m = -1.08 + 0.08. Let g be 0 + 1 + 2/(-3). Are m and g equal?
False
Suppose 0 = u - 3*u. Which is smaller: 2/17 or u?
u
Let v be 6/9*(-9)/(-6). Let p(m) = -4*m**2 - 3*m - 2. Let b be p(-3). Let i = 59/2 + b. Which is smaller: i or v?
i
Let x(w) = w**2 - 9. Let z be x(0). Let u be ((-1)/(-15))/(3/z). Which is smaller: u or 1?
u
Let g = -2/25 + 33/100. Is -1 less than g?
True
Let n = 0.9 - -0.1. Let u = 0.9 - n. Is 3/7 >= u?
True
Suppose 0*k + k - 5 = 0, -5*k + 25 = -2*d. Do d and 8/7 have different values?
True
Let m = -3.7 - -3.8. Is m smaller than -1.8?
False
Let l be (4 + (-2 - -1))*4/3. Is l < -4?
False
Let q = 2 + -3. Let d = 96/7 + -14. Do q and d have different values?
True
Suppose -3*p = -3*z - 141 - 177, -p = 4*z + 414. Let q be z/(-28) + 6/21. Suppose q*b - 2*a - 2 = -8, 3*b - 2*a + 4 = 0. Is b <= -1?
True
Let h = -81 - -65. Is 1 at least h?
True
Let b = -0.91 - -5.31. Which is smaller: b or 1?
1
Suppose 7*s = -4*b + 3*s - 20, b = 2*s + 10. Suppose 5*m + b*x - 7 = -2*x, 0 = -m - 3*x - 9. Suppose 4 - 1 = m*q. Which is smaller: -2/15 or q?
-2/15
Let p = 9 - 15. Let m(o) = o**3 + 3*o**2 - 5*o - 3. Let d be m(-4). Does d = p?
False
Suppose -4*o - 5 = -5*o. Is 4 at least as big as o?
False
Let a be ((-8)/(-10))/(-5 + 6). Which is greater: 1/4 or a?
a
Let n = -9 - -14. Let a = -4 + n. Let k = 1.1 - a. Are 0 and k unequal?
True
Let l = -16 - -23. Is l >= 6?
True
Let h be 2/5 + (-46)/115. Let d = -73 + 1386/19. Which is greater: d or h?
h
Let b(j) = j**2 + 5*j + 1. Let a be b(-5). Suppose -s - v = -6*s + 31, 3*s = 5*v + a. Is s at most as big as 8?
True
Let l be (2/(-16))/((-26)/(-8)). Which is greater: 0 or l?
0
Let x = -8 + 23/3. Let u be (-5)/(-4)*(-8 + 4). Let l = -5 - u. Is l > x?
True
Suppose 4*k = -k + 15. Suppose -a + 4*u - 18 = 0, -5*a + k*u = -u + 10. Which is greater: 1 or a?
a
Let u be 4 + (-30)/3 + -2. Is u at least as big as -7?
False
Let k = 48 + -48. Let m = -0.2 - 0. Which is smaller: m or k?
m
Let v = -0.2 + 0.4. Suppose -d = 5*s + 20 + 45, 0 = 4*s - d + 43. Let p be -2 + ((-112)/s)/4. Is v at most as big as p?
True
Let j(w) = w**3 + 8*w**2 + 6*w - 6. Suppose -5*p - 39 = 4*u, -5*p + u - 37 = 3*u. Let k be j(p). Which is bigger: k or 1/3?
k
Let v = -0.03 - 0.97. Which is smaller: -0.9 or v?
v
Let u(j) = 2*j - 11. Let x(a) = -a + 4. Let i(p) = -3*u(p) - 8*x(p). Let o be i(1). Do o and 3 have the same value?
True
Let w be 1/((-2*1)/2). Let j = 2 - w. Let x = -4 + 6. Is x greater than j?
False
Let i = 156 - -26. Let n be (-6)/(-21) + (-13492)/i. Let m = -74 - n. Is m < -1?
False
Let x be (-12)/(-5) + 4/(-10). Suppos