s bigger: x or y?
x
Let y be ((-138)/(-20) + 0)*8/18. Let g = y + -12/5. Is 0.7 > g?
True
Let n = 33.5 - 39. Let v = -0.5 + n. Is v > -1?
False
Suppose 5*d = -q - 78, 0 = -d - 5*q - 26 - 4. Let w be 1 - (d/(-10) + 0). Which is smaller: w or 0.5?
w
Let s be 1/4 + (-246)/24. Let m be s/(-45) + 92/(-9). Let j = 9 + m. Which is smaller: j or -2/3?
j
Suppose u + 10 = 3*u. Suppose -3*k = -2*x - 5, 6 = 2*x - u*k + 1. Which is greater: -6 or x?
-6
Let p = -2.8 + 3. Let o = -28 + 19. Let d = o - -8. Is p > d?
True
Suppose -4*m - 12 = -4*j, -3*m - 12 = -m - 5*j. Is m at least -9/52?
False
Let j = 68 - 91. Let g = -25 - j. Is g smaller than -5?
False
Suppose 0 = -2*f + 5*f. Let x = 689/88 - -62761/616. Let z = 110 - x. Is z smaller than f?
False
Suppose -3*o - 11 + 5 = 0. Let n be (-9)/(-6)*o - (-4 + 2). Let m = -249 - -3243/13. Which is smaller: n or m?
n
Let c be (-6)/(-21)*-7 - -1. Which is smaller: c or -2/1125?
c
Let f be 100/6*72/15. Suppose 0 = -w - 5*m - 38, f = -w - 4*w - 3*m. Let q be (w/26)/(2/4). Which is smaller: 1/4 or q?
q
Let o = 43 + -131/3. Let s = -0.27 - 19.73. Let n = s + 16. Is o >= n?
True
Suppose 78 = -5*m + 2*m. Let y(a) = 2*a**3 - 2*a**2 - a - 4. Let u be y(-2). Is m < u?
False
Let a be 2 + 0 + (-6)/2. Let y = -13 - -34. Let h = y - 28. Which is smaller: h or a?
h
Let p be (-338)/(-8) + (-156)/39 + -5. Which is smaller: p or 32?
32
Let b = 50.3 + -47. Let m = b - 3.14. Which is greater: 1 or m?
1
Let o be (-4)/10 - 27222/(-30). Is 907 greater than o?
False
Let x be 18/(-12)*8/(-2). Suppose x*r = 2*r - 28. Which is greater: r or -3?
-3
Let r(j) = -j**3 - 18*j**2 + 12*j + 28. Let u be r(-19). Suppose -4*b - 37 = -u. Is b greater than or equal to 32?
False
Let z = -40 - -157/4. Let v(i) = i**2 - 13*i + 11. Let s be v(12). Which is smaller: z or s?
s
Let f = 292 - 323. Which is greater: 0.3 or f?
0.3
Suppose 0 = -2*r + 4*w - 26, -5*w = -w - 16. Let a = 6 + r. Let t be -4 - ((-3 + 4)*-21)/5. Is t < a?
True
Let c = 14 - 10. Suppose -4*u - 8*i = -3*i - 29, c*i = 2*u + 18. Suppose j = -3*s + 7, -3*s + 1 = -j + 2. Is s at most as big as u?
True
Let p be (276/(-1))/4*1/3. Is -21 equal to p?
False
Let k(s) = 2*s**2 + 22*s + 9. Let l be k(-12). Which is smaller: l or 1?
1
Suppose 6*i - 5 = 5*f + 2*i, 5*f - 5*i = -5. Which is smaller: 3/37 or f?
f
Let h = -245576/61 - -4026. Which is bigger: h or 1?
1
Suppose -2*w + 7 + 0 = -5*d, 1 = 2*w + d. Let t = -23.019 - -0.019. Is w at most as big as t?
False
Let c = 3 + -4. Let r = -241/980 - -9/196. Which is bigger: c or r?
r
Let n be (-237)/(-15)*(3 - -2). Which is bigger: 82 or n?
82
Suppose 4*c = 2*d + 1132, 3*d = 4*c - 991 - 705. Which is smaller: d or -563?
d
Let s = -59 + 71. Which is greater: 11 or s?
s
Let r be 2 + (-108)/(-20)*-1. Let b = r + 4. Which is smaller: b or 2/5?
2/5
Suppose 3*r - 5*r + 9 = -q, -2*q = 4*r - 22. Let j = 0.85 + -0.87. Which is smaller: j or q?
j
Suppose d - 3*d - 2 = 0. Suppose 4*p - 2*p = -m, 4*m = 3*p. Which is greater: m or d?
m
Let x(o) = 16*o**2. Let v be x(1). Suppose 0 = -3*j - 6*j - 171. Let c = v + j. Is c less than -1?
True
Suppose -3*w - 1 = -4. Let a = 2 + 6. Let s = a - 25/3. Is s smaller than w?
True
Let z(i) = -5*i**2 - 229*i + 54. Let t be z(-46). Is 6 bigger than t?
False
Let z = -579.7657 + -0.2343. Which is smaller: z or 1?
z
Suppose 33*x - 200 = -17*x. Suppose 0 = 5*o - o + 36. Let q = o - -14. Which is greater: x or q?
q
Let p = 9 - 24. Let c = 13 + p. Are -11 and c unequal?
True
Let i = -3 + 3. Let c be (i + 4)/(11/(-11)). Let k = 11 + c. Is 6 >= k?
False
Suppose -32*b = -37*b + 105. Suppose 2*x + 3*q = -2*x + b, 6 = 2*q. Let w be ((-4)/6)/(1/(-3)). Which is bigger: x or w?
x
Let t = -31 - -55. Let v = 22 - t. Let z be (-1)/(1 + v - -6). Is 4 less than or equal to z?
False
Let l = 7 - 3. Suppose l*x + 4 = -0*x. Let y be x/(-1) - (-10)/(-8). Which is smaller: 2/3 or y?
y
Let i = 526 + -524. Suppose 0 = 4*x - 3*p + 33, p + 9 = -3*x + x. Let l be 1 + 1*2/x. Which is smaller: i or l?
l
Let p = -71.28 - -1.28. Let z = -70 - p. Is 0.04 bigger than z?
True
Let u be 4/4*(1 - -1) + -4. Which is smaller: -3 or u?
-3
Let j(o) be the first derivative of -3*o**2/2 - 18*o + 18. Let d be j(-7). Which is smaller: d or 18/7?
18/7
Let z be 131/(-387) - ((-592)/72 + 8). Which is greater: z or -1?
z
Suppose -5 = p - 4, -2*p - 257 = 5*m. Which is smaller: -46 or m?
m
Let f = -4413 - -83937/19. Is 4 greater than or equal to f?
False
Suppose -3*o = 12 - 12. Suppose 2*h + 3*p = o, p + 4*p = 3*h. Which is smaller: -10 or h?
-10
Let a = -14.3 + 6.3. Let k = -12.86 - 0.14. Let f = a - k. Are f and 1 equal?
False
Let d be (-53 - -1)*(-1 - (-2 - -2)). Which is bigger: d or 53?
53
Suppose -2*z + 2*d - 100 = 0, -11*d = 3*z - 9*d + 170. Which is smaller: z or -51?
z
Let m = -17/45 - -2/45. Suppose 0 = r - 16 + 18. Let b = 2 + r. Which is smaller: b or m?
m
Let u = 133 - 73. Suppose -k + u = -6*k. Let t be (-4)/k + 2/3. Which is bigger: 4 or t?
4
Let p = -77 - -111. Let n be (-76)/3 + 10/(-15). Let w = p + n. Is w not equal to 8?
False
Suppose -4 = 2*g - 4. Suppose 0 = 5*m + 4*c + 6, -5*m - c + g + 6 = 0. Is 1 smaller than m?
True
Let z = 103 + -38. Let s = -64.8 + z. Is 10 > s?
True
Suppose u + 2*u + 5*w + 169 = 0, -43 = u - 5*w. Which is greater: u or -52?
-52
Let t be 2/3*28/48. Let y = t + -91/18. Let x = 92/21 + y. Does x = 0?
False
Suppose -5*q + 2*u - 158 - 527 = 0, -4*u + 290 = -2*q. Let l be 4*(q/6)/9. Which is bigger: l or -4?
-4
Suppose 734 = -3*r - 3*o - 1270, 670 = -r - 3*o. Is r at least -666?
False
Let x = -1.31 - -95.31. Let n = x - 48. Which is smaller: 2/5 or n?
2/5
Let i = -255 + 254. Is i at most 1/147?
True
Suppose -4*u = -2*h - 638, h + 2*u = -0*u - 315. Which is smaller: -318 or h?
-318
Suppose -3*q + 3*k = -6, -2*k - 2 - 6 = 2*q. Let y be 1/3*0 + q. Let z = 0.3 - 0.28. Do y and z have different values?
True
Let l = -33 - 3. Let v = 0.044 + 21.956. Let u = l + v. Is u > 0?
False
Suppose -6 = -4*l - 2. Let n be (2/8)/(l/(-2)). Let a = -7.91 + 8. Is a less than n?
False
Suppose -2 = k - 3*a + 6, k = -5*a + 8. Let n be (-124)/(-1044) + k/9. Which is smaller: 1 or n?
n
Let k be ((-17)/7 - -2) + 0. Suppose -5*l = 19 + 11. Let s be (4/(-8))/((-9)/l). Is k at most s?
True
Let v(z) = z**3 + 9*z**2 - 1. Suppose -52 = 3*q + 5*y, -4*q = -5*y - 0*y + 11. Let p be v(q). Let h be (-2 - -3)*-1 + 2. Which is greater: p or h?
h
Let l = -18/125 - -1679/375. Which is smaller: 5 or l?
l
Let n = 538 + -312. Which is greater: n or 227?
227
Let s be (-7*(-1)/63)/(1/(-3)). Do -5/2 and s have the same value?
False
Let l = 0.1 - 0.3. Let c = 4/19333 + -8487215/135331. Let p = -63 - c. Is l at least p?
True
Let n be ((-5)/20)/(55/40). Is n not equal to 473?
True
Let j be 2/((-3)/((-30)/4)) - 2. Let l be (60/21 - j) + 969/21. Is 46 at most l?
True
Suppose -5*p - 4*j + 153 = 0, 3*j - 6 + 0 = 0. Let m be (1 + p)/(2/1). Let i be m/3 - (-6 + 3). Which is greater: i or 7?
i
Let k be ((-4 - 38)/7)/(0 + -2). Which is bigger: k or -2?
k
Suppose 5*d + 3*p = 105, -4*d + 0*d + 86 = 2*p. Suppose 0*i + 6*i = -d. Which is bigger: 2 or i?
2
Let t = -209 + 209.1. Which is smaller: t or -0.1?
-0.1
Let o = -1051/10 + 105. Let s(j) = -j**2 + 6*j - 9. Let h be s(3). Which is smaller: h or o?
o
Let p = -50 - -49. Which is smaller: 1/117 or p?
p
Let o(a) = -a**2 - 4*a + 4. Let w be o(-5). Let p be 2 + 8/(-2) - 32/(-20). Is w > p?
False
Suppose 5*h = 3*d - 73, 7*d - 3*d - 82 = -h. Let c be 48/d - (3 + 0 - 2). Let m = 3 + -1. Which is greater: m or c?
m
Let p = -47 - -43. Let c = -1.4 - -0.8. Let n = c + 0.6. Which is smaller: p or n?
p
Let d(c) = -11*c + 22. Let k be d(2). Which is smaller: k or 4/295?
k
Suppose -4*i - 164 = -168. Which is greater: i or -210?
i
Let x = -5.3 - -0.5. Let u = -15.8 - x. Which is greater: u or -0.1?
-0.1
Let y = 0.077 + -0.091. Let f = 0.066 - y. Let a = 2.2 + -2. Which is smaller: f or a?
f
Suppose -638 - 917 = -5*m. Let y = 43849/141 - m. Which is bigger: y or -1?
y
Let k be 27/6*16/12. Suppose -3*b + 5*g = -k, -3*b + 4*g = -9 + 3. Which is smaller: b or 1?
1
Let f be -5 + 2 - (-13 - -11). Let c = 72 + -71.93. Is c less than f?
False
Let i = 0.255 + 0.195. Are i and 0.3 nonequal?
True
Suppose -i + 3*m - 6 = -2*i, -3*i + 50 = m. Let d = -30 + i. Is d smaller than -12?
