ater: q or p?
p
Let m = -2.8 - -3.36. Let v = 25.56 - m. Let f = -25 + v. Which is smaller: f or -0.7?
-0.7
Let q = -1065 - -1003. Which is smaller: q or -51?
q
Let s = 0.271 - 2.601. Let t = s - -2.2. Let f = t - 3.87. Which is greater: f or -2/7?
-2/7
Let v = -0.25 - -0.131. Let g = 84.881 - v. Are 0 and g non-equal?
True
Let a = 5.1 + -4.1. Let t = 0.257 - -16.743. Which is bigger: a or t?
t
Let k = 20 - 16. Let c be (-20)/6 + (k - 1). Suppose 0*p + 8 = -2*p - 3*f, -4*f = 2*p + 10. Which is greater: p or c?
c
Suppose -4*r = -p - 22, 3*r + 18 = -2*p - 15. Let j be ((-9)/7)/(p/(-63)). Which is smaller: j or -4?
j
Let a be 4/(-14) + 13780/(-819) + 12. Is a >= -5?
False
Let x be -1 + 0 - (-15)/1. Let q(c) = 2*c**3 - 56*c**2 + 50*c + 121. Let b be q(27). Which is smaller: b or x?
b
Let p = 57 - 17. Let z = 31 - p. Do z and -3 have the same value?
False
Let s be -10 - -1*(-2)/2. Suppose -2*m - 34 = 4*f, 0*m + 5*m - 15 = 0. Which is smaller: f or s?
s
Let f = -3214 - -3213.9. Suppose -2*l + 3*l = 0. Let c be 14 - 0 - (l + 0). Does c = f?
False
Let u(c) be the first derivative of 2*c**2 - 9*c - 8. Let j be u(5). Suppose 4*x = 2*i - 20, 4*i - 10 = 3*i - 3*x. Which is smaller: i or j?
i
Suppose -s + m - 111 + 67 = 0, 0 = 5*s + 5*m + 250. Let f be (-1 - 1)*47/2. Is s smaller than f?
False
Suppose -2*v + 16 + 24 = k, 2*k = -3*v + 61. Let n be ((-108)/(-8))/((-6)/(-8)). Which is smaller: v or n?
n
Let k(j) = -j**2 + 6*j - 4. Let i = -57 - -62. Let v be k(i). Are v and -2/87 nonequal?
True
Suppose -4274 = -5*z - 4*y, -9*y + 14*y = -20. Is z not equal to 857?
True
Suppose 38*c - 8036 = 66*c. Is c at most as big as 0?
True
Suppose l = -u + 8, 2*l = -3*u - 5 + 24. Suppose s - 21 = -4*a, l*s - 25 = 4*a - 8*a. Which is smaller: 6 or a?
a
Suppose 3*b - 4 - 50 = 0. Let n = -57 - -75. Is b != n?
False
Let i = 89908853002/3016452022199 + 31700/3706439. Let a = i + -810323538/160135424365. Let c = 2/3335 + a. Which is smaller: c or 0?
0
Let z be (1 + (-52)/28)*7. Let x be 2*((-15)/z - -1). Is x less than 6?
False
Let m = -24.1 - -23.1. Let h = 88.95 + -87. Let o = -0.05 - h. Which is smaller: o or m?
o
Let t(g) = 65*g + 4. Let m be t(-6). Let q be 3/(-1) + m/(-130). Let n = 18 - 19. Is n not equal to q?
True
Suppose -13 + 37 = -6*n. Let s be (-171)/63 - 2/7. Which is bigger: s or n?
s
Suppose -6*t + 24 + 0 = 0. Suppose 3*r = -5*c - 16, -5*r + c - 16 = t*c. Is r bigger than -20/7?
True
Let f be 0 - 0/(-11 - -6). Is 5/7 < f?
False
Let p be (1 - 268/20)*(-10)/(-2). Let j = p - -105. Does j = 43?
True
Let w be (-150)/20*4/(-2). Suppose 7*d - 1 + w = 0. Let k = -8 + 5. Is d bigger than k?
True
Let i = -35 - -31.1. Let y = i - -4.3. Which is smaller: -0.13 or y?
-0.13
Let x(y) = -5*y**2 + 25*y + 29. Let c be x(6). Suppose 3*u - 6 = 6*u. Is c equal to u?
False
Let b = 3 + 0. Suppose 5*x - y + 4 = 24, 2*x - 25 = -b*y. Do x and -1/8 have the same value?
False
Suppose -5*m - 5*j + 835 = 0, 3*m - 3*j = 578 - 53. Which is smaller: m or 170?
170
Let a be 414/72 - (-2)/8. Let q = 251 + -241. Is a bigger than q?
False
Let g = -0.2 - -0.4. Let f = -4735/16 - -3245/16. Let a = 93 + f. Is g < a?
False
Let k be (-20)/(-4)*(4 + 111/(-27)). Which is smaller: k or 1?
k
Let j = -53 - -82. Let u = 1133 - 1132.8. Is j <= u?
False
Let r(q) = -q**2 + 18*q - 21. Let j be r(9). Which is smaller: j or 61?
j
Suppose 4*l - 308 = 3*c - 4*c, c = -5*l + 385. Suppose 4*z = -3*z + l. Is 12 greater than or equal to z?
True
Suppose x - 5*l = -2, 1 - 2 = -x + 2*l. Which is smaller: 19/6 or x?
x
Let n(q) = q**3 + 9*q**2 + 9*q + 8. Let l be n(-8). Suppose -3*h + 2*s - 148 = l, 4*h + 3*s - 4*s + 199 = 0. Is -50 < h?
False
Let f(m) = m**3 + 2*m**2 - 6*m + 8. Let j be f(-4). Suppose 0 = -2*o - j*o + 10. Is 3 != o?
True
Let j = -15.22 - -0.22. Let r = -94 + 57. Let h = r - -37.1. Which is greater: h or j?
h
Suppose 4*j - w + 744 - 175 = 0, -2*j - 295 = 3*w. Does -144 = j?
False
Suppose 30 + 214 = -4*y. Let a = 18 - y. Let o = a + -55. Which is smaller: o or 23?
23
Let q = -82 + 82. Suppose y - 2*y + 1 = q. Which is smaller: -44/5 or y?
-44/5
Let r be (2/(-20) - -1)/(15/60). Is 4 > r?
True
Let q(l) = -l + 1. Let u be q(0). Let p = 54.948 + 0.052. Let r = p - 56. Is r less than u?
True
Let y be ((-22)/3069)/((-5)/(-75)). Which is greater: -1/4 or y?
y
Let n(x) = -x. Let u be n(-2). Let j = -12 - -13. Suppose 3*a = j + 5. Is u less than a?
False
Suppose 3*n - 84 = 9*n. Let f = 23 + n. Let r = 13 - 3. Which is greater: f or r?
r
Let k = -784.2 - -771. Is -8 at most k?
False
Suppose -4 - 16 = 5*c. Let t be -1*c/(-5 - -1). Do 2 and t have the same value?
False
Let l = -1.97 + 2.1. Let g = -2.0869 + -0.0431. Let h = l + g. Is -1 equal to h?
False
Suppose -2*j + 2*r = -6 - 2, -2*r - 8 = 5*j. Which is smaller: j or -5/69?
-5/69
Let g(c) = -3*c**2 - 26*c - 31. Let f be g(-7). Is 4 greater than f?
False
Let y be ((-66)/(-495))/((12/45)/2). Is -4/471 greater than y?
False
Let p = -1424 + 4270/3. Suppose -m = 5*o - 5 - 9, -o - 1 = 4*m. Suppose 0 = k - 4*v - 8 - 7, 0 = -5*k + 2*v + o. Is k equal to p?
False
Let y = 4 - -3. Suppose 3 + y = 5*x. Suppose -4*c = -x*c - b + 3, 3*b = 5*c + 9. Which is smaller: -1/5 or c?
-1/5
Let n be 9/(-1 - 2/4). Let u be 2/9 + (-421)/72. Let d = n - u. Which is greater: d or -1?
d
Let k(w) = 4*w - 82. Let m be k(-3). Is m smaller than -93?
True
Let s(g) = 13*g - 3. Suppose 2*c = -4*d - 10, -2*c = d + d + 10. Let k be s(d). Which is smaller: k or -7?
-7
Let x be ((-2)/3 - 33/(-9)) + 8. Suppose -2*z - 4 = 3*i - x, 3*z = 4*i + 2. Are -2/175 and i equal?
False
Let p = 1/239 + -1678/1195. Which is smaller: -1 or p?
p
Suppose 0 = -3*w + 6*x - 2*x - 4, -x + 1 = 5*w. Which is smaller: w or -9/19?
-9/19
Let a be -1 - 2 - (-1 - (-10 + -118)). Is a <= -129?
True
Suppose 0*m - 5*m = -5. Let p = -6077/20 - -304. Is m > p?
True
Let p(m) = 4*m + 1. Let f be p(9). Let o = 173/5 - f. Which is bigger: o or -1/3?
-1/3
Let u = 54.92 - 57. Let n = u + 0.08. Let p = -159/4 + 40. Is p greater than or equal to n?
True
Let p = 0 - -10. Let s = p + -10. Let v = -43/30 + 4/15. Which is bigger: s or v?
s
Suppose -94 = -7*g + 25. Suppose -252 = 13*l - g*l. Suppose -4*s - l = -s. Is s >= -1?
False
Suppose 2*u = -2 + 6. Let h be ((-10)/(-40))/(u/16). Let t = 10 + -7. Which is bigger: h or t?
t
Suppose -2*m + 3*m = -14. Let a = m + 5. Let y be 3/a + 2/3. Does -1/4 = y?
False
Let d = 27.4 + -35.4. Which is greater: d or 0.9?
0.9
Suppose q + 101 = -5*l, -l + 4*q + 84 = -5*l. Is l bigger than -19?
False
Let g = -26 + 18. Suppose 4*p = -3*y - 22, -3*p + 17 = -4*y - 29. Which is bigger: g or y?
g
Let n be (0 + 87/30)*-2. Is n >= -7?
True
Let q = 125.1 + -125. Which is bigger: -0.91 or q?
q
Let f be 34/72 + (-8 - 350/(-45)). Which is smaller: f or -0.76?
-0.76
Suppose -2*l - b + 90 = -3*b, -5*b = l - 75. Suppose 4*s = -2*c + l, s = -5*c - 0*s + 107. Is 22 at most as big as c?
False
Let b = 324.8 - 325. Is -6 greater than b?
False
Let n be 28/(-525)*3/2. Let q be -1*(2 - (-18)/(-2)). Let y(k) = k**2 - 6*k - 7. Let g be y(q). Do g and n have different values?
True
Let d be (-20)/(-24) - 3/(-18). Let v(s) = s**3 + 16*s**2 + 15*s - 6. Let j be v(-15). Let x be (-25)/(-105) + 4/j. Which is smaller: d or x?
x
Let n = 6/2911 - 13016/3490289. Is n less than 2?
True
Let s be -14*(66/(-12))/11. Which is greater: s or 110/17?
s
Suppose 0 = -3*d - 2*p - 58, -2*p + 0*p = d + 18. Let s be ((72/d)/3)/(-2). Which is greater: s or 2/3?
2/3
Let m be ((-54)/(-12) - 5) + 1426/(-56). Let g = m - -194/7. Is 2 smaller than g?
False
Let l = -116 - -117.98. Let u = l + 0.02. Let t = -200 + 200.3. Are t and u unequal?
True
Let f = 13.18 + -0.18. Let b = f + -12.6. Let p = -0.3 + b. Which is greater: 12 or p?
12
Let x = 3.736 + 0.064. Which is bigger: x or -2?
x
Suppose -25524 = m + 2*m. Let s be (-2151)/m - 1/4. Let h = s - -4951/4254. Is h at most as big as 0?
False
Let g be 52 - -1 - ((-3)/(-3) + 2). Let q be 3/2*-2 - (-3 + g). Is q less than or equal to -50?
True
Let t(z) = 3*z + 6. Let y(w) = 7*w + 11. Let l(x) = -5*t(x) + 2*y(x). Let c be l(-6). Is -0.03 less than or equal to c?
False
Let d = -0.441 - -0.421. Let f = 17/91 - 6/35. Let z = f + -141/715. Are d and z nonequal?
True
Suppose 16*t = -399 - 3201. Which is smaller: t or -224?
t
Suppose 