1. Suppose a + a = -3*v - 16, 2*a + 8 = -v. Is a >= u?
False
Let b(s) = 3*s - 26. Let k be b(11). Suppose -2*v + 5*d = 2 - 24, 2*d = -v - k. Which is greater: v or 2/7?
v
Suppose u - t = -7, 6 = -2*u - 0*u - 2*t. Let v = -50 + 44. Let j = v - u. Which is smaller: 1 or j?
j
Let r(k) = k - 1. Let n be r(2). Let w = 20 - 361/18. Which is greater: w or n?
n
Suppose -4*h + 5 = 1. Is 59 at least h?
True
Let h be 3 + 8/(-10)*20/4. Let m = 2/31 - 37/93. Which is smaller: m or h?
h
Let i(w) = 2*w**2 - 5*w + 4. Let o be i(3). Let h = o + -8. Is h less than -3/5?
True
Suppose 0 = 7*t - 10*t - 9. Is t > -4?
True
Let a(y) be the first derivative of 2*y - 3 + 1/3*y**3 + 3*y**2. Let f be a(-4). Is f bigger than -6?
False
Let t(y) = y**2 + 8*y. Let a be t(-8). Suppose 0 = 5*v - 25, a*o - 2*v + 3 = o. Do o and -7 have the same value?
True
Suppose -4*z - 5*u = -24, 0 = -2*z - 2*z + u. Let h be -41 - z*(-5 - -3). Let o = 661/17 + h. Which is greater: 0 or o?
0
Suppose -5*b = -8*b - 78. Is -26 <= b?
True
Let g = -2272/5 + 453. Suppose 4*a = -2*z - 24, 0*z + 4*a + 10 = 5*z. Which is bigger: g or z?
g
Let u = -6 + 1. Let y = -3 - u. Suppose -19 - 2 = -2*i - 5*d, 0 = y*d - 6. Does i = 3?
True
Suppose j = 6*j. Let i be j/2 + 0 - -5. Suppose l + l - 6 = i*y, -2*y = -2*l + 6. Which is greater: 4 or l?
4
Let y(l) = l**3 + l**2 + l + 3. Let f be y(0). Suppose -17 = -4*a - c - 0*c, -3*a + 5*c = -7. Let u = f - a. Which is smaller: u or 1/7?
u
Let j(v) = -2*v**2 - 2*v - 1. Let g be j(-2). Let p be 0 - (0 + 3 + 2). Is g less than p?
False
Suppose -3*m = -3*v + 21, v = -2*m - 2*v + 11. Let n = -13766/9 - -1524. Let u = n + 35/9. Which is greater: m or u?
u
Let h be 18/12*8/3. Let v be (3/5)/((-2)/(-10)). Suppose v*r = 16 - h. Which is smaller: r or 3?
3
Let s be 2*(-1 + -1 + -4). Let b = s - -7. Let h be (-58)/26 + (-3 - b). Does 0 = h?
False
Suppose 102 = 3*r + 66. Is 11 less than r?
True
Let m(z) = 2*z**3 + 5*z**2 + 3*z + 2. Let o be m(-3). Is o not equal to -16?
False
Let u = -45 + 44. Which is bigger: u or -4/51?
-4/51
Suppose 4*y = 9*y + 15. Suppose r + 4*r + 3*l + 13 = 0, -2*l = 5*r + 17. Which is greater: r or y?
y
Let z be 5 - -9*2/(-3). Which is smaller: 1/154 or z?
z
Let u(i) = -i**3 - 12*i**2 - 12*i - 20. Let f be u(-10). Is -100 > f?
False
Let g(l) = 2*l**2 - 4*l + 4. Let q be g(3). Let t = q + -1. Let y = t - 6. Which is bigger: y or 1?
y
Let a(t) = t**2 - 6*t + 1. Let w(q) = -q**3 + 4*q**2 + 6*q + 1. Let s be w(5). Let v be a(s). Which is smaller: v or 4/5?
4/5
Suppose 4*g - 5*g = -1. Let y be 130/2 - (-3 + 5). Let p be (9/y)/((-12)/(-14)). Is g at least as big as p?
True
Let i = -81/2 - -40. Which is smaller: -1/68 or i?
i
Suppose -3*s - s = -12. Let i be -1 + ((-3)/s - -9). Suppose 0 = r - 2*o - 0*o - i, 0 = -5*r + 2*o + 11. Which is greater: r or 0?
r
Let j be (-870)/18 - 2/(-6). Let d be 4/6*36/j. Which is smaller: 2/7 or d?
d
Let c = 0.1 - -0.1. Which is smaller: c or 9?
c
Let v be 1/3*(-1 + 1). Suppose v = h + 4*h + 25. Which is bigger: -6 or h?
h
Let w be -3 - -1 - (-2)/5. Let c = w - -14/15. Let p be (114/(-36) - -3)*-4. Is c > p?
False
Let h be 4/(-8)*142 - 4. Let o be (-10)/4*60/h. Do o and -1 have the same value?
False
Suppose 0*o = -4*o. Let y = -8 + 106/13. Which is smaller: y or o?
o
Let j be (1 + 3/(-6))*0. Suppose j = o - 0*o - 9. Suppose -5*c - 1 = o. Is c < -3?
False
Suppose -x = 5*c - 5*x + 8, -6 = -4*c - 3*x. Is c less than or equal to 10/33?
True
Let q be 3/(-3) + 9 - 0. Let s = 12 - q. Let w be s/(-14) - (-48)/70. Is w bigger than 0.1?
True
Suppose k + 2*v + v + 13 = 0, 4*k + 4*v + 12 = 0. Does k = -6?
False
Let d = -5 + 1. Suppose -2*i = 5*l + 32, -i + 10 = -2*i - l. Let q = i - d. Which is smaller: -3 or q?
-3
Suppose -4*f = -2*s - 14, 5*s - 5*f - 14 = -69. Let w(y) = y + 4. Let g be w(-3). Let k be g + -8 + s/(-5). Is -4 >= k?
True
Suppose 9 + 28 = -5*l + 3*m, -3*m + 12 = 0. Which is smaller: 6 or l?
l
Let k = 3 - 15. Is -11 less than or equal to k?
False
Let l be (-2)/12*2 - 24/(-18). Let k = 26 + -157/6. Is l > k?
True
Let s(i) = i**3 - 13*i**2 + 11*i + 13. Let r be s(12). Is r bigger than -4/17?
True
Suppose 5*d = -0*d - 35. Let n be d/(-4) - (5 + -3). Is -3 not equal to n?
True
Suppose -5 = -q - 6. Which is smaller: q or -2/35?
q
Let r = -12 + 20. Let w = r - 7. Let t be (-2)/7 + w + -1. Is t > 0?
False
Let c = 9 + -5. Suppose -c*d + 6 = -2. Suppose d*j + 3 = -j. Do j and -2 have different values?
True
Let r = 4 + 1. Let i be ((-6)/r)/((-8)/20). Let a be 1/(-2)*(i + -3). Is a < 1/5?
True
Let n be 1/(-3 + (-19)/(-6)). Let f = -9 + n. Which is smaller: 0.1 or f?
f
Let q(w) = -2*w + 7. Let i be q(3). Let v be 199/315 - (-21)/(-35). Which is smaller: v or i?
v
Let p be 10*(14/4 - 0). Which is bigger: 34 or p?
p
Let o = -3.23 - 48.17. Let f = o + 60. Let b = -9 + f. Which is bigger: 0 or b?
0
Suppose 2*c = 2*a + 10, 4*a + 4 = c - 1. Suppose a = h - 4 - 0. Which is greater: h or 5?
5
Let w be (-1)/(-1) + 0 + 7. Suppose 2*p = -w - 4. Which is greater: -2 or p?
-2
Let d = -11.5 - -7.9. Is -2/3 bigger than d?
True
Let x(d) = -d + 7. Let i be x(8). Let v = i + 3. Which is greater: v or 2/3?
v
Let v be 3/(6/(-2)) + -4. Let r be (-1 - -1) + -1 + -2. Which is smaller: v or r?
v
Suppose 5*d = 6 + 14. Suppose -4*g + 11 = -g - 4*m, -32 = 4*g + d*m. Let a(k) = -k**3 + k**2 + k - 3. Let h be a(0). Does h = g?
True
Let c = 0.31 - 0.34. Is c at most 1?
True
Let g(u) = -u**3 + 4*u**2 - 2*u - 3. Let z be g(3). Let w = -17/11 - -199/143. Is z <= w?
False
Let l be (40/(-15))/8*18/7. Which is greater: l or -2?
l
Let f be -7*5/(105/18). Is -5 greater than f?
True
Suppose -m - 3 + 6 = 0. Suppose 22 = 2*j + 4*v, 5*j + m*v = 17 + 3. Let a be 1*(2 - (2 - 1)). Do a and j have different values?
False
Let h = 7 - 6. Let i be h/(4 + -5) - -2. Which is bigger: 6/7 or i?
i
Let a(j) = 4*j**2 + j - 1. Let f be a(1). Suppose 12 = 3*v + v. Is v at most as big as f?
True
Let s(o) = 2*o - 4. Let d be s(6). Is 1 greater than or equal to d?
False
Let n = -4 + 8. Let l be ((-27)/6)/((-2)/n). Let c be (-37)/45 + 2/l. Which is bigger: c or -1/4?
-1/4
Suppose -3*o + 6*o - 6 = 0. Suppose 0 = -4*z + 6 + o. Are 3 and z equal?
False
Let s be 0/((0 - -2) + -4). Let i = -98 + 29. Let k = i - -209/3. Which is greater: s or k?
k
Let z = -8851/3 + 2987. Let g = 3/48047 - 37284535/1008987. Let h = g + z. Is h less than or equal to 1?
True
Let n = -18 + 17.89. Let a = -9.11 - n. Let u = -9.1 - a. Do u and -1/3 have the same value?
False
Let g = -58 + 54. Which is smaller: 5 or g?
g
Let b = 1 - 1. Suppose 0 = -2*a - 3*a + 4*i - 92, -5*i - 17 = 2*a. Let r be (-4 - -1) + a/(-6). Which is smaller: r or b?
r
Let t be (28/(-35))/((-1)/10). Which is smaller: 9 or t?
t
Let f = -91 + 95. Which is bigger: 0.7 or f?
f
Let u = -0.7 - 0.3. Is -1 at most u?
True
Let d be 9/(-12) + 3/(-12). Which is bigger: -1/2 or d?
-1/2
Let u = 5 + -5.4. Let y = -0.4 + 0.2. Does y = u?
False
Let y(a) = 227*a**2 - 1. Let z be y(1). Suppose 0 = 4*c + 2*x + z, 2*x - 170 = 3*c + 3*x. Let b = c - -288/5. Is b greater than 0?
True
Let i = 9.1 - 9.6. Is 0.01 greater than or equal to i?
True
Suppose 4*b - 3*b = -5*g + 55, 0 = 2*g + b - 19. Suppose 4*q - 4 = g. Suppose 4 = 3*d - q*k, 0*d - k = -d + 1. Which is smaller: 4/9 or d?
d
Suppose -4*n + n - 4*v = -4, 4*n + 4 = -3*v. Let r(z) = -z**3 - 4*z**2 + 4. Let w be r(n). Which is smaller: w or 0?
0
Let t = -33 - -25. Let a = 7 + t. Is -2 at most a?
True
Suppose g - t = -1, 0 = 5*g - 2*g - 2*t + 3. Let k = -374 - -2613/7. Do k and g have different values?
True
Let w(g) = -g**3 + 13*g**2 - 13*g + 11. Let b be w(12). Let y be (1 - 1 - b)/3. Is y greater than or equal to 0?
True
Let q = 55 - 604/11. Which is bigger: q or 2?
2
Let o be ((-6)/4)/((-6)/(-8)). Let b be (-2 - o) + (0 - 2). Is -3 less than or equal to b?
True
Let d be (-2 - -1)*(-3 + 4 - 4). Let c = -1 + 5. Does d = c?
False
Suppose -3*c - 1 = -2*u - 27, -2*c + 3*u = -9. Let m(d) = -2*d + 5. Let t be m(-4). Which is bigger: t or c?
t
Let s = -3 + 2. Let b = s + 1. Suppose b = -z - 0 + 2. Is z equal to -2/5?
False
Suppose 3*p - 3*s = -90, -3 = 4*s - 11. Which is smaller: -1 or p?
p
Suppose -8*p - 273 + 1 = 0. Let c = p - -31. Suppose -4 = 4*a, 0 = 2*o - 5*o - 4*a - 7. Is o bigger than c?
True
Let i = -5 + 8. Let q = -