
True
Let x(g) = -g**2 - 5*g - 2. Let n be x(-4). Let q = 0 - 2. Let f be 2 + (4/q - -2). Is f > n?
False
Let k = -3 + 1. Let d be -14*((-1)/k - 2). Suppose -3*h - 19 = -4*p, -4*p + 4*h + d = -3. Which is smaller: p or 1/9?
1/9
Let h be (-3)/((-6)/(-4)) + 2. Let t = -5 - -5. Is h at most t?
True
Suppose 4*o + c + 17 = 0, 0 = 5*o + c + 4*c + 40. Is -0.2 greater than or equal to o?
True
Let s be (-2 - -4)/2 + -1. Let x = -1603/4590 + -1/270. Which is bigger: s or x?
s
Let v = -0.25 - -0.28. Is v smaller than 0.08?
True
Suppose -5*u + s = -30, 4*s = -3*u + 2*u + 6. Let o be (-1)/5*u/(-15). Are o and 1 non-equal?
True
Let p be (-3)/9*(-14 - 1). Suppose 3 = 2*n + p. Which is greater: n or 0?
0
Suppose -2*u + 0*u = 28. Which is greater: -13 or u?
-13
Suppose -t + 6*t - 5 = 0. Let n = 3.8 - 4.3. Which is greater: t or n?
t
Let h = -4717/20 - -236. Let d = h - 2/5. Which is greater: -4 or d?
d
Let o(q) = -q**3 - q**2 - 7. Let u be o(-3). Is 11 greater than u?
False
Let i = 25 - -11. Which is smaller: i or 35?
35
Let f = -616/5 - -598/5. Let s be ((-28)/(-90))/(4/(-42)). Let x = f - s. Which is smaller: x or 1?
x
Let w = -0.47 + 0.5. Let a = 1.084 + -0.084. Do a and w have the same value?
False
Suppose 4*n = 5*n + 1. Is -2/17 <= n?
False
Let l = 224 + -6721/30. Is l >= 1?
False
Let b be -2 + 2/1 + (-18)/7. Is b greater than or equal to -4?
True
Let b = 683 + -18439/27. Is b at most as big as 0?
False
Let l = 17/78 + 3/26. Which is bigger: l or 5?
5
Suppose k + 4*k + 35 = 0. Let b be (-4)/14 + (-2)/k. Suppose -2*s - 2*s = b. Is s at most -1/8?
False
Let f = 5 - 9. Let s be ((-2)/f)/(2/(-8)). Suppose 0 = -4*u + 2 - 10. Is s greater than u?
False
Let i = 0.098 + -1.998. Which is greater: i or -0.1?
-0.1
Let t = -22152/11 - -2012. Which is bigger: -2 or t?
t
Suppose -52 = 5*k - 17. Let v(z) = -z**2 - 9*z - 8. Let p be v(-8). Let t = -8 + p. Are t and k unequal?
True
Let g = 2/521 - -4679/2605. Which is smaller: -1/5 or g?
-1/5
Let a = -1 - -6. Suppose 0*f + 6 = -i + 3*f, a*i - 5*f - 10 = 0. Which is bigger: 7 or i?
7
Let f = -149 + 1041/7. Let u(g) = -g + 4. Let n be u(6). Do n and f have different values?
True
Suppose 9*i = -22 - 113. Is i > 2/3?
False
Let a(s) = -s**3 - 3*s**2 - s + 1. Let y be a(-3). Is 4 equal to y?
True
Suppose -8*j + 11*j = 5*r - 252, -4*r = 3*j + 279. Which is smaller: j or 1?
j
Let o be (-16)/(-10)*10/4. Suppose 4*t + t = o*i, 5*t + 3*i = 0. Which is smaller: t or 1/7?
t
Let l = 20 + -24. Suppose w + 3*v = v + 9, -5*w + 35 = 5*v. Suppose w*d + n + 15 = 0, 7*n + 17 = 4*d + 2*n. Which is bigger: l or d?
d
Suppose -5*i = 2*q + 55, 4*q - i + 37 = 2*q. Let f be 2/14*(-14)/q. Is f < 1?
True
Let r(j) = 3*j**3 + j**2 - 1. Let i be r(1). Let h be 4/(-6)*i/(-2). Let t = -1 + 2. Is h less than t?
False
Let s be (3/4)/((-2)/(-8)). Suppose 9 = 3*w + s. Which is greater: 3/2 or w?
w
Suppose j + 3*j = -4*u + 116, -j + 3*u + 45 = 0. Suppose h + j = -5*f, -4*f + 0*h + 2*h = 18. Let b = -4 - f. Does b = 2?
True
Suppose -5*r - 9 = -4. Let k = -37/342 + 1/342. Which is bigger: r or k?
k
Let u be (-2 - 0) + (4 - 0). Suppose 2*g - 5*s = u + 29, -g - s - 2 = 0. Suppose -g = -5*d - 8. Are -2 and d non-equal?
True
Let r = -12.3 - -12. Let k = -0.05 - -0.75. Let o = r + k. Which is greater: 1/4 or o?
o
Let c = 381/4 + -94. Are c and 2 non-equal?
True
Let x be (-2)/10*1*-2. Let w = 0 + 1. Is x less than w?
True
Let l(i) = i + 7. Let g be l(-7). Suppose h + 2*h = g. Suppose h*d + 2*d = 0. Which is bigger: d or -2/7?
d
Let g = -10 - -10.06. Is g equal to 0.03?
False
Suppose 1 = -8*p + 9*p. Which is bigger: p or 3/2?
3/2
Suppose -18 = -2*y + 18. Suppose -3*w - 24 = 5*i, 4*i + 4*w = 2*w - y. Is 1 < i?
False
Suppose 4*i = -4*p, 5*i + 2*p - 1 = 8. Suppose i = 4*d - 5. Let v be (-1)/(-2) - -2 - d. Which is greater: v or -0.3?
v
Suppose -2*z - 3*b = -5*b - 22, 5*z + b - 31 = 0. Suppose -23 = 4*x - z. Is x at least as big as -5?
True
Suppose -4*y = 5*m - 64, 0 = 3*y + 3*m - 5*m - 48. Which is smaller: 50/3 or y?
y
Let r = 2 + -1. Let o = 6715/114 + -356/19. Let i = -40 + o. Which is smaller: r or i?
i
Let d(s) = 5*s - 9. Let m be (-10)/(-35) + (-102)/14. Let a(t) = 2*t - 5. Let z(g) = m*a(g) + 3*d(g). Let f be z(-7). Which is bigger: f or -0.1?
f
Suppose 3*t + 0*t = -2*l - 9, -5*t = -l + 15. Are l and -7/5 unequal?
True
Let i be (-3 + (-21)/(-6))/(-2). Let u = i + 1/8. Which is smaller: 1 or u?
u
Let x = -18 - -17.87. Let k = 0.47 - x. Which is smaller: k or 0?
0
Let p = 8 + -7.79. Is p at least -2?
True
Let f = -7 - -10. Let j = f - 2. Which is greater: j or 3?
3
Let v be 0/((-1 - -1) + -1). Suppose 4*w = 3*s - 0*s + 6, 0 = -2*s - 4*w + 16. Let u be 86/(-30) + s - -1. Is u smaller than v?
False
Let d = -14 + 13. Which is greater: d or -34?
d
Let a(n) = -2*n + 1. Let j be a(1). Which is smaller: -4 or j?
-4
Let a = -106 - -108. Let f = 2 - 2.1. Let z = f - -1.1. Which is smaller: a or z?
z
Let m = 77 - 46. Which is smaller: 33 or m?
m
Let m be ((-41)/2)/(195/10). Let v = 5/13 + m. Is -2 not equal to v?
True
Let y be 21/(-3)*(-8)/30. Does y = 2?
False
Let r be 7/(-3) + (7 - 4). Which is smaller: r or 2.9?
r
Suppose 5*d = -10 - 0. Are d and 0 unequal?
True
Let l(o) = o - 10. Let u be l(10). Does u = 6/5?
False
Suppose t = -0*t + 3. Suppose 2*i - 420 = -t*i. Let f be 3/(-12) - 3/i. Which is smaller: 1 or f?
f
Suppose 9 = 2*v + 5. Is 24/11 at most as big as v?
False
Suppose -19 = -2*d + 2*h + 3*h, 4*d + 32 = -4*h. Suppose 2*p - 10 - 2 = -5*t, 2*p = 3*t - 4. Let i be (-16)/12*d/t. Which is greater: i or 2/3?
i
Let v = -73 + 79. Which is smaller: v or 9?
v
Suppose 4*f = 17 - 65. Let a be (-6)/8 - 13/f. Which is smaller: a or 0?
0
Suppose 4*y - 21 = 43. Is y at most as big as 15?
False
Let t be 31/(-232) - 2/(-16). Which is bigger: 1 or t?
1
Let m be (18/16)/((-3)/4). Is -1 >= m?
True
Let f = -3 - -1. Let s be 8/44 - (-43)/(-55). Which is greater: s or f?
s
Let f(h) = -3*h - 14. Let w be f(-6). Is w at least 6?
False
Suppose t + 9 = -2*p + 2, -4*t - 12 = 4*p. Let l be p/(-2) - (7 - 6). Are l and 2/13 non-equal?
True
Let g be (-1 - 2) + 19 - 5. Which is smaller: 12 or g?
g
Suppose 5*u - 25 = -5*o, 2*u + 3*u + 4*o - 27 = 0. Let h = u - 6. Is 1/3 greater than h?
False
Suppose 2*l - 14 = -4. Suppose 3*p - l*p - 4 = 0. Let t be (-10)/6 - (-4 - p). Which is smaller: t or 1?
t
Let j(v) = v - 6. Let o be j(4). Suppose -3 = -2*m + 3*m. Let w be (m/18)/(3/6). Is o != w?
True
Let n(u) = u**2 - 8*u + 8. Let v be n(6). Let p = 0 + -5. Which is greater: v or p?
v
Let o = -3 + 8. Suppose -c - o = -6*c. Which is bigger: c or 3?
3
Suppose 2*c = -8 - 6. Which is bigger: -2/5 or c?
-2/5
Let d(r) = 4*r - 1. Let f be d(1). Suppose 0 = -f*o + 15, -5*g = 5*o - 2*o - 30. Suppose -4*w = m - 7, -1 = -g*m + 8. Do 1 and w have different values?
False
Let u = -135 + 661/5. Which is smaller: 0 or u?
u
Let b = -145 - -143. Which is smaller: -1/37 or b?
b
Let l = 0.5 - 0.9. Let i = -1.1 - l. Let b = i - -1. Is -1 bigger than b?
False
Suppose -i + 5 - 14 = 0. Which is smaller: -8 or i?
i
Let m be (-14)/28 - (-2)/4. Suppose 0 = 4*j + 3 + 1. Let t be 6/(-14)*j/(-1). Do t and m have the same value?
False
Suppose 9*a - 4*a = 0. Suppose 42 = -6*t - a*t. Which is greater: -5 or t?
-5
Let d(u) = u**3 - u**2 + u. Let n be d(3). Suppose -n = 3*l - 6*l. Do l and 6 have the same value?
False
Let q(r) = -r**3 + 15*r**2 + r + 6. Let s be q(15). Let z be (-2)/42 - 6/s. Is 0 equal to z?
False
Let z = -9/5 + 379/205. Let u = -48 - -49. Is z < u?
True
Suppose -4*t = 5*x - 0*t - 85, 3*x + 4*t = 59. Which is greater: x or 12?
x
Let d(n) = 7*n**3 - 23*n**2 - 20*n - 4. Let f(t) = 3*t**3 - 11*t**2 - 10*t - 2. Let m(z) = -2*d(z) + 5*f(z). Let x be m(10). Do -3 and x have different values?
True
Let r(l) = -7*l - 46. Let w be r(-5). Do w and -9 have the same value?
False
Let s = 353/6 + -59. Suppose -2*w + 4*c = -5 + 19, 3*w - 3*c = -12. Let u be 22/(-18) + (0 - w). Is u > s?
False
Let t = 237 - 4026/17. Is 0 less than or equal to t?
True
Let z be (3 - 0)*(-6)/18. Is 1/64 smaller than z?
False
Let v = -5.3 - -0.3. Let f = v - -1. Let w = f - -3. Is -2 less than w?
True
Let l = -3/13 - 4/39. Which is smaller: l or -4?
-4
Suppose 5*a = -11 - 14. Is a at least -2?
False
Suppose 4*f = 16, -4*d + 20 = 5*f - 2*f. Which is greater: 