 Suppose 4*q + 8 = z*q. Let v be 16/(-24)*(-6)/q. Is v >= -9?
True
Let g be (3/2)/((-536)/(-80)). Which is smaller: 0 or g?
0
Let j be 87/18 - 2/(-12). Suppose -95 = -5*g - j. Is 19 less than g?
False
Let u be (-12)/140 - (-8)/28. Let f = 6 - 5. Which is smaller: f or u?
u
Suppose -3*c - 2 = -5*z, 0*z + 2 = 3*c - 4*z. Suppose -c*h + 297 = 105. Are 31 and h non-equal?
True
Let a be (-5)/(425/51)*70/46. Is -2 < a?
True
Let v = 9287/21 + -2433/7. Let w = v - 95. Suppose 2*o = 2*y + 2, 0*y = -4*y - 5*o + 5. Is y less than w?
False
Suppose -7*p = -5*p - 5*r + 1101, -3*p + 4*r - 1662 = 0. Is p >= -558?
True
Let u = -3.43 - -3.31. Which is smaller: 1/2 or u?
u
Let h = -34.9 - -36. Suppose -1 = p - 2. Suppose -p = -d + 2*d. Is h smaller than d?
False
Let s be ((-3)/(-18))/((-7)/56)*(-12)/4. Let c be (1/(-3))/((-1)/3). Which is smaller: c or s?
c
Let y(s) = -2*s**2 - 18*s - 11. Let l be y(-8). Suppose 71 + 79 = -l*p. Let k = -212/7 - p. Is 2.2 > k?
True
Let s = -784 - -825. Is 43 <= s?
False
Let l be (-2)/4 + (-2428)/8. Let h = 73 + l. Let k be (-24)/h + (-6)/21. Do 0 and k have the same value?
False
Suppose 0 = -p - p + 4. Let r be 2*p/(-4)*-1. Which is bigger: 2/3 or r?
r
Suppose -2*n - 98 + 98 = -l, 0 = -2*l - 3*n. Suppose -1 = -h, 3*h - 2 = -5*w + 11. Let f be (-27)/(-10) - (w + 0). Which is smaller: f or l?
l
Suppose 0 = -c + 2*l - 6, 0 = -3*l - l + 20. Suppose -12 = c*w + 20. Let q be 632/492 + w/6. Which is smaller: 0 or q?
q
Let f = -172 - -163. Which is smaller: -65/8 or f?
f
Let s(m) = m**2 - 4*m + 6. Let w be s(5). Let b(i) = i**2 + 12*i + 39. Let q(v) = -4*v**2 + 10*v + 3. Let t be q(3). Let d be b(t). Are d and w equal?
False
Suppose -5*q + 4*q = -2*m + 1, 0 = -3*m + q. Is m smaller than -1/8?
True
Suppose 26 = g + 5*a, 2*a + 3*a = -4*g + 44. Suppose g - 13 = -7*t. Is 3/14 != t?
True
Let r = -358 + 286. Which is bigger: -70 or r?
-70
Let l = -366 + 435. Is l smaller than 68?
False
Let d be -4*((-29)/4 - 1). Suppose -31 = 2*u - 99. Which is bigger: d or u?
u
Let b(g) = 52*g - 141. Let j be b(4). Which is greater: j or 5?
j
Let f = -0.03 + -0.07. Let i be (-5)/10 + 11/24. Which is greater: f or i?
i
Let s = 552 + -904. Which is greater: -0.2 or s?
-0.2
Let z be 2/6 + (-290)/(-30). Let d(g) = 3*g + 6. Let o be d(-6). Let a = z + o. Is -2 not equal to a?
False
Suppose 4*t + 32 - 40 = 0. Suppose f + 10 = -f + t*b, 5*b = -3*f - 15. Let y be (5/(-3))/(21/54). Is f not equal to y?
True
Let j = 112 + -112.63. Let n = 157 - 156. Do n and j have different values?
True
Let z be 1*(6 + 0 - -1). Let o = z + 2. Let c be (-1)/2*(o - 10). Do -5 and c have different values?
True
Suppose -3*x = -x - 36. Let r = x + -1. Let z = -18 + r. Is -1/2 < z?
False
Suppose -6*s + 2*s + 12 = 0. Let k = 7 - s. Let p be ((-4)/(-6))/((-64)/(-96)). Which is bigger: p or k?
k
Let f = 2.08 - 0.08. Let z = -43.13 - -0.13. Let x = z + 44. Is f less than x?
False
Let w(z) = 2*z**3 + 31*z**2 + 14*z - 23. Let k be w(-16). Which is smaller: k or -505?
-505
Let n be (-50)/(-4)*3*20/(-9). Which is greater: n or -83?
-83
Let u = 3 + 15. Let c be -1*3/9 + (-275)/(-15). Is c greater than or equal to u?
True
Let c = 1 + -1. Let u be (-1 - 39/(-9))*18/12. Suppose u*x = p - 7, 1 = 2*x + 2*p - 1. Which is smaller: x or c?
x
Suppose -2*n - 5 = -5. Which is greater: n or -5/7?
n
Let n = 25 + -76/3. Let f be ((-21)/12)/(2/(-16)). Let c = 14 - f. Which is greater: c or n?
c
Let s be (-2910)/(-25) + 6/(-15). Let f = s - 163. Let y = f - -27. Which is greater: -19 or y?
-19
Let b = -22.5 + 3.5. Let j = b - -14. Let f = j + 7. Does -0.4 = f?
False
Suppose 0 = -4*d + 2*d - 16. Let b be (-3)/2*2/d. Let u = b - -1/8. Which is smaller: 0.3 or u?
0.3
Let k = -7.65 + 7.65. Let x(c) = c + 11. Let w be x(-8). Suppose 2 = -w*f + g, 5*f - 8*g = -3*g + 10. Is f equal to k?
False
Let t = -6 - -3. Let h be -10*((-6)/(-5))/3. Let i = h - t. Which is smaller: i or 2?
i
Let a = 83011/67 - 1239. Is 0.2 at most as big as a?
False
Let g = 373 + -224. Let b = 222 - g. Is -2/3 > b?
False
Let n be (-21)/(-14)*(-4)/(-6). Let u be ((-99)/(-24) + -4)*(-3)/n. Does -2 = u?
False
Let d(s) = -3*s**3 + 5*s**2 - 2*s. Let q be d(1). Is q at least as big as -18/79?
True
Let r = -0.03 + 35.03. Let l = r + -36. Is l at least -4?
True
Suppose 3*n - 3*q + q - 2 = 0, 0 = -n + 4*q - 16. Suppose 4 = -n*i + 2*i, h + 11 = -i. Which is smaller: h or -7?
h
Let x be (-86)/8*(4 - 8). Let z = -39 + x. Which is smaller: z or 26/5?
z
Let u = -383 + 324. Which is smaller: 0 or u?
u
Let z = 29 - 60. Let g = 33 + z. Which is smaller: 1 or g?
1
Let p = -17 - -14. Let y = 14 + p. Suppose 4*f - 2*f - 2 = 0. Is f greater than or equal to y?
False
Let m be ((-3)/6)/(15/(-310)). Let z = m - 10. Which is smaller: -1.4 or z?
-1.4
Let m be -544*((-2)/20 - 6/(-10)). Let k = m - -1901/7. Which is smaller: 5 or k?
k
Let n(v) = -2*v**2 - 24*v + 50. Let m be n(2). Let l(u) = -u**2 - u - 7. Let w be l(0). Which is bigger: w or m?
m
Let v be ((-126)/15)/((-8)/20). Suppose 0 = -4*z + 3*z - v. Are z and -23 nonequal?
True
Let p = -16602 + 6258959/377. Is -1 at most p?
True
Let g(m) = -27*m**2 - 6*m + 7. Let c be g(2). Let k = c + 1583/14. Which is greater: k or -7?
k
Let t = 1 + 33. Let r = -27 + t. Let n = r + -3. Which is greater: n or -3?
n
Let o be (-2)/7 + (-90)/(-21). Suppose -4*r = o*z - 2*r + 100, 0 = -4*z - 4*r - 104. Is z bigger than -24?
False
Let t = -1.1157 + 0.0457. Is t less than or equal to 4?
True
Let u = -1.36 - -1.46. Does u = 61/4?
False
Suppose -5*r - 2*z = 3*z + 425, -2*z = -r - 82. Let b be 1 + -4 + r/(-30). Which is greater: -0.4 or b?
b
Let x be 6 + 24416/(-2219) + 5. Do 1 and x have different values?
True
Let t = -802 + 214. Which is greater: t or -587?
-587
Suppose 5*u = 2*l - 15, -5*l + 3*u = -6 - 3. Let g be 3 + (-116)/36 + l. Is 14 less than g?
False
Let k be (-3690)/(-38) + (752/76 - 10). Which is smaller: 98 or k?
k
Let a be (-2)/13 - 1524/(-7878). Is 0 bigger than a?
False
Let a be 29/(-174) + 5/(-6). Which is smaller: a or -36/17?
-36/17
Let i = -1060 - -1060. Let a be (-6)/70 + (-2)/(-7). Are i and a unequal?
True
Let d be 31/6*-4 + 4/6. Let o be d/60*((0 - 0) + 1). Is 3 at most o?
False
Let m be 3/(-4) - (-42237)/56412. Does 0 = m?
False
Let j(g) = 2*g - 18. Let a be j(8). Let w be 0 + (-2 - 426/(-33)). Let y = w + -12. Which is greater: a or y?
y
Let u = -1.3 + 4.1. Let k = u + -11.8. Let q = -9 - k. Is q > -0.4?
True
Let c = -412.8 + 412. Which is greater: c or 2/3?
2/3
Let y be (-869)/79 - -38*2. Which is greater: 19 or y?
y
Let j = 13.3 + 130.7. Is -1/4 at least j?
False
Let b = -767028575/33534207 + 2/532289. Let t = b + 76/63. Let n = t - -22. Is n less than or equal to 0.1?
False
Let h be (3/2)/(39/208). Suppose 2*p = -h*p + 190. Which is greater: p or 20?
20
Let v(f) = f**3 - 8*f**2 - 17*f - 52. Let w be v(10). Suppose 4*p + g - 380 = 222, 2*g = 4. Suppose 0 = 5*o + 5*h - 15 + p, -5*o - 3*h = 125. Is o < w?
False
Let z be ((-24)/(-32))/(3029/(-604)). Let d = 477651/233 + -2050. Let y = z - d. Which is bigger: y or 1?
1
Let w = 0 - -1. Let b be w/9*(-55)/22. Let i = -169/90 - b. Which is greater: i or -2?
i
Let r = 66.9 + -67.9. Let q = 42 + -25. Is r <= q?
True
Let r = -144 + -98. Is -2/9 < r?
False
Let y be ((-48)/84)/((-2)/7). Let f be y/(-8)*(-8)/(-6). Which is smaller: 3 or f?
f
Let l = 161929 + -16515641/102. Let c = 65/6 - l. Which is smaller: c or -1?
-1
Let j = -13 - -14. Let c(a) = a + 33. Let q be c(-11). Is q equal to j?
False
Let q = 2/15 - -8/15. Let w be (5 + -1)/(1 - -1). Suppose -4 = 4*b, 3*b - w - 5 = -5*f. Which is greater: f or q?
f
Let b(x) = x - 9. Let k be b(12). Suppose 0 = 5*n - k*n. Suppose -h - 2*h + 9 = n. Is 2 bigger than h?
False
Let r(v) = -3*v - 50. Let l be r(-17). Let z be (l/(-2) - 0) + 3/18. Let s be (-16)/18*(-6)/(-8). Is s equal to z?
False
Suppose 2*w + 18 = -4*n, 4*n + 17 = -4*w + w. Let x = 4229/3 + -1513. Let d = x - -103. Are w and d nonequal?
True
Let v be (4/(-3))/((-8)/6). Is -1/621 at least v?
False
Let w = 105333/76 + -1386. Which is smaller: 0 or w?
w
Suppose 4*v = 2*c + 10, -v = -c - 4 + 3. Suppose v*w - w - 3 = 0. Let h = w + -10. Is -9 != h?
False
Let y = 22 + -29. Let z = 8 + y. Which is smaller: -2 or z?
-2
Let x be 5/(2275/14)*(-3 - -8). Let s be ((-1)/(-6))/(4/8).