ast as big as -4/7?
True
Suppose 22*r = 20*r + 6. Is -2 bigger than r?
False
Let y = 9 - 11. Let f be (y - (1 + -3))/2. Does -2/57 = f?
False
Let s = -28.83 - 0.17. Which is smaller: s or 2/5?
s
Let u be 0/2 - -2 - 1. Let y = -2 - u. Are 0 and y unequal?
True
Let g = 11 + 7. Is 18 at most as big as g?
True
Let l be ((-7)/21*1)/((-3)/(-9)). Let z = 154 + -5700/37. Is z > l?
True
Let k = -3.51 - -3.3. Is -0.2 greater than k?
True
Let y = -213/4 + 53. Are 0.4 and y non-equal?
True
Suppose 29*f + 1 = 30*f. Which is smaller: f or 0?
0
Let b be 1/2*(5 - -1). Suppose 3*n = b*r, 2*r = 5*n - n - 2. Which is greater: n or 1/8?
n
Let a(y) = 2*y**2 - 4*y. Let t be a(3). Let s be 3*t/9 - -2. Suppose b + s*b = -3*v - 4, 5*v + 13 = -2*b. Which is greater: 1/8 or b?
b
Let y be -1 + 0 + (-17)/(-18). Let t = -5/18 + y. Suppose 4*l = 6*l + 2. Which is smaller: l or t?
l
Let g be (-1216)/(-60) + (-4)/(-10). Let p = -440/21 + g. Is 0 greater than p?
True
Suppose 3*y = -5*w + 2, 0 = -5*y + 2*w - 3 - 4. Is -3/13 equal to y?
False
Suppose -3*f + 6*x = 3*x + 30, 5*f + 5*x + 100 = 0. Let l be ((-20)/f)/((-4)/18). Is -6 at least l?
True
Let h(i) = i**3 + 2*i**2. Let p be h(-2). Let l = 5 + -9/2. Are p and l non-equal?
True
Let x = 3/37 + -95/259. Which is bigger: x or -0.9?
x
Suppose -3*w = 2*w + 15. Let l = -4 - w. Let h be (l - (-3)/3)/(-2). Which is bigger: 0.1 or h?
0.1
Suppose 2*w + f = 0, 2*f + 0*f = 5*w. Suppose d - 3*d = w. Let i be (4 - 4)*1/(-2). Is i at least as big as d?
True
Suppose -5*q + 23 + 7 = 0. Suppose 11*l + 5 = q*l. Let p be (-2)/78*2*3. Is p bigger than l?
True
Let y be (-2)/250*((9 - 3) + -4). Is y > -1?
True
Let b = -9.2 - -0.4. Let j = 8 + b. Let z = 2.8 + j. Is -0.1 at least as big as z?
False
Let i = -9 - -9. Let f be -3 + i + 6 + -3. Which is greater: -3/14 or f?
f
Let o = 0 + 3. Suppose 3*w - 15 = -0, o*w + 10 = 5*k. Which is greater: 6 or k?
6
Let r(a) = 17*a**2 - 1. Suppose 2*i = 6*i - 4. Let c be r(i). Which is bigger: c or 17?
17
Let r be (6/63)/((-3 + 4)/7). Are r and 22 equal?
False
Let j be (-1)/4 - (-54)/24. Which is smaller: j or -0.1?
-0.1
Let p = -8 - -12. Let d be (-25)/4 + 1/p. Let q be 75/60*(-2 - 2). Which is greater: d or q?
q
Let d = 6/11 - -9/44. Is d at most as big as -11?
False
Let p be ((-1)/(-3))/(70/2667). Let y = 13 - p. Which is smaller: -1 or y?
-1
Let b be (4/(-8)*-1)/((-1)/4). Are b and -5 non-equal?
True
Let y(u) = u**2 - 2*u + 3. Let l be y(2). Let o be ((-45)/(-6))/l + -1. Which is bigger: o or 3?
3
Let u = 0.4 - -0.6. Is u less than or equal to 6?
True
Let p = 7 + -7.15. Is p greater than -2/5?
True
Suppose 0 = -2*i + 5*i - 15. Suppose 2 = f - 4*j, -i*j - 1 = -f - 2*j. Do -2 and f have the same value?
True
Suppose 0*y + 3 = -3*y. Is y bigger than 1/11?
False
Let b(g) = -2*g**3 + 2*g**3 - 4*g**3 + 5*g**3 + 5*g + 6*g**2. Let t be b(-4). Does t = 12?
True
Let o = 81 - 81. Is 2/5 less than o?
False
Let w be (13 + -12)*1/4. Let v = -332/507 - 2/169. Which is greater: v or w?
w
Let w(b) = b**2 + 4*b - 3. Let i be w(-5). Let q = 2 + i. Suppose -4*v - 20 = 0, 5*c - 4*v = -0*v + 35. Is q at least as big as c?
True
Let z(t) be the third derivative of -t**3/6 + 2*t**2. Let g(o) = o - 6. Let n(k) = -g(k) + 5*z(k). Let d be n(-1). Is d < 0?
False
Let s = -15.3 - -5.1. Let w = 10 + s. Which is smaller: 0 or w?
w
Let f = -0.031 - 13.969. Is f less than or equal to 2?
True
Let q = 8 - 2. Suppose 2*h = -4*z - 2, -2*h + q + 4 = 0. Suppose 0*y = 4*d + 4*y, -d - 12 = -3*y. Is d > z?
False
Let a = 11 + -17. Let l = 5.94 + a. Does l = 0.1?
False
Let b be -2 - (-1 - (0 + 0)). Is 2/133 > b?
True
Let i be 1343/(-918) - 6/(-4). Which is bigger: i or -1?
i
Let u be 6*2*5/3. Suppose 4*q - u = 3*t, 2*q - 7 = 4*t + 3. Let c = -1.2 + 0.2. Is c at least t?
False
Let j = -23 - -14. Let o be j/(-4) + (-1 - -2). Let d = o + -3. Which is bigger: 1 or d?
1
Let i = 5 - -6. Suppose -2*g = i + 21. Which is smaller: -15 or g?
g
Let g be -2 + (-114)/21 - 33/(-77). Which is greater: g or -6?
-6
Let l be 4/(-10) + (-84)/(-10). Suppose 3*w - 4*q + l = -0*w, w = 5*q - 10. Let o = 2 - -2. Is o at least as big as w?
True
Let k be 162/(-710) - (-19)/95. Which is smaller: k or 0?
k
Let v be 8/(-6) + 890/735. Let k = -214/147 - v. Is -1 at least k?
True
Suppose -5*r + 3 = -2. Let t be (-2)/(-5 - (0 + r)). Let d(l) = -l**3 - 4*l**2 - 1. Let p be d(-4). Is p not equal to t?
True
Let j be -10*(25/5)/(-5). Is 8 < j?
True
Let f = -5 - -5. Let n = 2/243 - -233/1215. Which is smaller: f or n?
f
Let a be 21/15*(-30)/(-48). Does 1 = a?
False
Let k be (8/10)/((-8)/(-80)). Which is greater: 9 or k?
9
Suppose -5*n - 5 = 15. Which is smaller: n or 4?
n
Let z be 1 + (-322)/(-8) - (-4)/(-16). Is 40 at most z?
True
Suppose -p + 4*n + 11 = 0, 5*n + 6 = -p - 1. Which is smaller: 1 or p?
1
Suppose h + 3*h = 32. Suppose -4*w + 5*u + 7 = 0, h = -w - 5*u - 9. Suppose -3*f - f = -v + 11, -5*v + 2*f + 1 = 0. Which is smaller: w or v?
w
Let u = -11/28 - -13/140. Which is bigger: -1 or u?
u
Suppose -5*a + v + 200 = 0, 15 = -7*v + 4*v. Which is bigger: 40 or a?
40
Suppose 0 = k - 2*k - 2. Let s be (2/5)/(k/10). Let a = 49 - 48. Which is smaller: a or s?
s
Let y be 6/6*1*-13. Let g be y/21 + (-6)/(-21). Are g and 1 non-equal?
True
Let m(a) = a + 17. Let t be m(0). Let j = 120/7 - t. Is j less than 0?
False
Let j = 2 + -2. Suppose 2*p = -0*p - 8. Is j at most p?
False
Let l(f) = -28*f - 27. Let h be l(-1). Suppose 3*k = k + 6. Is k less than or equal to h?
False
Suppose -3*r = -r + 4. Is r at least as big as -1?
False
Let h = 127/4 - 32. Which is smaller: h or 0?
h
Let v = -13 - -5. Suppose 6*z - z + 27 = 3*o, -4*o + 20 = -4*z. Do v and z have different values?
True
Let a be (-4)/16 - (1 + -1). Let r(i) = i**2 - 4*i + 2. Suppose 4*v - 10 = 2. Let n be r(v). Is n != a?
True
Let k be 20/(-8) + (10/2 - 2). Which is smaller: k or 28?
k
Let n be (9/2)/(5/(-10)). Is -10 greater than n?
False
Let j be 2/(0/(-5) + 2). Which is smaller: j or -0.14?
-0.14
Let u(j) = -2*j + 1. Let t be u(1). Let v = t - -4. Let b = v - 1. Are 2 and b nonequal?
False
Let q be 3/(-5) + (-204)/(-1040). Let h = -2/385 + -744/5005. Let i = q - h. Which is smaller: i or 0?
i
Let z(i) = -i + 1. Let x(j) = j**3 + 3*j**2 + j - 1. Let l be ((-6)/(-9))/(3/(-9)). Let m be x(l). Let p be z(m). Which is smaller: p or 4/5?
p
Let g be (-3)/6*3*2. Let x be (7 - 1)/((-3)/2). Is x > g?
False
Let p(z) = -z**3 + 3*z**2 + 4*z. Let y be p(4). Suppose -5*f + 2*h = 13, 11*f - 2*h = 14*f - 5. Is f > y?
False
Suppose 0 = -4*g - 0*g. Let j = -899/3 - -1906/15. Let r = j - -172. Which is smaller: g or r?
r
Let h = 15 - 14. Suppose 0 = -3*c - l - h, -5*l = 2*c + 1 - 22. Which is smaller: c or -7/6?
c
Let t be 1444/3*2/(-12). Let c = -80 - t. Which is bigger: c or 0?
c
Suppose 5 = 3*z + 2*z. Is 1/2 greater than or equal to z?
False
Let b be 6/(-2)*(-8)/(-6). Let i be 12 + 1 + (4 - 5). Let x be 1 + 3/i*-2. Which is bigger: b or x?
x
Let g = 111 + -765/7. Which is smaller: g or -1/4?
-1/4
Let k(i) = -i - 3. Let u be k(-4). Is u bigger than 1/2?
True
Let i be (-1770)/(-27)*12/1150. Let q = i + -2/115. Which is smaller: q or 0?
0
Suppose 3*k - 6 = 5*z, -k = -2*z - 2*k + 2. Which is smaller: z or -0.25?
-0.25
Let h be 1 + ((-3)/(-3) - -424). Let w be h/3 + 1 - 1. Let u = 1560/11 - w. Which is greater: u or 0?
0
Let h = 27 + -39. Let t = -10 - h. Let q = t + -2. Is q at most 3?
True
Let k be -2 + 28*(-2)/(-4). Suppose -4*b = 3*w + k, -3*w - b - 2 - 1 = 0. Which is greater: w or 2/19?
2/19
Let m = 11 + -12. Which is bigger: -7/4 or m?
m
Let b be (-7)/(14/24)*13/(-39). Suppose 2*z - 4*l = 14, 3*z + 3 = -3*l + 15. Suppose 3*p - z = b. Which is smaller: 2 or p?
2
Let w be 2/3*(0 + 3). Let i be w/4*(1 + -1). Let t be (4/(-2))/(2 + i). Do t and 0 have the same value?
False
Let p(b) = -b**2 + 3*b + 2. Let j be p(4). Let g = 11 + -15. Which is bigger: j or g?
j
Suppose 2*v = -5*x + x + 2, 4*x + 3*v - 1 = 0. Is x at most 2.6?
True
Let u be (-1)/(1/(1 - 0) - 0). Are u and 0.03 equal?
False
Let q = -9 - -17. Let h(p) = q*p - 6 - p - p + 2*p**2 - p**2. Let w be h(-7). Is -1/5 greater than w?
False
Suppose -n + 27 = 2*n. Let m be 18*(10/4)/5. Let z = m - n. Does 1 = z?
False
Let a(q) = -q. Suppose 5*i = -j - 30, -5*j - 8 - 4 = 2*i. Let c be a(i). Let d = c - 