-11)/44*(-10)/215. Which is bigger: m or 1?
1
Let d be (-9)/20 + (-150)/200. Is d <= 6?
True
Suppose -12*c - c = -2015. Let q = c + -2309/15. Which is smaller: q or 1?
1
Suppose 4*i - 64 = -4*s, 12 = 4*i - 2*i - 2*s. Suppose -i*t - 727 = -188. Which is smaller: -48 or t?
t
Let q be (2/(-3))/((-5)/375). Suppose -v - q = -2*v. Suppose -138 = 4*i - v. Is i greater than -21?
False
Let a = -71/3532 - -1568653/900660. Let x = a + -27/17. Which is smaller: x or -0.04?
-0.04
Let w = 25 + -17. Let c = 10 + -10.7. Let y = 0.8 + c. Which is smaller: w or y?
y
Let b be ((-1)/3)/(2/30 - 0). Suppose 5*c = -2*p + 22, -2*p = -p - c + 3. Let r be 14/(-4)*p/1. Do b and r have different values?
True
Let k be 2 + (4*(-36)/40 - -2). Does 1/12 = k?
False
Let n = 12399 + -11853445/956. Which is greater: -1 or n?
n
Suppose 0 = j + 4, 0 = -b - 5*j + 18 + 39. Let h = b - 78. Is h bigger than -2/95?
False
Suppose w = -5*c + 4, 3*w + 2*w - c - 46 = 0. Is 9 < w?
False
Let l be 117277/(-115) - (16/(-20) + 1). Which is greater: -1019 or l?
-1019
Let y = 44.1 + -44. Which is smaller: y or 69?
y
Let n be 0 + -1 + 1275/1400. Do 0 and n have the same value?
False
Let k(i) = -7*i**3 - i**2 - i. Let u be k(-2). Let m be (-1362)/9*u/(-21). Let y = -390 + m. Is y at least 0?
False
Let s = -0.06 - -0.13. Let h = s - 0.11. Let q = 24 - 25. Which is greater: q or h?
h
Let u be 1/5 + (-77)/235. Let p(m) = m + 7. Let k be p(-8). Are k and u non-equal?
True
Suppose 3*y + 10 + 5 = 0. Let g = -171 - -837/5. Is y at least g?
False
Suppose 5*b - 25 = u, 2*u + u + 20 = 4*b. Suppose 6*t - t - b*k = 20, 18 = 3*t - k. Let l be (1 + -8 - -3) + 11. Is t at most as big as l?
True
Let a = 115 - 19. Which is bigger: 97 or a?
97
Let r be 6/(-15) + (-17)/((-9690)/(-72)). Which is greater: -4 or r?
r
Let u = -105530/42861 - -2/3297. Which is greater: -2 or u?
-2
Let f = -511 + 414. Do -98 and f have different values?
True
Let t = 36 + -42. Let q be 1 + (-2)/t + -3. Which is bigger: q or 0.01?
0.01
Let t(a) = -58*a - 232. Let o be t(-4). Is o >= -14/29?
True
Suppose -11*n - 120 = -12*n. Suppose 7*j + 3*j + n = 0. Which is smaller: j or -16?
-16
Suppose 9 = p + 4. Suppose -3 - p = -4*b. Let r = -5 + 5. Which is smaller: r or b?
r
Let z be 4 - 1 - (-944)/208. Is z at most as big as 8?
True
Let n = -5.21 - -5.11. Let t = 221/10 + -83/5. Is t at least as big as n?
True
Let l be (0 - 1)/((-4)/(-17 - -5)). Let g = 11 + l. Which is smaller: g or 34/5?
34/5
Let s = 66 + -51. Let o be (-1)/6*-17 - (s - 12). Which is smaller: 0 or o?
o
Let m(h) = h**3 - 27*h**2 - 57*h - 29. Let l be m(29). Which is smaller: 39 or l?
l
Suppose -3*o - 29 + 89 = 0. Let t be (-2)/(-1) - (o/(-25) - -4). Which is greater: t or -2?
t
Let t be 5556/21 + (-48)/84. Is 264 < t?
False
Let q = 1469 - 1481. Which is smaller: -6 or q?
q
Let k = 139 - 64. Suppose -475 + k = 8*n. Which is smaller: n or -51?
-51
Let b = -0.16 + 11.16. Let s = 9.6 - b. Let j = -1.37 - s. Which is smaller: j or -0.1?
-0.1
Let v be 6/7 - -206*(-15)/(-560). Which is bigger: 5 or v?
v
Suppose -4*g - 2*w = -2*g - 14, 0 = -3*g + 4*w + 56. Let c = -456 + 172. Let l = -270 - c. Which is greater: l or g?
l
Let j = 19981/999 + -20. Is j < -1?
False
Let u = -2.84 + 5.84. Is u bigger than 16?
False
Suppose 11*l - 14*l + 9 = 0, l = -3*x - 1689. Is x > -563?
False
Let i(p) = 3*p**2 + 14*p - 12. Let j be i(-5). Is j > -52/7?
True
Let m = -144 + 143. Which is smaller: 1.1 or m?
m
Let a = 0.06 + -0.18. Let j = a - -0.04. Let g = j - -0.01. Which is bigger: g or -0.1?
g
Let h = 66 + -10. Let l be h/(-70)*(-20)/14. Is 1 at least l?
False
Let l = -2019517/8 - -251645. Let s = -792 - l. Let y = 131/56 - s. Which is bigger: 3 or y?
3
Let s be (-1 + 48/44)*-1. Suppose 3*q + 112 = 109. Which is smaller: q or s?
q
Let l(u) = u**3 - 5*u**2 + 6*u - 6. Let y be l(4). Let r(w) = 16*w + 3. Let h be r(y). Suppose 0 = 2*n + 3*n + h. Is n greater than or equal to -6?
False
Let s be (-6)/40*(-33 - (-12818)/390). Let o be 2*(2/4 + 0). Is o less than or equal to s?
False
Let q(g) be the second derivative of -1/20*g**5 + 6*g + g**2 + 0*g**4 + 0 + 1/6*g**3. Let d be q(0). Which is bigger: d or 5?
5
Suppose 13 = -50*m + 37*m. Does 1/947 = m?
False
Let l = -7.11 + 6.239. Let h = l + -0.129. Which is greater: -0.12 or h?
-0.12
Let w = 31 - 10. Let z = w + -50. Let k = z + 33. Is k at least as big as 14/5?
True
Let t = -169 + 172. Let j be (-2*8/192)/(t/(-8)). Which is bigger: 3/5 or j?
3/5
Suppose 0 = -2*g + 4*z + 18, 4*g + 9 = -3*z + 2*z. Let y(k) = 4*k**3 + 1. Let v be y(g). Is v not equal to 1?
True
Let x = 1 - 0.5. Let g = x + -0.3. Let y = -688/3 + 230. Do g and y have different values?
True
Suppose -z + 3*z = 44. Let s = z - 18. Suppose -2*v - 13 = -s*q + 1, q = 3*v + 16. Which is bigger: 0 or q?
q
Let z = -135 + 160. Which is smaller: 23 or z?
23
Let z be 7/(5 + -12) - -13. Which is smaller: 75/7 or z?
75/7
Suppose 3*n + o = 29, n + 5*o - 3 = 8*o. Let c be 4 + (192/n)/1. Is 24 >= c?
False
Let r = 3211 - 73832/23. Which is greater: 2 or r?
2
Let c be (264/(-77))/((-2)/21). Suppose -5*m + 32 = -4*t, 5 - c = 5*t - 4*m. Let f be (-8)/(-12) - (-5)/t. Is f smaller than -1?
False
Suppose 0 = -2*d - q - 0*q + 1, -2*q = -5*d + 7. Suppose p = -2*p - 12. Let l be 3*-3*p/(-270). Is l at least d?
False
Suppose -3*z - 731 = 2254. Let v = -168153/169 - z. Which is smaller: v or -1?
-1
Let g = 31 + -30.8. Let d be (-50)/(-30) + 2/6. Let w be (d/10)/(2/4). Which is greater: w or g?
w
Let k be (-1 - (-2 - 1)) + 0. Suppose -4 = k*o + 2. Let h be (-2 + 2)*3/o. Is h greater than -0.12?
True
Let c = -0.26 - -25.26. Let i(r) = r - 5. Let z be i(5). Which is greater: c or z?
c
Let b = 0.18 - 0.06. Let g be (4/3)/2*165/(-385). Are g and b non-equal?
True
Let m be ((-28)/102)/((-76)/57). Which is smaller: m or -1?
-1
Let l be (-4)/30 - (-5)/((-450)/528). Let o be -1 + 2 + -1 + l/48. Let s(z) = z + 3. Let t be s(-3). Is t < o?
False
Let u = -0.2 + 0.1. Let a = 5 - 11. Are a and u non-equal?
True
Let w = -12 + -21. Let m = w + 31. Which is smaller: m or -3?
-3
Let o = 4.92 - 5.92. Are o and 69/7 unequal?
True
Let s be (-2)/(4/(-3))*(-16)/60. Let t = 12/5 - 122/55. Which is greater: s or t?
t
Suppose 0 = -11*w + 9*w + 22. Let i = w - 5. Is i less than 6?
False
Let h = 1/70 + -3/10. Let c(b) = -b - 2. Let m be c(-4). Suppose -a = 4, -3*a - m = -2*j + 10. Which is greater: j or h?
j
Let a be 0 + 1 - ((-93)/(-15) - 5). Which is smaller: a or -0.25?
-0.25
Let p be (-432)/(-42) - (-2)/(-7). Let b be -3 + 4 + (p - -2). Suppose 0 = -c + 3*y - b, 6*y - y = -2*c + 7. Is -5 less than c?
True
Let t(z) = 7*z - 1. Let x be t(-1). Let g be 79 + -2 + (x - -5). Let w be 2 - (g/16 + -3). Which is smaller: 0 or w?
0
Let o be 3/(-15)*(-40)/(-80). Let n = 12 + -7. Let k be n + -3 - (-4)/(-2). Does k = o?
False
Let y = -0.8 + -0.2. Let j be ((-396)/(-135))/(0 + 4/10). Is y > j?
False
Let k(s) = -s**3 + 7*s**2 - s + 9. Let t be k(7). Suppose -1 = -t*r + r. Let w be -8 - (0 + 2)/r. Is -11 < w?
True
Let g be (-260)/(-5)*(-1)/3*6. Let z be g/(-40) - 3/5 - -15. Which is smaller: z or 50/3?
50/3
Let l = -182 + 126. Let w = l - -55. Is w bigger than 5/11?
False
Let w = 120 - 190. Let i be (-5)/(-20)*w/3. Which is greater: -7 or i?
i
Let d(n) = 98*n - 1315. Let y be d(12). Is -137 <= y?
False
Let p(v) be the second derivative of -v**5/20 - v**4/4 + 5*v**3/6 + 2*v**2 - 8*v. Let y be p(-4). Suppose -5*q + a = 10, -a - 8 = 4*q - y. Is 0.5 less than q?
False
Let h be 15/(-21) + (-765)/105. Let q be 7/(-5) + 2/5. Are h and q non-equal?
True
Suppose -40*a + 38*a = -2*d - 52, 0 = -4*d + 2*a - 100. Is -91/4 greater than or equal to d?
True
Let n = -7 + 10. Suppose q + 23 = 1. Let j be 31/11 + (-4)/q. Are j and n non-equal?
False
Suppose -5*k - 55 = 45. Let x be (-1*6)/(k + 21). Is -4 greater than x?
True
Let h be (-196)/35 - -5 - -6. Which is smaller: 4 or h?
4
Let g be ((-42)/(-63))/((6/63)/(-2)). Is g equal to -14?
True
Let c(r) = -73*r**2 + 5*r - 7. Let j(h) = 37*h**2 - 3*h + 4. Let n(w) = 4*c(w) + 7*j(w). Let q be n(-1). Let b = 31 + q. Is -10 smaller than b?
True
Let i = -44 - 6. Does i = -48?
False
Let z be 82/(-205) + (2 - (-132)/(-95)). Is z >= 0?
True
Let x = -805 - -792. Is 0.11 at most x?
False
Let t = -2 - 7. Let b = 12 - 22. Let k be 42/20 + (-4)