or b?
b
Let b = 1000197/14 + -71320. Let d = b + -633/14. Let f = -77 + d. Which is bigger: 0 or f?
f
Suppose -4*z = 3*z + 28. Let q(n) = -n**2 + 5*n + 9. Let s be q(z). Let b = s - -26. Which is bigger: -6/17 or b?
-6/17
Suppose 5*w - i - 64 - 31 = 0, 0 = 4*w - 4*i - 92. Is -2/7 < w?
True
Let a = -6 + 3.9. Let g = 1.1 + a. Which is greater: g or 14?
14
Let r = 101970/37 + -2756. Which is smaller: -0.2 or r?
-0.2
Let a = 7 + -4. Let l = -15.3 + 15.2. Which is smaller: a or l?
l
Let o = 52 + -51. Let i be ((-244)/234 - -1)*-1. Let l = i + -76/2691. Are o and l unequal?
True
Suppose a - 21 = -53. Let y = 45 + a. Suppose -17 = -5*b + y. Is b > 5?
True
Let q(z) = 15*z - 46. Let a be q(3). Which is smaller: a or -1/136?
a
Let c(p) = -2*p**2 - 10*p - 5. Let h be c(-4). Suppose 4*x = -0*x + 124. Suppose -7 + x = k - 5*g, 2*k + h*g + 17 = 0. Do -2/7 and k have the same value?
False
Suppose -1059 + 348 = -9*q. Are q and 469/6 equal?
False
Let v = -5 - -8. Let a = -8 - -13. Suppose 8 = -3*l + 5*i - a, 3*i = 4*l - 1. Is l != v?
True
Let f = -55 + 55.9. Let i = f + -1. Let g = -1 - -7. Is i at least g?
False
Let n = 47 + -45.65. Let w = 0.35 - n. Is w not equal to -2?
True
Let m = 14 - 23. Let d(v) = 12*v + 110. Let o be d(-10). Do o and m have different values?
True
Let g = 52 + -49. Let i be (-4)/33*(-12)/(-8)*g. Which is smaller: i or 0?
i
Let w(v) = v + 2. Let u be w(6). Let x = 462 + -461. Is u equal to x?
False
Suppose 0 = -37*y + 3 + 34. Is -2/1043 bigger than y?
False
Let j = -7 + 4. Let s be (-29)/(j + 104/36). Let n = -2868/11 + s. Is n smaller than -1?
False
Let u be (-10)/(520/(-282)) - (-1 + 7). Is u >= -2?
True
Suppose 0 = -g - m, -8 = 4*g + 2*m - 0*m. Let z be ((-10)/3)/(g/(-12)). Let u be ((-14)/z)/((-4)/(-20)). Is -2/3 at least as big as u?
False
Let a = -224 - -213. Is a > -11?
False
Let y = 61 - 728. Which is bigger: -668 or y?
y
Let d = -537 + 536. Is -117 bigger than d?
False
Let k = 43.3 + -4.3. Let v = k + -39.2. Is v at least 7?
False
Let n = -1056.24 + 1056. Is n smaller than 2/39?
True
Suppose -327 = 78*p + 63. Which is greater: -0.49 or p?
-0.49
Let n(o) = 8*o + 71. Let y be n(-5). Which is smaller: y or -6/7?
-6/7
Let w(s) = -14*s. Let p be w(1). Let y be p/(-22) + (-6)/9. Let g = -113/627 + y. Which is bigger: g or 0?
0
Suppose -6 = -2*f - 5*g + 1, f - 2*g - 17 = 0. Let y = -14 - -26. Is y greater than f?
True
Let h be 6/15 - 2*913/(-10). Which is bigger: 185 or h?
185
Let x = -726969/287 + 2533. Let g = 584/1435 - x. Which is bigger: 0 or g?
g
Suppose 11*b + 23 = 12. Are 1/389 and b equal?
False
Let k = 57.8 - 54.12. Is -1 equal to k?
False
Let m = -1238.99 + 1239. Let l(w) = w**2 - 4*w + 1. Let f be l(4). Is m equal to f?
False
Let k = 303 + -302. Is k at most 4/113?
False
Let w be (4 - (-280)/(-15))/((-2)/(-3)). Is -127/6 less than or equal to w?
False
Let k = -122/63 - -11/9. Let s(c) = -3 + c**2 + 2 + 0*c - 5*c. Let h be s(5). Which is smaller: k or h?
h
Suppose -a + 21 = 3*c, -8 = -2*c + 5*a + 6. Let r = 1280 - 1276. Is c greater than or equal to r?
True
Let c(n) = 117*n - 920. Let j be c(8). Which is bigger: 13 or j?
j
Let a = -0.86 - 58.14. Let o = a + 58.83. Which is smaller: o or -0.1?
o
Let j(n) be the first derivative of n**4/4 - 5*n**3/3 + n**2/2 - 12*n - 9. Let a be j(5). Is a less than 0.3?
True
Let r = -278 + 280.948. Let p = 0.052 + r. Is 1/8 at most p?
True
Suppose 7*g = 3*g + 32. Let v = g - 8. Let a = -92 + 735/8. Do v and a have different values?
True
Let c = 288 + -288.1. Is c at most as big as -452?
False
Suppose 32*y = 37*y - 30. Let i be (-43 - -3)*(-4)/8. Let l be ((-2)/3)/((-2)/i). Is y less than or equal to l?
True
Let m be (-12)/42 - 130/(-14). Suppose 13*l + 8 = m*l. Let f be ((-2)/21)/(3/45). Which is smaller: l or f?
l
Let v = 91 + -53. Let t = -36 + v. Is t at most as big as 2/3?
False
Let b(n) = 326*n**3 + 9*n - 10. Let d be b(1). Is d less than 327?
True
Let q = 698 + -696. Is 2/1349 at most q?
True
Let v be (1*-3)/(9/(-15)). Suppose -v*n - 40 = 10. Let t = 8 + n. Which is smaller: t or 1?
t
Suppose 97 = t + 5*l, 3*t - 426 = 4*l - 97. Is t greater than or equal to 106?
True
Let u be -10*1/(-5 + 3). Suppose 0 = z - 1 - u. Let f be (-4)/(-6) - 4/z. Which is bigger: f or 1/8?
1/8
Let m be (-22)/(-77) - 4/14. Suppose 5 - 2 = 4*g + f, m = -4*g + 2*f - 6. Is g >= 6/5?
False
Let o = -114 + 116. Is 18 equal to o?
False
Let x = 14743 - 14609.94. Let g = 133 - x. Is g greater than or equal to 1?
False
Suppose 13 - 565 = -69*t. Let u be 80/(-12)*3/(-2). Is t greater than u?
False
Let y = 0.6 - -2.4. Let u = -1.4 + 3.5. Let j = -3.1 + u. Is y not equal to j?
True
Let f be (22/(-24))/((-45)/(-96)). Let r = 405/4 + -3701/36. Let o = f - r. Is o bigger than 0?
False
Let l = -1574 + 1565. Is 7 > l?
True
Let x = 1.07 + 19.73. Let j = x + -21. Is -1/7 greater than or equal to j?
True
Let a = 3.023 + -3. Let u = a + 0.177. Let m be (-1 - -2)/(-3*1). Is u at most m?
False
Let q = -34 + 34. Let m be ((-1)/(-11))/((-5)/(-10)). Which is bigger: q or m?
m
Let x(u) = u - 10. Let h be 190/20 - (-6)/(-4). Let d be x(h). Let p be 1/(d/(17 - -1)). Is -31/4 >= p?
True
Suppose -4*d = r - 4*r - 1806, 2*r + 1204 = d. Let y = 33112/55 + r. Which is bigger: y or 0?
y
Let d = 7.9 + 0.1. Let g = 17 - d. Let v = g + -3. Which is bigger: v or 1/4?
v
Let y = -4270 + 8809/2. Do y and 134 have the same value?
False
Suppose 3*k = -2*f + 58, 7*k = 2*k - 5*f + 90. Suppose 0 = 5*o - 3*o - 46. Which is smaller: o or k?
k
Let h = 39 + -39. Suppose h = t - 6*t - 5. Which is bigger: -17 or t?
t
Let z = 0 + 1/2. Let j be (2 - 1)*(-7)/(7/(-13)). Let f(q) = -q**3 + 12*q**2 + 10*q + 39. Let k be f(j). Is k at least as big as z?
False
Let h = -14.12 + 14. Let g = h + 0.22. Is g smaller than 29?
True
Let o = -19 + 9. Suppose -4*v - 24 = -4*z - 0, -3*v - 8 = 2*z. Let i be (v/o)/((-4)/(-100)). Which is bigger: 9 or i?
i
Let p = 3 + 4. Suppose 2*f - 80 = p*f. Let b = 5 + f. Which is smaller: b or -12?
-12
Let b = -0.0497 - 383.9503. Which is greater: -1 or b?
-1
Let m = 0.35 - 0.15. Let u be (-7 - (-3)/1)/(-1). Suppose 0*w = -5*d - 3*w, 0 = u*d + 3*w + 3. Which is smaller: m or d?
m
Let u = -20.924 + 1.004. Let k = u + 20. Which is greater: -1 or k?
k
Let f = -12 + 16.5. Let d = f - 4. Let c = 349 - 350. Which is smaller: c or d?
c
Let x be (-210728)/(-160) - 6/(-8). Let z = -1322 + x. Do z and -4 have the same value?
False
Suppose -10 = 3*g - 1. Let n(p) = -p**3 + 6*p**2 + 9*p - 11. Let l be n(7). Suppose -17 = -l*d + 8*d + w, 5*d + 14 = -2*w. Which is greater: g or d?
g
Let z = 21 - 15. Suppose -2*u = -10, -2*u - 4 - z = -5*p. Suppose p*i = 21 + 3. Do 7 and i have the same value?
False
Let x be (0 + 1)/(-5 - 984/(-196)). Let r = 61 - x. Which is smaller: -0.3 or r?
-0.3
Let k = -0.09 - -8.09. Let t = -1.23 - -10.93. Let u = t - k. Which is smaller: -0.1 or u?
-0.1
Suppose 8*z - 20 - 28 = 0. Let l be z/(-4)*12/(-1341). Let x = l + 135/1043. Which is greater: -1 or x?
x
Let u(d) = -2*d - 13. Let m be u(9). Let t = m + 33. Suppose -39 = -t*q - 3*i, 0 = -3*q + 5*i - i + 67. Does 22 = q?
False
Let m(v) = v + 5. Let n be m(-7). Let i = -125 - -119. Let u = n - i. Is 4 at most u?
True
Suppose 16*r = 4 + 140. Is 10 at least as big as r?
True
Let c be (-154)/11 - (4 + -1). Is c > -17?
False
Suppose 0 = -16*c + 11*c. Suppose c = -h + 3*m + 5, 3*h - 5*m + 0 = 7. Which is greater: 0 or h?
0
Let o be (-524)/(-12) + -6 - 10. Is o greater than 29?
False
Let q = -0.3 + 0.4. Let p be 125/(-250) - 93/(-178). Do p and q have the same value?
False
Let c = -2.97 + -34.63. Let k = c + 38. Which is greater: k or 0.3?
k
Let v be (-5)/(-6 + (-3 - -4)). Which is bigger: v or -1/183?
v
Let z = -82195/19 - -1281563/247. Let q = 862 - z. Let y(j) = j**3 - 5*j**2 - j + 6. Let v be y(5). Is v equal to q?
False
Let x(g) = -g**3 - 7*g**2 + g + 1. Let t be x(-7). Let z = -7 - t. Let w = -1.7 - -1.7. Which is greater: w or z?
w
Let s(f) = -23*f - 4. Let u be s(-7). Let h = -1102/7 + u. Let i be (-2 + 3 - (0 + -1))/6*-3. Which is smaller: h or i?
i
Suppose -256*k + 248*k = 0. Is k greater than -2/1085?
True
Let x(q) = -2*q - 13. Let u be x(-6). Which is bigger: u or 8/25?
8/25
Let z(y) = 3*y**2 - 19*y + 5. Let t be z(6). Let n be 5/15 - 130/3 - t. Which is greater: n or -41?
-41