23 at least as big as v?
True
Let q = 7.69 - -0.31. Is q at least 22?
False
Suppose 3*w + 204 = -3*w. Is -36 greater than or equal to w?
False
Let q = 3132 - 3139.934. Let p = q + -0.066. Which is greater: -0.2 or p?
-0.2
Let a(k) = k**2 - 1. Let y be a(1). Let j(p) = 41*p + 1. Let m be j(-1). Which is smaller: m or y?
m
Let y = -942542/21 + 44873. Let i = y - -29/3. Let l be (-34)/(-234) - 3/(27/2). Which is smaller: i or l?
i
Suppose -6*m - 9*m = 10*m. Which is greater: -12/109 or m?
m
Let l = 2974/11 + -270. Let i(o) = o**3 + o**2 - o. Let d be i(0). Which is smaller: d or l?
d
Let n = 12 - 10. Let t be ((-2)/(-4))/(n/(-4)). Let a be (t/1*0)/3. Is a greater than -2?
True
Let l = -1.1866 - 0.0034. Is l > 1?
False
Let u = -296 - -343. Which is smaller: u or -2?
-2
Let w be ((-3)/3)/3*(-664)/(-8). Are w and -28 equal?
False
Let v = -303 + 435. Let k be (1/(-2))/(11/v). Let q(y) = 2*y + 13. Let w be q(k). Is w greater than or equal to 9?
False
Let z be (1 - 5)*(-6)/4. Let j be 2/4 - 9/z. Let m be (-2 - -2)/(2/j). Is 0 greater than or equal to m?
True
Suppose 5*w - 4*w + 4 = b, 5*b - 4*w = 18. Suppose 0*a - 8*a = -3*a. Is a smaller than b?
True
Let w(b) = b**2 - 1. Let p(a) = 4*a**2 + 2*a - 2. Let q(r) = p(r) - 5*w(r). Let m be q(3). Let n be -1 - -1 - (-2 - -2). Are n and m non-equal?
False
Let r(y) = y + 48. Let o be r(-28). Which is smaller: 22 or o?
o
Let a = 1.01 + -0.81. Which is smaller: -0.29 or a?
-0.29
Suppose 0 = 4*w + 2*h + 6, 0 = -h - 2*h + 9. Let j be (3/44)/(w/2). Is j >= -1?
True
Suppose -15 = -237*y + 222*y. Does -1/1999 = y?
False
Let a = -179 - -173. Is -7 at least a?
False
Let r be ((304/1328)/(-19))/((-1)/2). Is r > 21?
False
Let y(s) = s**3 - 4 - 5 + s**2 + 12 + 2*s - 2. Let c be y(-2). Are c and -7 unequal?
False
Let d(k) = -k**3 + 3*k**2 + 3*k + 1. Suppose 2*q - h - 10 = h, 0 = 4*q - h - 17. Let f be d(q). Is -3/2 greater than or equal to f?
True
Let m = 210 - 32341/154. Is 1 smaller than m?
False
Suppose 0 = 19*p - 13*p + 7092. Let c = p + 15376/13. Is 2 less than c?
False
Suppose 3*y = 5*m - 40, -4*y + 5*m - 45 = -0*y. Let r(c) = c**3 + 8*c**2 + 7*c - 1. Let i be r(-7). Let v be 5*(-3)/(2 - i). Are v and y equal?
True
Let m = 632 - 627.891. Let q = m - 0.109. Is q not equal to -0.3?
True
Let b = -52 - -58. Suppose 0 = 4*q - b*q - 16. Is q != -7?
True
Let n be -3 + 1/1 + 1. Let o be 6/18 + 285/(-315). Is n at most o?
True
Let f be ((-16)/(-48))/(3/(-9)). Is f at most -446?
False
Suppose -3*b - 4 = 5*l, -2*b + 2*l + 2 = -6. Let d = -2 - 7. Is d > b?
False
Let v = 489 - 491. Is -10/11 less than or equal to v?
False
Let q be (-2835)/(-1431) - (1 + 2). Which is smaller: q or -1?
q
Let g = -4/809 - -3712/96271. Which is smaller: g or -1?
-1
Let u be (506 + 2)*10/(-48). Which is greater: u or -107?
u
Let s be 16/96 + ((-1420)/(-8376))/(-1). Is 1 greater than or equal to s?
True
Suppose 39 - 135 = -6*i. Let h(m) = 2*m**2 + 5*m - 7. Let u be h(-5). Which is bigger: u or i?
u
Let f be (-129548)/1380 - (-4)/(-10)*2. Let u = -284/3 - f. Which is smaller: u or 1?
u
Let x = 6377/12360 - 54/103. Let t = 0 + 1. Is x smaller than t?
True
Let a(g) = g**2 + 10*g + 20. Let o be a(-8). Let j be 6/(37/9 - o). Let c be 2/7 + j/(-42). Which is greater: c or 1/69?
1/69
Let s = -85 - -87.12. Let b = s - 2. Let v = b - 0.12. Is 9 < v?
False
Let v = 22378 - 22374. Let a be 58/8 + 2/(-8). Is a smaller than v?
False
Let g = -755 - -758. Let t = 2 + 0. Let n be t/(-5) + (-16)/(-90). Which is bigger: n or g?
g
Suppose -2*d + 5 - 11 = s, -4*s + 2*d = -16. Let n = 41/30 + -7/10. Is n less than s?
True
Let k = -4 + 7. Suppose 0 = -k*x - 2*x. Suppose -2*g + 0*g = -2*q + 12, 4*q + g - 4 = x. Is q greater than or equal to 1?
True
Let t = 163 - 153. Which is smaller: t or -1.1?
-1.1
Let v = 5 - 2. Suppose -54*w - 6 = -53*w. Let c = v - w. Which is greater: 10 or c?
10
Suppose -1669 = -6*s - 157. Do 253 and s have the same value?
False
Suppose -4*y = 12, -y = -3*q - 3 + 12. Let u be -4 + q + 4 + 50. Is u at least 52?
True
Let u be 10/15*(27/6)/(-3). Which is greater: 2/837 or u?
2/837
Suppose 0 = 5*v - 3*b + 5, 3 = 4*v + 2*b + 7. Let o be (-10)/2 - (v - -2). Which is smaller: o or -8?
-8
Let v = 187 + -87. Is v at most 102?
True
Let c = 1293/4 - 13883/44. Is 8 greater than c?
True
Suppose 3*f - 7*w + 2*w + 888 = 0, -w + 1201 = -4*f. Let q be f/(-1596) - 4/38. Which is smaller: 1 or q?
q
Suppose 0 = -3*w + 4*d - 7, -w - 14 = -5*d + 3. Suppose 0 = -0*t - 5*t + 5*l + 15, t + w*l = -1. Which is greater: t or -2/15?
t
Let m be (4*(108/8)/(-9))/2. Which is greater: m or -0.2?
-0.2
Let h(q) = -q**2 + 12*q - 3. Let x be 3/4 + (-1112)/32. Let n be 7/(-21) + x/(-3). Let a be h(n). Which is greater: a or 9?
9
Let z = -0.46 - -0.06. Let o = -3.6 + z. Let j = o + 6. Is j >= 3?
False
Let u(h) = h**2 + 23*h - 56. Let c be u(-26). Which is greater: c or 0.18?
c
Suppose 0 = 8*m + 5*m + 832. Let x = m - -69. Which is smaller: 23/4 or x?
x
Suppose -2*p - 1 = -3*p. Let z = 2710 + -2708. Which is greater: p or z?
z
Let r = -38.4 + 40.8. Let w = 2.6 + -5. Let i = w + r. Are i and 9 equal?
False
Suppose -14*l + 57*l = -1075. Are l and -79/3 equal?
False
Let s be 348/(-288) + (-4)/6. Let i = 23 + -26. Which is bigger: i or s?
s
Let y(o) be the second derivative of -o**4/12 + 5*o**3/3 - 7*o**2 - 2*o. Let n be y(7). Let h(t) = -2*t - 2. Let f be h(-4). Which is bigger: n or f?
n
Let x = -257 - -258. Is x less than or equal to -4/221?
False
Suppose 7*r + 1526 = 1477. Is r greater than or equal to -168/23?
True
Let l = 172 - 103. Let z = l - 69.1. Which is smaller: 0.7 or z?
z
Let h = -1854 + 24088/13. Which is smaller: -2 or h?
-2
Let j = -500 - -519. Which is smaller: 21 or j?
j
Suppose 4*j = 3*p + 10, 4*j = -5*p - 0*j + 26. Let b be (1/p - -1)*-4. Let r(d) = d**2 + 8*d + 4. Let g be r(b). Is g at least as big as -8?
True
Let q = 2.0891 + -0.0751. Let t = q - 0.014. Is -13 bigger than t?
False
Suppose -s - 6 = s. Suppose 0 + 26 = -26*i. Which is smaller: s or i?
s
Suppose 2*y - 432 = -3*k + 107, -12 = -3*y. Let v = -311 + k. Let d = 663/5 + v. Is 0 smaller than d?
False
Suppose -7*f + 35 = -2*f. Let z be 436/10 + 2/5. Let x be f/z + 2/(-8). Which is bigger: x or 1?
1
Let d = -3.605 - -0.605. Let u = -0.3 + 0.4. Is u < d?
False
Let z = 63.3 - 62.3. Is 22/27 at most z?
True
Let u = -10 + 8. Let x = u + 2.3. Let a = -2.09 + 0.09. Are x and a unequal?
True
Let z = 60 + -54. Which is smaller: z or -19/10?
-19/10
Let b = 3.6 - 3.5. Is 197 < b?
False
Suppose 2*o + 51 = 153. Suppose -4*x - 3 = -o. Let b be (-37)/4 + 3/x. Which is bigger: b or 1?
1
Let s = -6 + 12. Suppose -s = 3*j - 3*l, 4*l = -0*j + j + 2. Let x = -287 + 287.3. Is x < j?
False
Let i be 27/(-161) - (-6)/14. Is i not equal to 1?
True
Suppose 44*l = -17 + 61. Which is smaller: 18/31 or l?
18/31
Let g = 18 - 21. Let n be 14849*g/45633 - -1. Let o = -4/287 - n. Which is smaller: 0 or o?
o
Let v be ((-18)/(-4))/(1/(-2)). Let i be (-42)/(-9) - 8/12. Suppose i*s = -17 - 19. Is s less than v?
False
Let j = -0.109 - -0.118. Let q = 0.121 + j. Are 1 and q non-equal?
True
Let y be (12/(-62))/(1/7). Which is bigger: y or -1?
-1
Let o = -27 + -57. Let q be o/(-30) - (-1)/5. Suppose -q*w = -5*w - 2. Is 3 >= w?
True
Suppose -13*x = -46*x - 18579. Do -562 and x have different values?
True
Let z(o) = -10*o - 4. Suppose 3*w = w - 4. Let l be z(w). Suppose p - 5*p + l = 0. Does 5 = p?
False
Let c be 1/((-1 - 1)*2/40). Which is smaller: -41/4 or c?
-41/4
Suppose 3*y = 7*y + 28. Let l be (-40)/56 - (-3)/y. Which is greater: l or 0.2?
0.2
Suppose -4*l - 4*c = -324, -3*l = -3*c - 80 - 163. Is l >= 79?
True
Let h = -3250 - -6253/2. Which is bigger: h or -125?
h
Let m = 0.0474 - 1.0474. Do m and 12/13 have different values?
True
Suppose 4*y = -2*l - 46, 3*y - 25 = 3*l - 2*y. Suppose 2*d - 3*i = 3*d - 111, 0 = -2*d + 4*i + 252. Let w be 43/d - (-6)/l. Is w greater than -1?
True
Suppose 2*d = -2*j + 4, 0*d = -2*j - 5*d + 19. Let f(a) = a**3 + 9*a**2 - 6*a + 9. Let x be f(-10). Let t = 30 + x. Which is smaller: j or t?
j
Let g = 91 - 256. Let i be (-2)/(-4)*10/g. Which is smaller: i or 1?
i
Suppose 60 - 70 = -5*l. Let x be 1/(1/l) - 510/245. Which is bigger: 1 or x?
1
Let p = 0.127 + -0.027. Is -620 > p?
False
Let i(p) = 5*p**2 - 66*p + 2. Let z be