Suppose x*y - 12*y = -2. Which is greater: y or 8/5?
8/5
Let i = 417 - 6257/15. Which is bigger: i or -0.3?
i
Suppose 14*p - 18*p = 40. Is 1 equal to p?
False
Let c = 16 - 14. Let t be c/6*9/(-6). Which is bigger: 7 or t?
7
Suppose q + 1 = 2*q. Let o be (-2)/(-4) - (-2 + 2). Is o not equal to q?
True
Let w = -1/151 - 281/3171. Let s = 15 - 14. Which is bigger: w or s?
s
Let n = 1.8 - 2. Let a = -0.3 - n. Suppose -3*v = 5*m - 6*v - 3, m = 2*v + 2. Is m smaller than a?
False
Let y(k) = k**2 - 11*k + 3. Let a be y(10). Do -7 and a have the same value?
True
Let j = -0.1 - -2.3. Let s = j + -3. Let a = -0.6 - s. Is 0.2 bigger than a?
False
Suppose 0 = -0*c - 5*c + 45. Let s be (6/c)/(7/3). Are s and 0 non-equal?
True
Let v = 0.071 - -20.129. Let u = v - 21. Which is smaller: u or 1/2?
u
Let u = -1/1041 - 577/1388. Which is greater: u or -1?
u
Suppose 0 = 2*j + 5 - 13. Let u be (j/(-3))/(1/21). Let v be (-27)/(-18)*u/6. Which is smaller: v or -6?
v
Suppose -4*t - 4*y - 8 = -3*t, -4*t = -4*y - 8. Which is greater: -3/29 or t?
t
Suppose 0*s = -2*s + 8. Let y be -1 - 0 - 0/s. Do 1/8 and y have the same value?
False
Let h(y) = y**2 - 12*y - 13. Let i be h(13). Which is smaller: i or 5/17?
i
Let i be 2/((3*-2)/3). Let j be 1 + 8/(-6) - i. Which is smaller: 1 or j?
j
Let c = 23 - -1. Let k = 21 - c. Does -4 = k?
False
Let d = -0.2 - -1.2. Let q(f) = 33*f + 360. Let s be q(-11). Is d > s?
True
Suppose -3*h - 2 - 1 = 0, -4*f + 6 = -2*h. Which is smaller: f or 1/15?
1/15
Suppose -2*q - 2*i = 1 - 11, 4*i = -3*q + 17. Is 3 > q?
False
Let m be (2/4)/(3 + (-30)/(-12)). Which is greater: 1 or m?
1
Let a be 6/15 + 312/(-755). Which is greater: a or 0?
0
Let f = -152/15 - 8/3. Which is smaller: f or -13?
-13
Let u be (-4)/21*(-6)/4. Which is greater: -1 or u?
u
Let p be (-2)/11*530/60. Let v be (-390)/(-99) + 4/(-6). Let k = p + v. Which is smaller: k or 1?
1
Let l = 118.9 + -119. Which is smaller: l or -0.02?
l
Suppose 4*s = 4*h - 4, s - 5*s - 2*h + 26 = 0. Do s and 2 have the same value?
False
Let r be (8/6)/(2/30). Let c be (-4)/r - (-744)/(-5). Let d = 1789/12 + c. Is 0 >= d?
False
Let i be (-178)/((136/18)/2). Let v = i - -47. Suppose 3*d = 4*d. Is d greater than or equal to v?
True
Let j be (-6)/(-9) + 0/2. Let n = 0.08 - 0.02. Let a = -0.14 - n. Is j smaller than a?
False
Let m be ((-4)/(-6))/((-3)/9). Let n = -256 - -254. Is n at least as big as m?
True
Let b = -0.07 + -2.93. Let x = -31.1 - -31. Which is greater: x or b?
x
Let j = 34 - 33. Is -2 smaller than j?
True
Let v(m) be the third derivative of -m**6/120 + m**5/30 + m**4/12 + 2*m**3/3 - 2*m**2. Let q be v(3). Do q and 0 have the same value?
False
Let c = 0 + 4. Suppose -3*u + c = u. Suppose 0 = y - u - 2. Does y = 3?
True
Suppose -5*b - 4 - 6 = 0. Let g = 1 + b. Let v = -136/35 - -18/5. Is v less than or equal to g?
False
Let q = -211/3 + 3581/51. Let j(c) = c**3 + 4*c**2 - 6*c - 5. Let u be j(-5). Are u and q non-equal?
True
Let j(d) = d**2 - 5*d - 13. Let x be j(7). Let l = -1 + 1. Are l and x non-equal?
True
Let f = 1.1 - 13.1. Let p = f - -12.07. Let v = -13 + 12. Which is greater: v or p?
p
Let j be (-8 - -1)*(4 + -5). Which is greater: j or 11/2?
j
Suppose 3*i = 5*i. Suppose i = 4*t - 21 + 5. Let h be 65/75 + t/(-6). Is h bigger than -1?
True
Let p = -5 - -6. Suppose 9*n - x = 4*n - 20, 3*n = -5*x - 12. Let j = 4 + n. Is j less than p?
True
Let p be 3 - ((-46)/(-8) - 2). Which is bigger: 0.3 or p?
0.3
Let a(f) = -f - 6. Let n(w) = 3*w + 17. Let s(i) = 14*a(i) + 4*n(i). Let v be s(-7). Is v equal to 4?
False
Let x = -946/805 + -4/161. Let o(n) = -n**2 - 5*n - 1. Let p be o(-5). Which is smaller: x or p?
x
Suppose -3*c + 4*z + 8 = 2*z, 5 = 4*c + 3*z. Suppose c*n = -3*n. Suppose -3*q - q = 0. Does n = q?
True
Suppose u = -4*u + k + 109, -4*k + 5 = u. Suppose -5*a + 2*i - 16 = 0, 5*a + i = -1 - u. Is -3 smaller than a?
False
Let x be (8/(-12))/((-4)/(-6)). Let y = x + -1. Let d be (-2)/(-7) - 18/21. Is y != d?
True
Suppose n = -16*w + 18*w - 25, -2*w = -4*n - 76. Is n less than or equal to -17?
True
Let d(i) = -i**2 + 3*i + 1. Let s be (-4)/22 + (-70)/(-22). Let c be d(s). Is c bigger than 0?
True
Let d = 13 + 0. Suppose -2*z - 4*m - d = 19, m = 4*z + 19. Is z <= -5?
True
Let m = 11 - 9. Which is smaller: m or 4?
m
Let j(h) = h - 15. Let k be j(-5). Are k and -18 unequal?
True
Let w(u) = -u**3 - 7*u**2 + 4. Let n be w(-7). Which is bigger: 6 or n?
6
Let u = 181 + -253. Are u and -0.1 equal?
False
Let i = 69 - 31. Which is smaller: i or -2/7?
-2/7
Let j = -19 + 19. Is j >= 0?
True
Suppose 3*v + 2 = -4. Let a be 2/(-2) + 1/v. Suppose -2*m + 7*m = -10. Which is smaller: m or a?
m
Let y = 12 + -13. Which is bigger: y or -0.4?
-0.4
Let y(x) = x**3 - x**2 - 5*x - 6. Let c(w) = w**3 - 5*w - 6. Let a(j) = 4*c(j) - 3*y(j). Let l be a(-4). Is 0 < l?
False
Suppose -13 = -3*g + 8. Let m be 8/g + 3/(-21). Is m at most -1?
False
Let q = -333309 + 10994249/33. Let h = q + 150. Which is smaller: h or 0?
0
Suppose 5*d + 10 = -10. Are -2 and d non-equal?
True
Let u(t) = -3*t**2 + 9*t**2 + 9 + 0 + 9*t. Let m be u(-7). Let f = m + -3602/15. Which is smaller: f or -1?
-1
Let l be (4/6)/((-6)/(-45)). Suppose -4*m = -l*y - 12, 2*y + 3*m - 9 = 3*y. Is 1/4 at most y?
False
Let w = 102/13 - 1708/221. Is 1 at least w?
True
Let r(b) = 4*b + 30. Let d be r(-7). Are 0.6 and d non-equal?
True
Let m = -3.23 - -0.23. Let k be ((-6)/10)/(6/(-4)). Is k not equal to m?
True
Let v = 13 + -13. Which is smaller: -2/3 or v?
-2/3
Suppose -4 = 2*y - 6, -3 = 4*b + y. Let r be (-1)/(4/6)*-2. Suppose -4*f - 11 + r = 0. Is b >= f?
True
Suppose -g = -5*n - 12, -3*g - 2*n - 2 = 2*n. Let u be ((g + -1)/1)/1. Suppose -117*p + 119*p - 2 = 0. Do p and u have different values?
False
Let u = 146 + -145. Which is smaller: u or 2/7?
2/7
Suppose -5*v - 6*l = -4*l + 30, 3*v - 8 = 4*l. Is v < -19/7?
True
Let y be (-92)/69*3/2. Which is bigger: y or -16?
y
Let t = 317 - 293. Let i be 22 + 0 + 2/2. Is t != i?
True
Let b(t) = -5*t**3 - t**2 + t - 1. Let y be b(1). Let k = 1 + y. Suppose -5*v = -v + 16. Which is bigger: k or v?
v
Let n = -4 - -10. Let x be (-4 + 1)/n - -2. Which is smaller: x or -1?
-1
Let c(q) = -10*q**2 + q + 1. Let g be c(-1). Let w be (-16)/65 - 4/g. Is 1 at least w?
True
Let w(x) = -5*x**2 + 1. Suppose t = -0*t + 2. Suppose -t = -i - 1. Let b be w(i). Which is greater: b or 1?
1
Suppose -23 = -l - 5. Suppose -4*g - 2 = -l, 0 = -4*p + 4*g. Suppose -15 = p*m + m. Which is bigger: m or 2/7?
2/7
Let w = 1.2 + 0.8. Do w and 0.1 have the same value?
False
Let t(r) = -3*r - 2. Suppose -2*n + 3*x - 2 = -1, -2*n = x + 5. Let l be t(n). Are l and 4 equal?
True
Suppose 5*h + q = 17, -q + 20 = 2*h - 5*q. Let s be 2*(6/h + 0). Is 1 not equal to s?
True
Let a = 0.0342 - 5.0242. Let i = a + 5. Is i equal to 0.1?
False
Let h(l) = -l**3 - 5*l**2 + 7*l - 2. Let j be h(-6). Let s(q) = -3*q - 12. Let o be s(j). Which is bigger: 13 or o?
13
Let k = 46 + -31. Which is smaller: k or 1?
1
Let k = -0.12 - -5.12. Let n = -36.1 - -31. Let q = n + k. Is q at most -0.1?
True
Let h(f) = -f**3 + 3*f**2 + 4*f. Let a be h(4). Suppose 0*p + p - 2 = a. Which is smaller: p or 3/5?
3/5
Let x = 7.8 - 7. Let t = 0.2 + x. Let w be -5 - 5/10*-10. Which is smaller: t or w?
w
Let d(m) = -3*m**3 + m**2 - 4*m + 3. Let k be d(2). Is k equal to -24?
False
Let u = 31 + -28. Which is smaller: u or -2?
-2
Let g(q) = -q + 12. Let h be g(9). Let l be (380/30)/(2/h). Suppose d = -5*j - l, -d - 1 = -3*j - 14. Which is smaller: d or 0?
0
Suppose 4*k - 2 - 6 = 0. Suppose -s = -2*v - k*s - 6, 12 = -3*s. Which is greater: 0 or v?
0
Suppose 6*n = 5*n - 1. Is -4 smaller than n?
True
Suppose 3*v - 5*v = 0, 3*o + v - 195 = 0. Let y be 8/(-30) + 26/o. Which is greater: y or 1?
1
Let f = 2 - -1. Suppose -13 = -4*s - f*c + 4*c, 5*s = -4*c + 11. Let d(j) = j**3 - 3*j**2 + 2. Let b be d(s). Is 2 > b?
False
Let q be -3 + (128/22 - 3). Which is greater: 1 or q?
1
Let c(k) = 5*k**2 - 7*k + 9. Let u(o) = -o**2 - o. Let g(h) = c(h) + 4*u(h). Let d = 17 + -7. Let s be g(d). Which is greater: 1/4 or s?
1/4
Suppose 0 = -3*z + 10 - 4. Suppose -o - z*o = -3. Which is bigger: -2/5 or o?
o
Let x = -3 - 3. Is -4 less than x?
False
Let m be 9/(-12) - (-489)/684. Which is smaller: 0 or m?
m
Let v = 3 + -3. Suppos