s -45 at least as big as l?
True
Let d = 532 - 535.8. Which is greater: -3 or d?
-3
Let o be (-8 - -14 - 3) + -11. Is o less than -7?
True
Suppose 0 = b - 163 + 152. Is 86/9 greater than or equal to b?
False
Let m(z) = z**3 - z**2 - 6*z - 1. Let q be m(3). Let g(v) = -2*v**2 + 2*v - 6. Let f be g(-3). Are f and q nonequal?
True
Let q(x) = -4*x - 37. Let g be q(-4). Let l = -22 + g. Are -44 and l unequal?
True
Let p be (16/(-10))/(1/(-5) + 0). Suppose 0 = 2*r + 2*r + 3*m + p, -16 = 4*m. Is r at least 4/9?
True
Let j = -61 + 429/7. Which is bigger: j or 5?
5
Suppose 0 = -9*w - 48 + 12. Is 1 < w?
False
Let v = -659 + 660. Which is smaller: v or 1/35?
1/35
Suppose -5*n + 29 = q, -12*q - 6 = -11*q - 2*n. Let l be 4/(q/132*6). Let p(x) = 5*x**2 + 2. Let a be p(-2). Is a not equal to l?
False
Let t = -90153 - -9736355/108. Let k = t - 5/27. Let m(y) = -y**3 + 10*y**2 - 10*y + 7. Let c be m(9). Does k = c?
False
Let y(q) = -2*q**3 - 15 - 2 + 14*q + 3*q**3 + 11*q**2 - 24*q**2. Let w be y(12). Which is bigger: 4 or w?
w
Let b be -1*(-2 + (1 - -1)). Suppose 0 = 3*s + 43 - 406. Let p be (-12)/15*(s/(-58) - -2). Which is bigger: b or p?
p
Let z = 224 + -169. Is 56 bigger than z?
True
Suppose 0 = -3*s + v + 46, 26 + 18 = 4*s + 3*v. Is s <= 16?
True
Suppose 0 = 676*p - 681*p + 70. Is 15 bigger than p?
True
Let v = 6.53 + -6.5. Which is greater: v or 0.029?
v
Let a be (3/(-2))/((-15)/310). Suppose a - 11 = -5*t. Which is smaller: -8 or t?
-8
Let b(a) = a - 2. Let t be b(2). Suppose 2*c - 3*d + 0*d = 9, -3*d + 9 = 4*c. Suppose -v + 4*k + 15 = -t*k, k + 1 = c*v. Is -1/16 less than v?
False
Suppose -5*f = -10*f + 70. Let k = f + -13. Is 4/23 greater than or equal to k?
False
Let f = 3 - -7. Let s be (-22)/(-5) - 4/f. Suppose 0 = -2*r - 0*r + s. Is 3 smaller than r?
False
Let a = 341 + 734. Which is bigger: a or 1076?
1076
Suppose 2*g + 207 = -3*d, g + d + 105 = -d. Let x = g - -791/8. Is x > 1?
False
Let f be 3/(-10)*60/45. Let g = 1 + 1. Let a be g/(-3) - (-20)/21. Which is smaller: f or a?
f
Let a = 9223/104 - 341/52. Let d = -82 + a. Are d and 1 nonequal?
True
Let h be 480/1120*(-1 + (-2)/(-3)). Which is smaller: 0 or h?
h
Let c = -75 - -75.4. Let s = 4.8 + -5. Is c >= s?
True
Let g(s) = 34*s + 180. Let a be g(-6). Is -187/8 > a?
True
Let q = -237904/28119 + -2/2163. Which is greater: -8 or q?
-8
Let l(w) = 2*w + 5. Let b(v) = -v + 1. Let g(i) = -3*b(i) - l(i). Let q be g(0). Let j(o) = o**2 + 8*o + 4. Let s be j(q). Is 2 equal to s?
False
Let u = 10 + -43. Let s = u - -18. Is 0.1 bigger than s?
True
Let r(z) = -z**3 - 9*z**2 + 23*z + 15. Let s(h) = -4*h**2 - 7*h - 9. Let t be s(-2). Let m be r(t). Is 0 at most as big as m?
True
Let j(o) = o**3 - 11*o**2 - 10*o - 6. Let r be j(12). Let m be (-1 + (-45)/6)/(2/(-4)). Which is greater: r or m?
r
Let x be (-3 - (-329)/2)*(-5)/10. Is x greater than or equal to -81?
True
Let c = 9 + -19. Let d = -12.1 + 12. Is d at most c?
False
Let z = -448 - -449. Let x(p) = -p**3 - 4*p**2 - 3*p + 4. Let w be x(-3). Suppose -5*s = 2*g + 10, 0 = -5*s + w*g + 4 + 16. Is s at most z?
True
Let h be (-1)/(-8) + (-2)/16. Does 0.2 = h?
False
Let z = 3.56 - 5.56. Which is bigger: z or 26?
26
Let j = 216 - 211. Is 7 greater than j?
True
Let i = -132 - -115. Which is greater: i or -18?
i
Let n be ((-4)/(-4))/(-1) + -43. Let t be -5*(n/20 - -2). Let u be t + 3 + (-10)/(-2). Is u greater than 11?
False
Let w be (-9)/(-648)*117*2*4. Is 222/17 greater than or equal to w?
True
Let q be (6/(-12))/((-3)/2838). Let v = q + -1381/3. Is 12 at least v?
False
Suppose 5*s + 2*d - 6 = -2, 3*d + 7 = -s. Suppose -5*o + 5 = 0, 2*f + 2*o - s = -12. Suppose 12 = -5*q - 18. Is f greater than q?
False
Suppose -h = -2*l + 9, 0 + 1 = l + 3*h. Suppose -9 = 3*o, l*v - o = o + 38. Let m be 0 + ((-1)/v)/(-1). Which is smaller: 1 or m?
m
Suppose l = 2*o - 4, 0*l + 12 = 4*o - 4*l. Is o >= 2/769?
True
Let i = 5653/6798 - -2/1133. Is 1 at most i?
False
Let a = 521 + -372. Is a smaller than 150?
True
Let z = 409 - 451.2. Let m = 42 + z. Is 0 greater than or equal to m?
True
Let l = -129 - -135. Let a = 334/1683 - 8/99. Is l greater than a?
True
Suppose 17 = -5*m + 3*g, 3*m + 0*m + g = 1. Which is greater: -2/169 or m?
-2/169
Let j(p) = -p + 36. Let q be j(22). Let k be q/(-6) - -2*(-3)/(-6). Suppose -25 = -5*g, 4*t - 28 = 8*t - 4*g. Which is greater: k or t?
k
Suppose j - 17 = 5*g, -2*g = g + 12. Let n be -1*j/(-24) + -1. Let o = 20 + -21. Which is greater: n or o?
o
Suppose 0 = j + 3, -5*o + 3*j + 7 = -3*o. Let v = -283/10248 + -33/488. Which is smaller: o or v?
o
Let x = 8 - -32. Suppose 3*r = 0, -4*f + r + x + 72 = 0. Do f and 28 have the same value?
True
Suppose 3*f - 2040 = 71*f. Which is bigger: f or -208/7?
-208/7
Let k be 1 + (2/3)/((-72)/99). Let h(f) = f + 4. Let p be h(0). Let c be (2/p)/((-4)/(-8)). Which is smaller: k or c?
k
Suppose 0*k = -6*k. Suppose -3*j - 4 = a - k*j, 4*a + 6 = -2*j. Is a smaller than -4/37?
True
Let h = 1469/14 - 105. Let z = 27 + -26. Is h > z?
False
Suppose 4*v = -2*j - 14, 5*j - 5*v = 2*j + 1. Let h be ((-12)/j - 3)*1. Let f be (8 + -8)*h/(-2). Which is smaller: 1/6 or f?
f
Suppose 2*f + 3*f - 5*g = 45, -4*g - 1 = 3*f. Suppose -6*n + f*n = 0. Let p be 0 + 1 + 3 - 2. Which is smaller: n or p?
n
Let s be 5/1*(-72)/(-40). Which is bigger: 7 or s?
s
Suppose 17 = -k - c + 19, -2*k - 5*c + 7 = 0. Is k equal to -561?
False
Let l = -86092661/329830137 - 1/581711. Let j = l + -2/81. Let h = -26 + 18. Which is smaller: h or j?
h
Suppose -32 = -r - 35. Let c be 2*r/36*3. Let g = -4.1 + -13.9. Which is bigger: g or c?
c
Let i = -1146 - -1148. Which is smaller: 38/27 or i?
38/27
Let h be 0 + 16/(-4) - 3. Let a = h + 20. Let q = a - 13. Is -1 greater than or equal to q?
False
Let v be (-7 - (-4)/4)*-16. Let o = v - 3937/41. Which is smaller: 1/2 or o?
o
Let y(i) = -2*i + 4. Let p be y(2). Let r be 15/55 + p + 1. Is 0 at most as big as r?
True
Suppose 0 = 4*i - 2*i - 4*d - 26, 4*i - 63 = -3*d. Let b = 14 - i. Let v(t) = t**2 + 7*t - 8. Let g be v(-8). Which is smaller: g or b?
b
Suppose -21 = -2*z + 3*m - 6, -15 = 5*m. Let u be (-1 - (-13)/3)*(-1 - (-40)/(-50)). Which is greater: z or u?
z
Let v = 409 + -410. Which is smaller: v or -1/20?
v
Let i = -8.181 + 1.151. Let f = i + 7. Is 2/3 at least f?
True
Suppose 0 = -2*g, 5*q - 2*g + 28 = -2. Suppose -3*l + 8*l + 16 = -4*i, 34 = -2*i + 4*l. Is i at least as big as q?
False
Let s be ((0/(-3))/(-3))/2. Let w be (-1 + (-57)/(-84))/(12/14). Which is smaller: s or w?
w
Let o be 120/70*(-14)/2. Let n be (-7)/(-4) + o/16. Suppose 4*l + n + 5 = 5*y, y - 6 = 2*l. Is y less than -1?
True
Let y be 71/2 - (-7)/(-14). Let v = y + -36. Which is smaller: v or 4/47?
v
Let r(w) = w + 1. Let a(v) = -v**2 - 9*v - 12. Let s be a(-5). Let n be r(s). Let g = 12 - 3. Does n = g?
True
Let f be ((-3)/(-18))/(1/(-2)). Which is greater: -8/7 or f?
f
Suppose 7*g = 12*g - 90. Suppose -5*k = -2 - g. Suppose 3*v - k*v = 0. Which is smaller: v or 3/4?
v
Suppose -5*t + t + 5*a + 21 = 0, 3*a = 5*t - 10. Let k = -1 - t. Let f be -1 + (k/(-2))/4. Is f at most as big as -10/9?
False
Suppose -4*f = 45 - 13. Let k be 14/f - 36/9. Let p be (3/(-9))/((-6)/(-126)). Is k at most as big as p?
False
Let g = -13 - -12. Suppose 2*v - 3 = -625. Let t = -4041/13 - v. Is t < g?
False
Suppose 3*f + 16 = 7*f. Which is bigger: 5 or f?
5
Let h = -0.43 - 0.87. Let f = -1.5 - h. Let d = 13 - 16. Is f at most as big as d?
False
Let s(b) = -b**2 - 7*b - 9. Let n(o) = -2*o**2 + 12*o - 5. Let v be n(6). Let l be s(v). Let y be ((-1)/4)/(10/(-8)). Is l smaller than y?
False
Let s be 114*16/(-186) - -9. Is 0 != s?
True
Let i(a) = -a**2 + 4. Let m be i(0). Suppose m*b - 2*b = 4. Suppose b*g - 7 = 9*g. Is -3/5 < g?
False
Suppose -4*g + 3*k = -0*k + 41, 4*g + 3*k = -23. Let m(b) = -b**3 - 7*b**2 - 4*b. Let i be m(g). Is i at most 96?
True
Suppose 4*a - 3*k + 2 = -21, -5*k = 5*a - 15. Let n be (1 - a)*1 + -1. Suppose 3*h = -3, o + 2*h + 44 - 40 = 0. Which is bigger: o or n?
n
Let l = 1953/110 + -192/11. Which is greater: l or -2/23?
l
Let y = -213.28 - -213. Which is greater: y or 1/4?
1/4
Let o = -13737 + 13745.049. Let m = o - 0.049. Are m and 1/3 equal?
False
Let n = 480 + -479.92. Which is smaller: n or -56?
-56
Let i = -30 + 26. Let t = -4 - i. Are -0.2 