1. Is i bigger than -3?
False
Let u = 11 - 6. Let p = u + -2. Let x = 4 - p. Which is bigger: 1/3 or x?
x
Suppose -6*n - 3 - 9 = 0. Is -1 greater than n?
True
Suppose -3*t - 5 = -4*t. Let m(s) = s**3 - 4*s**2 - 5*s - 3. Let c be m(t). Is -5 bigger than c?
False
Let u be 9/(9/3) + 2. Is 4 bigger than u?
False
Let x = 0 + 0.6. Let d = x + -3.4. Let m = d - 0.2. Which is smaller: 2/3 or m?
m
Let u be (-2 - -3)*(-6)/(-4). Let b(q) = q + 4. Let z be b(-8). Let v = 5 + z. Which is smaller: v or u?
v
Suppose 2*h - 3*h = 3*h. Let q = -9 - -80/9. Which is bigger: q or h?
h
Let m(w) = w. Suppose -2*y + 17 = 4*b - 7, 5*b - 30 = 2*y. Let o be 8/(-4)*b/(-4). Let s be m(o). Is s < 3?
False
Let m(d) = 13*d - 79. Let v be m(6). Is 17 > v?
True
Suppose -5*z = -6 - 24. Let p(q) be the first derivative of q**3/3 - 7*q**2/2 - 2. Let n be p(z). Does n = -7?
False
Let k be 4/(-10) - (-51)/15. Suppose 3*q = 4*a - 19, a = -k*q - 4*a - 10. Which is greater: -6 or q?
q
Let j = 0 - -2. Suppose -j*f - 5*l = 12, -2*f - f + l + 16 = 0. Suppose -5*q - f = -q. Which is smaller: 0 or q?
q
Let o = 24 + -97/4. Which is greater: -0.1 or o?
-0.1
Let m = -16 - -6. Let p be (-6)/(-15)*m/1. Is p greater than -5?
True
Let s = 11 + -7. Let v be 3 + s*2/(-4). Let y be (-8)/14 - 6/(-21). Is y at most v?
True
Let i = -441/8020 - -2/401. Which is smaller: i or 1?
i
Let l be (-494)/(-164) + (-10 - -7). Is 1 greater than or equal to l?
True
Suppose -5*y - 14 - 6 = 0. Let i = y - -4. Let p = -1278/11 - -116. Which is bigger: p or i?
i
Let v be (6/(-4))/(12/(-64)). Is v not equal to 7?
True
Suppose t = -4*s - 1 + 2, 0 = -5*s + 4*t + 17. Is s smaller than -2?
False
Let z be (-2)/(-6) - -3*104/36. Which is smaller: 6 or z?
6
Suppose 2*j - 10 - 4 = 0. Is 9 less than j?
False
Suppose 1 = 5*i - 9. Suppose -i*w - 4 = -10. Suppose 1 = 4*l - w. Is l <= 6/5?
True
Let c(t) = -t + 12. Let q be c(0). Suppose q = 5*r - 8. Let l = 97 + -94. Which is greater: r or l?
r
Let u be 2/8*(-4 - -4). Which is greater: u or -3?
u
Suppose -5*t + 70 = -3*a, 4*t - 52 = -4*a + 4. Are 16 and t non-equal?
True
Let g = 2.1 + -2. Suppose -2*a = 2*a - 36. Let r be 6/(-2)*(-3)/a. Is g less than or equal to r?
True
Let n(o) = -2*o + 2. Let v be n(3). Is -5 bigger than v?
False
Let l be (-2 + 2 + 3)*(-69)/9. Which is bigger: l or -22?
-22
Let v(u) = u**2 - 3*u + 2. Let j be v(3). Suppose 2*s = 3*s + j. Which is smaller: 3/4 or s?
s
Suppose -3*a + 3 = -24. Suppose a = -q + 4*q. Suppose f = q*j - 0 + 7, -3*j - 23 = -5*f. Which is smaller: -1/4 or j?
j
Let l be (-148)/(-32) + 6/16. Is -0.1 less than l?
True
Suppose 40 = 3*i + 4*k, 5*i + 36 = -4*k + 116. Suppose 0 = 2*h - 3*s + 16, 0 = 4*h - 2*s - s + i. Which is smaller: h or -4/7?
h
Suppose -6 = -2*b, -5*b + 10 = 5*t - 0. Suppose 0 = -g - 3*g - 96. Let o be ((-2)/(-2))/((-56)/g). Which is smaller: o or t?
t
Let g = -11 - -11. Suppose -5*a - t + g + 4 = 0, -t = a. Is 2/5 greater than or equal to a?
False
Suppose -4*j - 2*m + 37 = j, 3*j - 5*m = 47. Is j at most 8?
False
Let q be (-6)/(-14)*(-6)/(-9). Let m be -3 - 4*(-4)/8. Is m < q?
True
Suppose -x = 4, 0 = -0*r - 5*r - 3*x - 2137. Let g = r - -2967/7. Does g = -2?
False
Suppose -3*o = -9, 2*o = 2*v + 9 + 3. Suppose 4*b - 7*b = 9. Is v equal to b?
True
Let o = 12 - 13.2. Let d = o - -7.2. Let q = d + -6. Which is greater: q or -0.1?
q
Let p = -96 + 93. Are p and -10 unequal?
True
Let s be (2 + 1)*8/6. Suppose b + s*l - 5 = -1, 5*l = 10. Let a be (-1)/b + (-10)/8. Are a and -3 non-equal?
True
Let s be (0 + 1)/(0 - -1). Let u be -2*8/(-6) + -2. Which is greater: s or u?
s
Let d = 415 + -6229/15. Is d smaller than 0?
True
Suppose -9 = f - 4*f. Let d = -2 + f. Is d bigger than 2?
False
Let o = -10.94 + 11. Which is greater: o or -0.1?
o
Let p = -36 - -35. Is p < 0.4?
True
Let c = 0 - 0. Suppose b = -3*a - 2*b - 18, -4*b - 4 = -a. Let s be (a/(-44))/(-3 - -2). Is s at most c?
True
Let b = -1.7 + 1.6. Let j = 0.9 - b. Let v = -1.3 - 3.7. Is j at least v?
True
Suppose 4 = -2*i + i. Let p = i + 8. Is 4 > p?
False
Let z = -33/5 + 221/35. Let m = z - 3/14. Let l = 19/2 - 9. Which is bigger: l or m?
l
Let p = -1 + -1. Let g = -0.192 + -0.308. Which is bigger: p or g?
g
Suppose 13 = -2*s + 5. Let b be 1*(-2)/(-2 - s). Suppose 4*o + 5*z = 12, -2*z = -83 + 75. Is b less than o?
False
Let n = -21 - -31. Which is smaller: 11 or n?
n
Let q(a) = a**2 - 3*a. Let i be q(3). Do i and -2 have different values?
True
Let p(f) = 2*f**2. Let v be p(1). Let m be (-1)/(-6)*v*-6. Let t be (-1)/5 - m/(-10). Is 5 <= t?
False
Let q be 3/3 - (-280)/(-275). Let w = -59/220 - q. Which is bigger: 16 or w?
16
Let f = -2 + 3. Let p = 270 + -272. Is p > f?
False
Let h be 8 + 3/((-6)/4). Suppose -2*z - 2*o + h = -4*z, -3*o = -4*z - 8. Suppose -2*p + 0*p - 2 = 0, 2*g + z = -3*p. Is 1/2 smaller than g?
True
Let k(n) = -n - 1. Let c be k(-4). Suppose -2*x = -2*u + 6, -2 = 3*u + c*x + 13. Which is greater: u or -3/7?
-3/7
Let z(p) = 2*p**3 + 5*p**2 - 2*p - 3. Let x be z(-5). Is x greater than -118?
False
Let v be 3/(-3) + (5 - 4). Suppose f + 0*f = -3. Let i be 9/15*(-2)/f. Which is bigger: i or v?
i
Let y = -2/21 + 29/84. Let s = 119 + -835/7. Which is greater: y or s?
y
Suppose 0 = 4*r + 3 - 7. Let y = 2 - r. Let l be (60/(-33))/1 + 2. Which is smaller: y or l?
l
Suppose -2*x - 2 = 3*z, -2*x - z + 0 + 2 = 0. Suppose -4*v - 2*n = 14, 0*n - 6 = 2*v + x*n. Which is smaller: v or 0?
v
Let l = 0.18 + -0.27. Let f = l - 1.91. Which is bigger: -0.2 or f?
-0.2
Let b = 2 - -1. Suppose 0 = n - b*n. Suppose 0 = 2*j + 2 - n. Are -2/9 and j nonequal?
True
Let z = 0.003 + 0.017. Which is smaller: z or -2?
-2
Let f(m) = m**2 + 9*m - 26. Let t be f(-11). Do 3/8 and t have the same value?
False
Let u be (3 - (-12)/4) + -1. Suppose 2*a = 3*a + 4*m + 11, 2*m - 17 = -u*a. Which is bigger: a or 3?
a
Suppose -4 = 4*p - 6*p. Suppose p = -h - h. Let n be (0/h)/(2/(-1)). Is n at most 0?
True
Let q be (-30)/(-28)*63/54. Is 2 equal to q?
False
Suppose -3*i + 10 = -5*s, 4 = -s + i - 0. Is -4/5 <= s?
True
Let w be (-2)/(-34)*(-194)/20. Let x = w - 1/34. Suppose i - 1 = -3. Does i = x?
False
Let q = 8 - 13. Let c = 10 - 6. Suppose 3*l + c = -5. Is q bigger than l?
False
Let s be 18/(-21) - 897/105. Is -10 <= s?
True
Let c(d) = 2*d + 3. Let h be c(-2). Let p be (-5)/2 - (-1)/2. Let n = 2 + p. Which is smaller: h or n?
h
Let u = 5 - -10. Let c = u - 13. Let l = 95 - 473/5. Which is bigger: c or l?
c
Let q be (-10 + 7)/(1/(-7)). Suppose 0*g - 3*g + q = 0. Is g less than 0?
False
Let a be 76/22 - 8/(-4). Which is bigger: a or 4?
a
Suppose -3*i - i + 12 = 0. Suppose i*d - 8 = -d. Suppose 3*j = -b + 1, -d*b + 2 = -b + 4*j. Is -1 > b?
True
Let g be (((-13)/(-1))/1)/(-1 + 0). Is -15 < g?
True
Let v be -14*((-1 - 1) + 1). Suppose -2*i - 24 = 2*x, -4*i = 3*x - 2*x + 54. Let m be (-4)/i - (-24)/v. Is 3 equal to m?
False
Let i(r) = -2*r + 2. Let l be i(-5). Is l <= 12?
True
Suppose 2 = -o, 3*d + 2*o - 53 = 6*o. Suppose 3*h = d - 36. Suppose -4*x + 18 = 46. Are x and h equal?
True
Let o(w) = w - 12. Let y be o(11). Which is bigger: -4/3 or y?
y
Suppose -2 = 2*a, r + 2*r = -5*a - 5. Which is smaller: -9 or r?
-9
Let l = -20 - -14. Let h = 10 + l. Is 3 less than or equal to h?
True
Suppose 4*x + 13 = -143. Which is greater: -38 or x?
-38
Let z be 10/35 - 68070/216909. Let p = z + 2/939. Is -1 equal to p?
False
Let t = -1/136 - -13/34. Is t less than -0.1?
False
Let n(s) = 4*s**2 + 2*s + 2. Let o be n(-2). Suppose 0 = -c - 5*x + 20, -c + 2*c = -3*x + o. Is 5 <= c?
True
Let w(g) = -2*g + 3. Let c be w(2). Let s = c + 2. Let m be (1 - 0 - 3)/(-1). Is m <= s?
False
Let g be (1 - 1)/(12 - (2 - -6)). Which is greater: g or 2/313?
2/313
Let j(c) = -c**3 + 9*c**2 - 7*c - 6. Let x = -7 + 12. Suppose -3*a - 40 = -x*t, 3*t - 24 = -0*a + a. Let b be j(t). Are 2 and b equal?
True
Let b be (-4 - -1)*37/(-3). Suppose 5*d = 18 + b. Which is smaller: d or 10?
10
Suppose -40 + 8 = -4*z. Suppose z*b - 4*b = 4. Is b at least -2/7?
True
Let t = 1097/4 + -269. Let d = 71/12 - t. Is -5 at most d?
True
Let a = 192 + -963/5. Let v = -3 - -1. Let h be 3/(-1) + (-1 - v). Does h = a?
False
Let r(v) = -v**3 + 4*v - 3. Let l be r(1). Which is smaller: l or -12/11?
-12/11
Let h be ((-51)/(-1))/(-6 - -7). Let c be 1/(-3) + 11/h. Are c and -2