 -t*k. Let o = -268 - -252. Is o bigger than b?
True
Let u = -0.059 - -5.059. Let q = -7 + u. Which is greater: 14 or q?
14
Let z = -104/63 + 10/7. Let h(w) = -w + 3. Let x be h(-5). Suppose 4*n = 4 - x. Is n at most z?
True
Let l = 290 + -288. Which is smaller: 1/6 or l?
1/6
Suppose 550*o - 549*o = -21. Is o smaller than -21?
False
Let b = -32/147 + -22/49. Which is greater: b or 439?
439
Let f be -1 + -3 + 0 - 0. Let y be ((-4)/6)/(f/(-18)). Let p = 134 - 668/5. Is p <= y?
False
Let q be 4/6 + (-988)/(-798). Let s = q - 356/231. Is s less than or equal to -1?
False
Let t be 4289/(-954) + 6 - (-6)/(-4). Let r = t - 4808/9063. Is 0 bigger than r?
True
Let a = -4039 - -4100. Let d = 209 - 148. Is d < a?
False
Suppose -6*j + 15 = -3*j. Let r(b) = 3*b + 9 - 4*b + j*b - 5*b. Let a be r(6). Is 2 less than a?
True
Let k = 64 + -190/3. Let a = -2.01 - -0.01. Which is smaller: k or a?
a
Let t be 226/8 - (-13)/(-52). Let y = 33 - t. Let x be 2/y - (-155)/50. Is x greater than or equal to 3?
True
Suppose 0 = 4*r + 4*b + 900, -b + 691 = -3*r - 0*b. Let n = r - -171. Which is greater: n or -59?
n
Suppose 106*q - 138*q = -32. Let v be 6/(-16)*1/3. Is v <= q?
True
Suppose 0 = 14*m - 2*m - 48. Suppose 7*a = m*a - 48. Which is smaller: a or -13?
a
Let s = 52 - 209/4. Let l = 8 - 6.9. Which is smaller: l or s?
s
Let k(t) = -21*t - 66. Let n be k(-3). Is n less than 0.03?
True
Suppose 3 = 4*t - 5. Let n be (1 + 0)/(t/30). Suppose -913 - 361 = -73*s - 106. Which is smaller: s or n?
n
Let t be 163764/848*1842/(-34). Let w = -616249/68 - t. Let o = -1400 + w. Which is bigger: o or -1?
o
Suppose 2*u = 2*k - 10, -5*u - 1 = -4*u + k. Let f be ((-4)/(-12))/((-13)/u). Which is smaller: 2 or f?
f
Let g = -60/10549 + 45242/14385. Let x = g - 36/11. Let z = 9/5 + x. Is 1 at most z?
True
Let h be (44/(-6) + 0)*(-162)/108. Suppose -5*w - 17 = -4*l - 51, 0 = 3*l - 12. Is h less than w?
False
Let o(t) = t**3 - 33*t**2 + 13. Let z be o(33). Let s = 22 - 8. Is z > s?
False
Let j = 1104 - 1102. Is j greater than or equal to 97?
False
Let w = -6 + 24. Let v = w + -11. Let d = v + -7.06. Is -1 smaller than d?
True
Suppose 6 + 9 = 3*u. Let j be (-3)/(-15) + 4/u. Let a be (-4 - -4)/(j + -2). Is a at least as big as 0?
True
Let a = -1.8 + 2.4. Let v = a + -0.6. Which is bigger: v or 32?
32
Suppose -4*v - 11 - 9 = -4*f, 3*v - 9 = -3*f. Suppose f*z - 2*m + 6*m = -36, 15 = -4*z + 3*m. Which is greater: z or -1?
-1
Let y(w) = w - 1. Suppose -2*q + q + 6 = 0. Let l be y(q). Suppose 2*o = 2*i + 10, 0 = -i + 4*o - l*o - 7. Is -7 equal to i?
False
Let p be 1344/120 - 1*8. Which is smaller: -2 or p?
-2
Suppose -13*s = -11*s - 5*l - 13, 0 = 3*s + l - 45. Suppose -4*j = -9 - 3. Suppose y + 30 = j*y. Which is bigger: y or s?
y
Let b = -243 - -249. Is 4 less than b?
True
Suppose -u = 4, -2*y + y = -u + 87. Which is smaller: y or -95?
-95
Let h be ((-1)/14)/((-6)/(-762)). Let k = -9 - h. Suppose x - 2*t = 9, 0 = 3*x + 2*x + 5*t + 15. Which is bigger: k or x?
x
Let m(h) = h - 10. Let r(v) = -4*v**3 + v**2 + v + 1. Let t be r(-1). Let c be m(t). Let f be (2/4 + 0)/(2/(-20)). Is f > c?
False
Let m(t) = -4*t**2 - 69*t + 13. Let o be m(-18). Is -42 greater than or equal to o?
False
Let g(k) = -7*k + 6. Let h be g(-6). Let v = 1148 - 1099. Is h at most v?
True
Let l(f) = 4*f**2 + f - 1. Let b be l(-1). Let y be -41 + 24/(-4) + b. Which is smaller: -47 or y?
-47
Let t = -14 - -13. Let i = -128 - -130. Which is bigger: t or i?
i
Let b be 44/(-56) - 2/(-4). Let m = -0.06 - -0.66. Let r = -3.6 + m. Is b != r?
True
Let a(d) = d - 9. Let n be a(13). Suppose -5*u - n*w = 4, -4*w = u - w + 3. Let i = 8 + -17/2. Which is smaller: i or u?
i
Let s be (-2)/(40/12)*(1 - 6). Suppose -13 = s*v + 26. Which is greater: 0 or v?
0
Let g = 0.14 - -1.86. Let o be (-7)/((-28)/8)*1/2. Is o greater than or equal to g?
False
Let q = -103.4 + 103. Let b = -358731/8288 - 3/1184. Let s = -43 - b. Is s not equal to q?
True
Let c be (-1 - 1)*(6 + 303/2). Let t be 279/c + 9/15. Which is greater: t or 3/11?
3/11
Suppose 66 - 15 = 3*z - 3*f, -4*f = 3*z - 16. Is 260/21 >= z?
True
Let r be 12/(-9)*(-258)/4. Let b = -2261 + 2346. Which is smaller: b or r?
b
Let r be (-7000)/(-9376) - (68/(-16) - -5). Is r greater than or equal to -1?
True
Let h = -17 - -19. Let d be h - (1/(-2))/((-94)/380). Which is smaller: d or 0?
d
Let u be 3 - (1 - 2/(-2))/(-1). Suppose -u*m - 111 = -y, 0*y - 84 = 4*m - 2*y. Which is bigger: m or -26?
m
Suppose -23*r = 1246 + 318. Is -81 at most r?
True
Let t be ((-112)/24)/((-872)/(-12)). Which is greater: 0 or t?
0
Let s be (-2 - 0)/2*(-90 - -94). Let t be 6 + s - (3 - -1 - -17). Which is bigger: -20 or t?
t
Let f(v) = -17*v + 4. Let j be f(4). Let k be j/(-330) + (-14)/105. Let p(z) = z**3 - 7*z**2 + 7*z - 5. Let m be p(6). Which is smaller: k or m?
k
Suppose 2*k - 3*k - 4 = 0. Let h(n) be the third derivative of -n**5/30 + 11*n**4/24 - 3*n**3/2 - 14*n**2. Let m be h(5). Are k and m nonequal?
False
Suppose 0 = 2*k + 12 + 34. Let i = 30 + k. Let m = i - 8. Is 0 greater than m?
True
Let h be ((-3)/(-9))/((-87)/45). Which is bigger: h or 1?
1
Suppose 0 = 4*i - 5*i. Suppose 0 - 6 = 2*c. Let l be 1/((i - c) + -4). Is l < -1/9?
True
Let p(j) = j**3 - 2*j**2 - 4*j + 2. Let i be p(3). Let w be ((-350)/(-1715))/(-2*1 + 4). Which is bigger: w or i?
w
Suppose 13*y - 11*y = 8, -4*y = r + 487. Is r >= -502?
False
Let b(o) = -o**3 + 9*o**2 - 4*o + 26. Let i be b(9). Let n(l) = 3*l - 2. Let z be n(-3). Which is smaller: i or z?
z
Let o = -299 + 303. Is -60 less than or equal to o?
True
Suppose n - 2*w + 18 = 0, 3*n + 5*w = 4*n + 33. Let b be n/237*(-3)/4. Which is bigger: b or -1?
b
Let w(b) = -2*b**2 + 4*b + 14. Let o be w(4). Is o at most -7/13?
True
Let w = -5 + 0. Let v be (-3 - 20/(-6))/(3/297). Suppose -8*g - v = 3*g. Are w and g equal?
False
Suppose 25 = 11*j - 30. Suppose -5*m = -4*w - 190, j*m - 2*w = 20 + 170. Which is smaller: m or 37?
37
Let s = -9599/8 + 1196. Which is smaller: -5 or s?
-5
Let d(g) = -g**3 + 20*g**2 + 19*g + 1. Let w be d(21). Let m = -57 - w. Is -16 >= m?
True
Let u(z) = 4*z**2 - 1. Let p be u(1). Suppose -p*g = -g + 4. Do -1/2 and g have different values?
True
Let j = -0.07 + -10.93. Let b = j - -28. Let l = b - 8. Which is smaller: l or 1/3?
1/3
Let y = -68871/2 - -33403. Are y and -1033 equal?
False
Let k be -177 + 22 + -1*5. Let b be (-83)/(-3)*81/14. Let t = b + k. Which is bigger: -2/3 or t?
t
Suppose -3*l - 1 = -4. Let u = -1921 - -17311/9. Let i = u + -229/90. Is l smaller than i?
False
Let t be (-148)/28 + -6 + (-2)/(-7). Let p(k) = -k**3 - 11*k**2 - 3*k - 13. Let c be p(t). Which is greater: c or 37/2?
c
Let f(b) = -3*b**2. Let c be f(-1). Let z be (-8)/c*3/(-2). Which is smaller: z or -30/11?
z
Let s be (2/3)/((-13)/702). Let v = s - 22. Is 1 at least v?
True
Let c be (-44)/10 + (-40)/(-10). Let t = -50 - -77. Is c not equal to t?
True
Let c = -66 + 67. Let d(g) = g**2 - 20*g + 20. Let p be d(19). Is c bigger than p?
False
Suppose -3*t - 16 = -7*t. Suppose -3*j + t = -23. Is j at most 10?
True
Let r = 1173.6 + -1171. Which is smaller: -5 or r?
-5
Let d = 54271/9 + -6023. Let t = d - 6. Which is smaller: 1 or t?
1
Let n be 3/(-6)*(-6)/1. Let l be ((-9)/n - -3)/2. Let y = 18016/33 - 546. Do l and y have different values?
True
Let o = -351 - -351. Is -64/7 >= o?
False
Suppose -n + 90 = u + 27, 5*n - 129 = -2*u. Is u equal to 1?
False
Let s be (-69)/(-15) - (1 - 0). Let c = -116 + 63. Let y = -50 - c. Which is smaller: s or y?
y
Let d(n) = n**3 - 11*n**2 + 5*n + 22. Let g be d(9). Let m be (-38)/g*(-20)/(4/(-2)). Which is bigger: m or 0?
m
Let k be (-1)/(-5) - 5224/25820. Let z = k + 3005/182031. Is z greater than or equal to 0?
True
Let i(y) = 7*y**3 + y**2 + 4*y - 9. Let d be i(2). Let x = d - 57. Do x and 2 have different values?
False
Let w = -0.0749 + 0.3749. Which is smaller: w or -0.017?
-0.017
Suppose 4*i + 3 = 11. Suppose 0 = 5*h + i*b - 14, -2 = b + 1. Suppose -6 = l - 2*q, -2*l = -h*l - 2*q + 6. Which is greater: l or 1?
1
Suppose 0*x - 2 = -2*x. Let g be 11 + (6 - 978/58). Which is smaller: g or x?
g
Let u = -0.044 - 34.956. Let w = 35.1 + u. Which is bigger: -38 or w?
w
Suppose -10*l + 51 = 41. Let p be 1/((6/2)/60). Is p <= l?
False
Let t = -904.85 - -915. Which is smaller