 = 14387/11 - 1309. Which is smaller: -2 or r?
-2
Let o = -10 - -2. Let w = 7.8 + o. Is w bigger than -2?
True
Suppose -5*c - z = -59, 2*c + 0*z = 5*z + 29. Suppose 5*l = 2*l - c. Which is smaller: -6 or l?
-6
Suppose -a + 7 = 2*d + 2, 18 = 2*a + 2*d. Suppose 2*k - 3*x + a = 7*k, 4*k = -x + 9. Which is smaller: k or 3?
k
Let g be ((-12)/40)/(12/(-10)). Which is bigger: g or -0.22?
g
Let w = 6.9 + -10. Let h = w - -0.1. Let k = h - -2. Is 3/7 greater than or equal to k?
True
Let s = -34 - -51. Do 2/5 and s have the same value?
False
Let l(b) = b - 5. Let v be l(5). Is 0 at least v?
True
Let q be 43284/15*(-1)/8. Let v = q - -361. Suppose 4*j + 8 = 2*j, -5*j - 19 = s. Is v greater than s?
False
Let f = -2/687 - -1607/1374. Is 1 at most as big as f?
True
Let q = 117.1 - 117. Is q > 1/31?
True
Let p = -111 + 126. Which is bigger: p or 47/3?
47/3
Let j = -8 + -21. Is j greater than -0.1?
False
Suppose 3*o - 19 - 2 = 0. Suppose 4*m - 1 = o. Suppose 5*w = m*i + 2, i - 3*w + 1 = -0*w. Is i != -3?
True
Let c = 47 + -47. Is c equal to -1?
False
Let m = 10 - 11. Is m <= 3/13?
True
Let f(n) = 4*n**2 - n - 1. Let d = 7 + -8. Let x be f(d). Which is smaller: x or 1?
1
Let a(c) = -c**2 - 2*c + 2. Let s be a(3). Let h be 67/s + (-12)/(-78). Let x be (-1)/(-2) - 44/8. Is x not equal to h?
False
Let d = -15 - -106/7. Do d and 1 have the same value?
False
Let t = -767/8 - -96. Are t and -1 unequal?
True
Let i be ((-16)/6)/((-105)/9). Let x = i - 142/315. Suppose -y = -4*b + 11, 7 = -2*y - 2*b + 5*b. Which is greater: y or x?
y
Let v be (0/(-2))/(-1) - 0. Let s(q) = q + 9. Let i be s(-5). Suppose 0 = i*b + b. Is v > b?
False
Let i be 68/24 + (-1)/(-6). Let w = 3 - i. Suppose 3*h - 2*h - 3 = w. Is h at least as big as 4?
False
Suppose 7 = 9*h + 7. Let c be 3/18*9/12. Is h < c?
True
Suppose -5*y + 2*d = -9 + 1, -4 = -4*d. Suppose y*j - 12 = 4*t, 3*t + 2*j - 5 + 0 = 0. Which is bigger: 1 or t?
1
Suppose -g - 4 + 6 = 0. Let o = 106.1 - 114. Let v = -8 - o. Which is smaller: g or v?
v
Suppose -3*q = -2*y - 1 + 14, y + 1 = -q. Is -4 > q?
False
Let g = 489.03 - 489. Let f = 2 - 3. Is f greater than g?
False
Suppose 5*l - 7 = 13. Suppose -5 = -5*s, 4 = -l*x - s + 1. Is x not equal to -2/41?
True
Suppose 5*m - 134 = 4*u, -3*m + 5*u + 76 = 7*u. Let x be (-84)/m + (12 - 8). Is x greater than or equal to 0?
True
Let z be ((-13)/(-4))/(45/(-36)). Which is smaller: -2 or z?
z
Let a(l) = -l**2 - 7*l - 5. Let k be a(-6). Let q be -2*k + 1 + 0. Is 2/25 < q?
False
Suppose -z + 102 = 2*z. Suppose r + 5*v = 2*r - 12, -z = -5*r - v. Suppose -27 = -4*t - r. Do t and 5 have the same value?
True
Let y(k) = 5*k - 2*k + 3*k**2 + 5 + 0*k - k**3. Let g be y(4). Suppose 0 = 3*p - 8*p. Which is greater: g or p?
g
Suppose 0*d - d = 0. Let i = -33/13 + 133/78. Is d at most as big as i?
False
Let g = -0.9 - -0.77. Let v = -0.07 + g. Is v at most as big as -4?
False
Let l be 5/3 - 2/3. Suppose -3*t + 6*t = -21. Let w = 5 + t. Is l smaller than w?
False
Let g(t) = -5 - t + 1 - 2. Let k be g(-8). Do k and 2/3 have the same value?
False
Let y = 24 + -16. Let h = 10 - y. Is 2 <= h?
True
Let v be (-12)/(-21) + 236/(-168). Do v and 0 have the same value?
False
Let l = 1 - 4. Let y = 0 - l. Let p be 2 + -2 + 4/y. Which is smaller: p or 1?
1
Suppose 0 = 5*f - 5*b - 45, 4*f + 3*b - 20 - 51 = 0. Suppose -16*x = -f*x. Is 3/11 bigger than x?
True
Let z be 6/(3*2/4). Suppose -3*c - a + 12 = 0, 5*c + z*a = 3*a + 18. Suppose 15 = c*w + 2*w. Is w at most as big as 3?
True
Suppose i = 5, l + 0*l - 19 = -3*i. Suppose -3*h + l*h = -5. Is h at least -7/2?
False
Let b be 310/52 - 5 - 1. Which is smaller: -3 or b?
-3
Suppose -2*c = 4*v - 16, 5*c - 4 + 0 = -v. Let l(r) = 2*r. Let j be l(1). Is v at least as big as j?
True
Let l be (-5)/(-7) + 7/(-21). Let s = -28033 - -6475577/231. Let t = s + l. Do -1 and t have different values?
True
Let s = -258 - -260. Let d(j) = -j**2 + 2*j + 1. Let w be d(3). Is w != s?
True
Let b be -1 + (0 + -2 - -3). Suppose b*l - 3*l = 0. Is l greater than -1?
True
Let n = -16.6 + 18. Let k = -1.4 + 1. Let q = n + k. Which is smaller: 2 or q?
q
Let d = -190 - -3041/16. Is d less than -1?
False
Suppose 4*y = 3*y + 4. Let s = -25/6 + 23/3. Is y > s?
True
Let v(s) = -2*s + 11. Let u be v(6). Which is smaller: u or -21?
-21
Suppose 0 = -k + 7 + 16. Which is smaller: 24 or k?
k
Suppose -70*b = -71*b - 1. Is 1 <= b?
False
Let l be ((-394)/14)/((-8)/104). Let c = -367 + l. Is 0 > c?
True
Let m = 21 + 0. Let u be (-6)/14*m/(-30). Which is bigger: 0 or u?
u
Let u(g) = 15*g**2 + 9*g - 4. Let o(k) = 8*k**2 + 5*k - 2. Let m(s) = -11*o(s) + 6*u(s). Let v be m(-1). Is -3/11 smaller than v?
True
Suppose -3*m = -4*q - 2, q + 3*q - 2*m = -4. Let r = 4 + q. Suppose -r*k = k. Are k and 2/9 equal?
False
Let k = -659/42 - -104/7. Let z = -7 - -5. Which is greater: k or z?
k
Let m = -74 - -126. Let y be (-3)/((-48)/m) + -3. Is y at most as big as 1?
True
Let i = -0.5 - -0.38. Let r = -7.12 - i. Let u = 10 + r. Which is greater: u or -0.1?
u
Let f be ((-2)/(-30))/((-156)/72). Which is greater: 1 or f?
1
Let j(n) = -n**2 - 5*n. Let h be j(-7). Is h <= -14?
True
Let w(c) = -c - 13. Let b be w(-14). Which is smaller: b or -14?
-14
Let m be (3 + 0)/6*(2 - 3). Which is bigger: m or 2/25?
2/25
Let f = 0 + 3. Suppose 0 = -4*s + f*q + 29, 0*s + 3*q = -s - 4. Which is greater: 6 or s?
6
Let f(g) = -2*g + 4. Let u be f(0). Let p be (-1 + (-3)/2)*-2. Suppose -3*v + p*b + 25 = 0, -4*b - 5 = u*v + 15. Is v at least -2/5?
True
Suppose 0 = -6*s + 4*s - 4. Let a be 322/(-8)*(2 - 3). Let d = -40 + a. Is s bigger than d?
False
Suppose y = 2*y + 5*u, 95 = -4*y - u. Is y > -27?
True
Let s(b) = -b**3 - 7*b**2 - 5*b + 8. Let k be s(-6). Suppose 4*i - i = k*u - 17, -5*u = 4*i + 38. Is -7 greater than or equal to i?
True
Let q = -0.19 - -16.19. Let i = -17 + q. Is 1/3 smaller than i?
False
Let t be 2 + 0 + -3 + 5. Suppose -416 - 480 = t*d. Let n = d + 2018/9. Does n = -1?
False
Let q be 2/(-9) + (-35)/45. Let l be q + (-2)/(2/(-3)). Suppose 0 = -z + 2, 3*y = -l*y - 4*z + 8. Is 0 less than or equal to y?
True
Let f(g) = -3*g - 15. Let m be f(-5). Which is smaller: m or -5/11?
-5/11
Suppose -5*f + f = -44. Let g = f + -14. Is -20/9 != g?
True
Let d(t) = -t**3 - 8*t**2 - 11*t + 6. Let f be d(-6). Which is smaller: f or 1?
f
Let y = 21 + -14. Which is smaller: 5 or y?
5
Let u(w) = w**3 - w**2 - w. Let m be u(0). Suppose 2*r = 4*r. Is r >= m?
True
Suppose 3*u + 12 = 0, -2*m + 7 + 5 = -3*u. Which is greater: m or -1/22?
m
Let u = 23 - 16. Let o = u - 7. Let a = -1 + 3/2. Are a and o unequal?
True
Suppose 4*h - 28 = y, -3*h + 11 + 9 = -y. Let s = h - 7. Is 1 greater than or equal to s?
True
Let q = -5 - -3. Suppose 15 = -2*o - 3*o. Let i be 0 - ((-2)/1 - o). Are q and i equal?
False
Suppose -4*s - 1 + 17 = 0. Suppose -3*n + 3*q = -13 - 11, 5*q + 20 = 0. Do s and n have the same value?
True
Let g = -75 + 76. Which is bigger: 3/2 or g?
3/2
Let v(o) = o**3 - 13*o**2 + o - 11. Let i be v(13). Is 4 at least as big as i?
True
Let t be (-2)/((-4)/(-723)*3). Let h = -117 - t. Is 5 not equal to h?
True
Let f(s) = -31*s**3 + 2*s + 1. Let z be f(-1). Let r be (-3)/2*z/(-9). Do r and 7 have the same value?
False
Let u = -10 - 3. Let s be u/26*4/6. Which is smaller: -1 or s?
-1
Let i = -12 - -11. Which is smaller: i or 0.2?
i
Suppose 6*s - 105 = -5*r + 3*s, 5*s + 29 = 3*r. Let n = r + -18. Which is bigger: 3/5 or n?
3/5
Let z be 30/24*(7 + 1). Let n = z + -10. Which is greater: n or 0.4?
0.4
Let x(z) = z**3 + 4*z**2 + 2*z - 7. Let u be x(-3). Are -4 and u equal?
True
Let l = -0.2 + 0.2. Let r be (-2*(-3)/(-96))/(1/6). Is r greater than or equal to l?
False
Suppose 0 = 4*u + x - 44, 7*x - 11*x = 4*u - 56. Which is smaller: 12 or u?
u
Suppose 2*u - 5*u = 0. Let a be 5*(6/10 + u). Suppose 0 = -5*v + 5, -3*v + 2 = 4*i - a*i. Is i < 1/13?
True
Let w = -8.5 + 8. Let i = w + 0.1. Is -1/4 not equal to i?
True
Let y be ((-264)/5225)/((-4)/290). Let j = 100/19 - y. Which is smaller: j or 3?
j
Suppose -19 = 5*v + 1. Is -3 at least v?
True
Suppose 2*g - 27 = -31. Which is smaller: g or -6/7?
g
Let l(i) = -i**3 - 3*i**2 + 3*i + 1. Let o be l(-3). Let q be (-4)/(-6)*(2 - 57/6). Let t = o - q. Are t and -4 non-equal?
True
Suppose -6*g - 170 = -g. Is -34 at most g?
Tru