12 - k). Which is greater: i or 0?
0
Suppose 4*j - 108 = 5*q, 2*j - 5*q - 24 = 40. Let s be j/(-6) + 2/3. Is -3 at least s?
True
Suppose -3*j + 117 = -n, 0 = -j + 4*n + 18 + 10. Which is greater: j or 38?
j
Let g = -33 - -48. Suppose 2*w = 5*d - 0*w - g, -5*w = 5*d - 15. Let z be 0 + (0 - (-3 - -2)). Is z < d?
True
Let m = 3 + 2. Suppose 3*r + 2*r = -m*x - 15, -3*x = -5*r + 17. Let i = x + 3. Is 0 at most i?
False
Let b be (14 - 15)*2/737. Let r = b - 687/18425. Are 1/4 and r equal?
False
Let z be 0/(-3*8/12). Let f = -622 + 3177/5. Let v = -474/35 + f. Which is bigger: v or z?
z
Let q(h) = 3*h + 7. Let u be q(0). Which is smaller: 8 or u?
u
Let j be 98/(-42) + 4/3. Which is smaller: j or -14/9?
-14/9
Let o be -47*(-6 + 30/6). Which is bigger: o or 45?
o
Let x = -118 - -828/7. Suppose 2*j + 7 = 9. Which is greater: x or j?
j
Let a = -18 - -11. Is -6 < a?
False
Suppose 2*j = 4*j - 18. Suppose -2*m + 158 + 58 = 0. Let s be 51/m - 2/j. Which is smaller: s or -1?
-1
Suppose 0 = -2*o - 3*o + 3*z + 62, -2*z = 3*o - 41. Which is smaller: o or 12?
12
Suppose -5*g - 2 + 12 = 0. Let f be (-2)/6*3/g. Let j = -2 - 0. Is j > f?
False
Let i = -21 + 20. Is 2/23 not equal to i?
True
Suppose -2*g = -4*g - 8. Let u = 4 + 1. Let o(k) = -k**2 + 5*k - 5. Let p be o(u). Which is smaller: p or g?
p
Let j = -1.4 - 0.6. Is j not equal to -1?
True
Suppose -w = 0, 2*a - 2*w - 12 = 2*w. Suppose -5*y - 4 = a. Is -2 at most as big as y?
True
Let m = -12.914 - 0.186. Let x = -13 - m. Let z = 179/748 + 2/187. Which is smaller: z or x?
x
Suppose 4*a + 4*n + 44 = 0, n + 27 = -2*a - 0*a. Let s be (12/216)/((-2)/a). Is s bigger than 1?
False
Let b = 7 - 3. Suppose 2*y + 8 = -0. Let g be (-6)/(-3) - (-10)/y. Which is greater: g or b?
b
Let z(o) = o**2 + 2*o - 2. Let a be z(2). Let b(q) = -2*q + 12. Let v be b(a). Which is smaller: v or -1/3?
-1/3
Let i = -86 + 84. Let c = 0 - 2. Is c at most i?
True
Let z(v) = -v - 1. Let s be z(-1). Let y be (-28)/105*(-3)/2. Which is smaller: s or y?
s
Let m be 2*(-14)/(-4) - -3. Suppose 2*r = 4 - m. Is -2 greater than r?
True
Let v = 805 - 5697/7. Let w = 67101/7826 + -3/1118. Let f = w + v. Which is smaller: f or 0?
f
Let c = 23 + -13. Which is smaller: c or 1/2?
1/2
Let h = 4 - 3. Let o(j) = -j**2 + 9*j + 8. Let q be o(10). Let y = q + h. Is y at most as big as 0?
True
Let d = -99 + 71. Is d greater than -28?
False
Let h be (-768)/1512 - 4/(-14). Let a(m) = 13*m**2 + 1. Let j be a(-1). Let n be (-4)/j - 10/14. Which is bigger: n or h?
h
Let o = 5 + -7. Is -1/3 greater than o?
True
Let v be 3/1 + (-210)/15. Is v <= -13?
False
Suppose -5*b = 5*u + 9 + 266, -162 = 3*u + 4*b. Is -58 at least u?
True
Let l = -869/3 + 293. Which is smaller: 4 or l?
l
Let s = -115229/116970 + -1/1671. Let o = 3/10 - s. Let k = -11/14 + o. Is -0.5 <= k?
True
Suppose 3*v + 0*v - 12 = 0. Let h = -4 - -6. Suppose 0 = v*t - 2*p - 5 + 21, -3*p - 24 = h*t. Is -5 less than or equal to t?
False
Let v(r) = 5 - 2*r - 3*r - r**2 + r. Let l be v(-5). Which is greater: l or 2/3?
2/3
Suppose -11 = -5*b + 14. Suppose 3*g - 2*n + 1 + 0 = 0, -3*g - 5*n + 34 = 0. Which is bigger: b or g?
b
Suppose 0*w + 4*w + 3*g = -703, 2*g - 873 = 5*w. Let d be ((-2)/5)/((-5)/w). Is d != -13?
True
Let c be ((-466)/8)/((-7)/4). Let d = c + -33. Which is smaller: d or -5?
-5
Suppose 3*g + g = 12. Let f = g - 1. Suppose -4*x + 15 = -4*a - a, -f*x - a = 3. Which is smaller: x or -1/4?
-1/4
Let z be 14/(-4) + (-3)/(-6). Let s = 4 + z. Let k be 20/9 - (3 - 1). Which is smaller: k or s?
k
Let j(q) = -q - 9. Let a be j(-9). Which is greater: -7/8 or a?
a
Suppose 0 = -2*k + 4*k - 54. Let q = -134/5 + k. Which is greater: q or 0.1?
q
Let t be (-16 - -4)*1/2. Let x = t - -10. Which is greater: x or 3?
x
Let h = 847/153 - 50/9. Let n = 47/204 - h. Let c = 0.03 - 3.03. Is n > c?
True
Let o = 0 + -4. Let w = 4.4 + o. Let u = w + -0.2. Which is bigger: 0 or u?
u
Let m = 1 + -3. Let u be (-1)/(0 - (1 - 0)). Let i be u/3 - m/(-6). Is i < 0?
False
Suppose 2*p = -3*p - 3*m - 17, -p - 4*m = 0. Do p and -4 have the same value?
True
Let t = 1 + 1. Let w be (4/(-6))/(t/(-3)). Do w and 10/9 have different values?
True
Suppose 0 = -2*j - j. Suppose 0 = 3*q - 2*x - 4, 3*x + j + 3 = 3*q. Is 6/7 smaller than q?
True
Let l(y) = -2*y**2 + 13*y + 7. Let v be l(7). Which is smaller: v or 1/9?
v
Let x = 0 + 2. Let g be (x/5)/((-4)/(-5)). Let v = -1/2 - -1/4. Is g greater than or equal to v?
True
Suppose -8*v + 3*v - 25 = -2*q, -q - 4*v = 20. Which is bigger: q or 3?
3
Suppose -5*z - 2*s - 3 = 5, s = -4*z - 7. Let f be 1*z + 2 + -2. Let h be (0 + 3)/((-3)/2). Is h equal to f?
True
Let b be 7/(385/(-30)) - -2. Which is smaller: 2 or b?
b
Let k(j) = j**2. Let q(g) = 4*g**2 - 5*g + 7. Let m(t) = -5*k(t) + q(t). Let v be m(-6). Is 1/3 equal to v?
False
Let o be (-12)/(-66) + (-541)/11. Which is smaller: o or -48?
o
Suppose -3*n = 5*k + 13, -2*k + 2*n = 6*n + 8. Let j be (-3)/18*9/k. Which is smaller: j or 2?
j
Let p be (-2)/(6/(-13))*-67. Let g = p + 67061/231. Let m = -160/231 - g. Is -2/9 equal to m?
False
Let t = -1 - -6. Suppose -b = -a - 2, b - 10 = -4*a - 4*b. Suppose -t*o + a*o = -5. Is -3/7 at least o?
False
Let j = 27 - 2. Suppose -10 + j = o. Suppose 2*y + o = -y, -2*y = p + 13. Which is smaller: p or -2?
p
Let d = 9.2 - -2.4. Let g = 11 - d. Which is bigger: -1/4 or g?
-1/4
Let h(b) = b**3 + 10*b**2 + 18*b - 24. Let p be h(-7). Is p < -3/2?
True
Suppose 2*h + 2*h - 4 = -5*n, 2*h = -n + 2. Is 0 > h?
False
Let n be ((-6)/28)/(36/(-48)). Let r = -0.1 + 1.1. Is r less than n?
False
Let b = 38/3 - 14. Let d = b - -34/21. Which is smaller: d or 0.1?
0.1
Let n = 7.5 - 3.5. Is 2 != n?
True
Let o be 9/21 + (-31)/7. Is o at most -4?
True
Let d(w) = w - 5 + 3*w + 12 - 3*w. Let m be d(-5). Let i be ((-2)/(-9))/(m/(-4)). Are i and -1 non-equal?
True
Let r = -3.05 - -0.05. Let v(l) = l**3 + 7*l**2 + 5*l - 6. Let z be v(-6). Suppose z = 3*h - 2 - 1. Which is smaller: r or h?
r
Let c = 1 + -6. Which is bigger: -2/17 or c?
-2/17
Let s = -6.1 - -6. Which is smaller: -0.2 or s?
-0.2
Suppose -24 = -y - r - r, -3*y = -3*r - 36. Let u be (-3)/(-3) + y/(-12). Which is greater: u or -0.1?
-0.1
Let l = -17353/30 + 2808/5. Let b = 17 + l. Suppose 4*o + 2*z - 4 = 0, o = -z - 0*z + 2. Is b > o?
True
Suppose o = 4*d + 16, -5*d - 9 = 5*o + 11. Suppose x + o*x + 4 = 5*c, 2*c = x + 1. Which is smaller: c or 2?
c
Let q = 43 + -42. Let j = -59 + 299/5. Which is smaller: q or j?
j
Let j be (22/(-110))/(2*2/(-20)). Is 2/19 <= j?
True
Let v = -209/30 - -41/6. Let d = -1 - -1. Which is greater: v or d?
d
Let y(x) = -x**3 + x - 3. Let n be y(0). Let a = n + 2. Are a and 1/4 equal?
False
Suppose -2*h + 2*d + 76 = 0, 2*h + d - 79 = 4*d. Suppose 5*q - 2*t = t + 39, 5*t + h = 5*q. Is 10 at least as big as q?
True
Let b = -0.579 + 10.599. Let r = -10 + b. Is 0.1 equal to r?
False
Let p = 0 - -2. Suppose 0 = 4*x + 4*b - 32, 3 = 5*b - 17. Suppose -x*r + 12 = 4. Is r smaller than p?
False
Suppose -24 = 24*b - 21*b. Let o = b + 7. Are -1 and o non-equal?
False
Let g be 3/9*1*3. Is g at most as big as 1/15?
False
Suppose -22 = -3*i + f, -2*f = 4*i - 4*f - 28. Let d = i - 6. Suppose -2*q = -q - 1. Is d > q?
True
Suppose -5*v + 0*j - 25 = j, -v + 4*j + 16 = 0. Let x be 2/v + 22/(-48). Let y = -5/8 - x. Which is greater: y or 2/3?
2/3
Let m = -9 - -15. Suppose 3*k + 3*c + m = 15, -5*c = -20. Which is smaller: k or -4/3?
-4/3
Suppose -3*q - 57 = -u - 0*q, -2*u - 2*q = -90. Which is greater: u or 1/3?
u
Let g be 1 + (6/12)/(1/16). Is 5 >= g?
False
Suppose 4*q = -30 + 34. Let h = -17 + 13. Which is bigger: q or h?
q
Let h be ((-4)/(-8))/(3/946). Let p = -159 + h. Let i(f) = -f**2 - 2. Let t be i(0). Is t <= p?
True
Let i(t) = t + 7. Let x be i(-3). Let a = -3 - -9. Let o be (2/3)/(a/27). Which is smaller: o or x?
o
Let m be 27 - (4 - -2)/(-2 + 0). Are m and 31 equal?
False
Suppose -3*v + 3*h = -105, 2*h = -4*v - 3*h + 158. Let b = v + -297/8. Let f(z) = -z**2 - z - 1. Let t be f(0). Is b < t?
False
Let y(m) = 3*m - 3. Let w be y(-2). Are w and -5 non-equal?
True
Let f(u) = 8*u - 7. Let k be f(-3). Is k less than or equal to -30?
True
Let q = -15.7 - -1.7. Let f = 14.3 + q. Is 0.2 != f?
True
Let a = 56 - 55. Is a less than 2?
True
Let z = -8.41 + -36.69. Let n = z + 49. Let 