 y = 0.231 - 15.111. Let t = y - -15. Are t and -1/2 nonequal?
True
Let p = -190 - -3992/21. Let h be (-3)/(12/(-8)) - 2. Let o(w) = w**2 + 2*w. Let l be o(h). Is p at most l?
False
Let v = 15 - 22. Let p(u) = -u**2 - 6*u + 9. Let d be p(v). Let a = -156 - -159. Is a bigger than d?
True
Let y = -57 + 71. Let p = 6 + -21. Let a = p + y. Is a smaller than 0.04?
True
Let f(i) = -51*i**2 - 8*i - 6. Let s be f(-1). Is -48 at most s?
False
Let y = -1095 - -1094. Suppose 3*p = -5 - 1. Let c be p/(-9) + (-160)/639. Is y at least as big as c?
False
Let u = 1108/18275 - 6/425. Let a be (-6)/(-27) + 4 - 4. Which is greater: a or u?
a
Let w(g) = 8*g - 8*g + 4*g + 5*g - g**2 - 19. Let l be w(4). Which is smaller: -4/31 or l?
-4/31
Let l = 14 + 22. Is 34 smaller than l?
True
Let s = 2416/1551 + -50/33. Which is greater: -6 or s?
s
Let s be (48/5 - (-6)/15)/2. Let x(r) = -2*r + 4. Let l be x(s). Which is bigger: l or -7?
l
Let r(y) = y**2 - 10*y + 20. Let j be r(8). Suppose j = 2*z - 4. Let l = 1/227 - -2947/908. Which is smaller: z or l?
l
Suppose -o - 2*p - 13 = 0, -5*o + 4*p + 2 + 3 = 0. Let j = -25 - -26. Let y = -4 - j. Which is smaller: y or o?
y
Let d = -11 - -10. Let x = d - -1. Let v = x - 1. Is -1/3 bigger than v?
True
Let k be (8/2118 - 0)/(12/18). Which is bigger: -1 or k?
k
Let r be -1 + 16813/(-1290) + 1/5. Which is smaller: -15 or r?
-15
Let o = 1225 - 1169. Are o and 57 equal?
False
Suppose 66*q + 9*q = -4*q + 79. Let d be (-3)/((-2 - -21) + -2). Which is smaller: d or q?
d
Let z(s) = s**2 - 21*s - 214. Let d be z(-9). Which is bigger: 44 or d?
d
Let u = 1.08 + -4.08. Is u < 67?
True
Let o = 16373/234 + -628/9. Is -1 less than or equal to o?
True
Let r = -26400 + 54779998/2075. Let h = r + 49834/35275. Which is smaller: 1 or h?
1
Let s = 34478/13 - 2652. Is s not equal to 3.9?
True
Suppose 3*d = -0*d - t + 86, -4*d = 5*t - 111. Let n = -26 - -26. Which is smaller: n or d?
n
Let g be (-40)/(-3)*(-6)/5. Is g greater than -12?
False
Suppose -4*q = -q - 51. Suppose 3*c = 5*u - q - 0, 2*u = -2*c - 6. Let k = -26 + 215/8. Which is greater: k or u?
u
Suppose 3*l - 3 = 0, -16 = 59*b - 58*b - 2*l. Let o be 1/3*(1 + 2). Which is smaller: b or o?
b
Let o be (1/(-4))/((-1)/(-325)). Let s = o + 80. Suppose -18 = -2*r + 5*t, -r - 24 = 3*r + 5*t. Which is smaller: r or s?
s
Let l(k) = -3*k**3 - 44*k**2 + 17*k + 28. Let g be l(-15). Which is bigger: g or 12?
12
Let x(r) = -r**2 - 14*r - 11. Let y be x(-14). Suppose -2 = j, -9*l + 2*j + 31 = -12*l. Is l less than or equal to y?
False
Let z = 2.96 - -20.04. Is 5 equal to z?
False
Suppose -4*m - 3*d + 15 = -m, 5*d = 15. Let w be 294/1272 - m/8. Is 0 >= w?
True
Let m = 0.083 - -0.017. Which is smaller: -0.6 or m?
-0.6
Let r be ((-20)/8 - 0)*(-40)/50. Which is bigger: 122 or r?
122
Suppose 15*y = 18*y - 9. Suppose i + 0*i = -y*v - 3, v = 3*i - 1. Which is bigger: v or -10/7?
v
Suppose 4*c + 18 = 2*w, 5*w = -3 + 8. Is c at least -19/6?
False
Suppose 120*v + 247 = 101*v. Which is smaller: -22 or v?
-22
Suppose s + 0*s = 10. Let h = 98 + -99.52. Let w = -0.48 + h. Which is smaller: s or w?
w
Let g be 6*1*3/9. Suppose 15 - 5 = -g*p. Let y(d) = d**3 + 4*d**2 - 5*d + 7. Let i be y(p). Which is smaller: i or 2?
2
Let l = 215291471/21558951 + -26768/2719. Let x = -9147616/3702843 + l. Let d = x + -2/467. Which is smaller: -1 or d?
d
Let a be -139 + (-4)/6*9. Is -146 smaller than a?
True
Let b be (1 - 2)/(2/(-36)). Let a be ((-12)/b)/(2/3). Let q be (-4)/(-130) + -3*5/(-75). Is q smaller than a?
False
Let k be (33/(-4))/(1/4). Let c be (-2)/3*k/(-2). Is -9 greater than or equal to c?
True
Suppose -3*g = 5*h - 11, -h + 0*h - 5 = 3*g. Let f = 17 + -22. Is f less than g?
True
Suppose 2*u = 3*u - 24. Let h = u - 9. Let m be (-2)/(-4)*(-1 + h). Does 7 = m?
True
Let d be (22/(-33))/(3/639). Which is smaller: d or -143?
-143
Let n be ((-90)/(-12))/(-5) + 3/2. Which is bigger: n or 6/67?
6/67
Let y(m) = -m**2 + 22*m - 10. Suppose -183*k + 178*k + 105 = 0. Let u be y(k). Is u smaller than 12?
True
Let f be (-2 - -1)*4/(-10). Let r = -0.99 - -2.99. Which is smaller: f or r?
f
Let k be (-384)/(-126)*(-15)/20. Which is smaller: -2 or k?
k
Let j = 328 - -26. Is 353 greater than or equal to j?
False
Let q = 11 - 15. Let j = q - -13. Let x = j + -8. Which is smaller: x or -3/5?
-3/5
Let a = -529.7 + 530. Let b(d) = d + 3. Let t be b(0). Let q be (t/6)/(14/(-8)). Is a bigger than q?
True
Let b = 149 - 111. Is b equal to 37?
False
Let p be (-12)/8*(-2)/3. Let j be 2*(p + (-4)/8). Is j less than 1/18?
False
Let b = 72.519 + -0.719. Let j = -70 + b. Which is greater: j or 0?
j
Let a = -38.9 - -13.9. Let g = -49.8 + 75. Let c = a + g. Is -3 at least as big as c?
False
Let k(g) = -g**3 + 7*g**2 - 8*g + 2. Let p be k(1). Which is smaller: p or -1/1284?
-1/1284
Suppose -7*l + 13*l + 288 = 0. Let s be 2/(-5) - (1 + l/(-5)). Is s < -10?
True
Let y = -33 + -40. Do -78 and y have the same value?
False
Let h = -70/73 - -12527/13140. Which is smaller: h or 0?
h
Let b = -510.004 + 510. Are -5 and b non-equal?
True
Suppose -13*c = -86 + 99. Is -1/1808 equal to c?
False
Let i(k) = k**3 - 12*k**2 + 6*k - 10. Let u be i(12). Let v = -63 + u. Is 2/249 greater than or equal to v?
True
Let l = 165 - 167. Are l and 0.15 equal?
False
Suppose 21 = -5*a + 4*s, -6*a + s = -2*a + 8. Let c be 11 + -5 + 3 + 0. Is a at least c?
False
Let k = -3 - 4. Let y = 28 + k. Let p = 21 - y. Is -4 greater than or equal to p?
False
Suppose 5*f + 3*v - 75 = 0, -f + 2*v + 2 + 13 = 0. Let h be (1044/(-30))/1 + 12/f. Which is greater: h or -1?
-1
Suppose 0 = b + 5*c + 18, 2*b = -7*c + 2*c - 16. Let k be (b - 14/6)/((-9)/81). Are 1 and k non-equal?
True
Let n = 0.319 + -0.161. Let d = n - 0.158. Which is greater: 4 or d?
4
Let c = 1506/77 + -139123/6314. Let t = -1/41 + c. Let p be 12/(-4) + 0/3. Which is smaller: p or t?
p
Let f = 118 + -125. Is -0.044 greater than or equal to f?
True
Let d be 106/10 + 4/10. Suppose 55 = 5*f - 5*t + 2*t, f + 3*t = 11. Is f not equal to d?
False
Suppose 2*t = s - 1, -3*s - 10 = -5*s - 4*t. Suppose -6*d + s*d = 3. Let j = 4 - 11/3. Which is smaller: j or d?
d
Let o be (-3)/(-4) + (-58)/(-8). Let b(g) = -g**2 - 12*g - 19. Let p be b(-9). Are p and o non-equal?
False
Let r be 5359/140 + 1/1. Let b be 987/28 + (-8)/(-2). Let f = b - r. Are 1 and f non-equal?
True
Let v = 74.14 + -74. Do 15 and v have the same value?
False
Suppose -2*a - a = -15. Let m be 216/(-40) - 3/a. Are -6 and m nonequal?
False
Suppose -1226 = 4*g + 2*p, -g - 5*p = 2*g + 902. Which is bigger: -308 or g?
-308
Let j = -1465 + 1466. Let c = -0.26 + -11.74. Let t = c + 17. Is t greater than or equal to j?
True
Let z = -722 + 721. Is z less than or equal to -5/29?
True
Let j(y) = -y**2 + 2*y - 1. Let f be j(0). Are f and -22/13 nonequal?
True
Let l(u) = -u**2 - 5*u + 7. Let v be l(-5). Let n(g) be the first derivative of -g**3/3 - 4*g**2 - 5*g - 8. Let t be n(-6). Is t not equal to v?
False
Suppose 2*g - 2 = 0, -2*b + 3*b + 36 = -g. Let h = 0 + 0.1. Which is smaller: h or b?
b
Let b = -1110 + 5549/5. Is b less than or equal to 49?
True
Let y = 0.0753 - -1.1547. Let w = -14.9 - -15. Is y < w?
False
Let h = 6.4 - -1.6. Let a = 17 - 6. Let t = h - a. Which is bigger: 2/5 or t?
2/5
Let i = 5 - 37. Is -34 less than i?
True
Suppose -2*w + 3*m + 28 = -16, -110 = -5*w + 3*m. Let x be 24*7*(-21)/(-196) - (2 - 5). Which is greater: x or w?
w
Let y be 0/(0 + 6)*(-1)/5. Is y at least as big as -1/226?
True
Let l(o) = o**2 + 127*o - 939. Let j be l(7). Let v = -15892975/13 - -1223456. Let w = v + -919. Is j >= w?
False
Let r = -0.148 - 1.852. Which is smaller: r or 86?
r
Let q be (3 + (0 - -290))/5. Are 58 and q non-equal?
True
Let f = 83 + -124. Let a = f + 43. Which is greater: -0.12 or a?
a
Let k = -88/145 + 6/29. Suppose -s + 14 = 4*l - 2*l, 0 = -s + 5*l. Let g be 5/s*2*1. Is g smaller than k?
False
Let l be (7/1)/(-9 - -10). Let o be (2/(-12))/(l/(-154)). Is o at most 4?
True
Let r be (3663/(-33))/((-3)/(-4)). Which is greater: r or -150?
r
Let l = -7.1 - -6.5. Let f = 1.1 + -1.3. Is f less than or equal to l?
False
Suppose -33*g - 56 = -25*g. Are 4/3 and g nonequal?
True
Let k = -0.07 + 0.37. Let r = -39 - -39.2. Let l = r - k. Which is greater: l or 1/3?
1/3
Let p = -0.0954 - 0.7046. Let 