ppose -c = -4*p - 77. Which is greater: 1 or p?
1
Let m = -154 - -153.8. Is 0.9 at most m?
False
Suppose 0 = -2*w + 3*k - 10, 2*w - 2 = -3*k + 12. Suppose 4*j = 5*j + w. Which is greater: 3/8 or j?
3/8
Let w = 168 - 168. Let k = 16 + -22. Is k not equal to w?
True
Suppose u = -17 + 10. Is -55/9 less than u?
False
Suppose -3*z = -2*f - 8 - 8, 5*z - 4*f - 24 = 0. Suppose 3*b = -4*a + 40 + 29, 0 = 2*b - 2*a - 32. Let j = b + -10. Which is bigger: j or z?
j
Let o be (-28)/120*(-8)/42*-312. Let i = o - -14. Let g = 0 - -1. Which is smaller: i or g?
i
Suppose 18*i + 24*i - 378 = 0. Is i at most as big as 8?
False
Suppose -u - 4*u = -20. Suppose u*d = -4*z - 144, 0*z - 3*z - d - 98 = 0. Which is smaller: z or -32?
-32
Let u = -2.2 - -16.2. Let a = -14.68 + -0.32. Let x = a + u. Which is greater: 6 or x?
6
Let z = -44 - -53. Suppose -6*x - 42 = -z*x. Which is greater: 15 or x?
15
Let t be 0*(0 - (0 - -1)). Suppose -3*m - 2 - 5 = 2*o, -4*m - 20 = t. Suppose 40 = o*k - 2*r, 4*r = -8*k + 3*k + 24. Is k bigger than 7?
True
Let d = -491630 + 16226468/33. Let a = 232/3 - d. Which is smaller: -4 or a?
-4
Let z = 124 - 122.34. Let m = 0.66 - z. Are m and -29 non-equal?
True
Let u = 29 + 41. Let t be -6 + 0 + 67 - -8. Which is greater: u or t?
u
Suppose 4*c = r - 9, -3*c - 5 = -2*r - 2. Is c bigger than -3/2?
False
Let n be (-1)/(((-4)/10)/((-36)/(-45))). Suppose -15 = -5*c - 3*g, 1 = n*c + 2*g - 9. Which is smaller: 2/11 or c?
c
Let w(m) = -m**3 + 2*m**2 + 4*m - 4. Let c be w(3). Let u be -53*((-304)/(-38) - 41/5). Which is bigger: u or c?
u
Let k be 2 + 0 - (-12)/6. Suppose 2*r + 5 = 9. Suppose 5*h + 0*n = 2*n, 0 = -r*h - 5*n + 29. Which is smaller: k or h?
h
Suppose -4*m - 3*s = 7, 0 = -12*m + 7*m + 2*s - 3. Which is smaller: 4/529 or m?
m
Let j = -2059 - -2058.7. Which is bigger: -9.6 or j?
j
Let m be ((-216)/189)/((-8)/112). Let j(z) = 2*z**2 + 7*z + 1. Let v be j(-5). Is m less than or equal to v?
True
Let h = 47/13 - 2953/806. Let x = -260712191/434 - -600719. Let a = x - h. Is 5 < a?
False
Let c = -308 + 251. Is -57 >= c?
True
Let k = -2.014 + -3.05. Let r = 0.064 + k. Is 2 greater than r?
True
Suppose -a - 60 = 4*g, 4*a - 5*g = -2*g - 164. Do a and 7 have different values?
True
Let h = 4.4 - 4.2. Let f = -36 - -25. Let c = f + 15. Is h less than c?
True
Let a = -136 + 1091/8. Is a > -1?
True
Let y be ((-464)/5075)/((-6)/(-263)) + 4. Is y smaller than -1?
False
Let n = -0.143 + 0.733. Let y = -6.59 + n. Which is smaller: y or 3?
y
Let w = 1972/9 + -673/3. Let v = w + 875/171. Suppose m - 2*m + 4 = -4*z, 0 = -5*z + 2*m - 8. Which is bigger: v or z?
z
Let z be 5/(30/42) - -5. Is 56/5 less than or equal to z?
True
Let a = 109 + -109. Which is smaller: a or -16/29?
-16/29
Suppose -3*j = 3, -5*w + 287 = -4*j + 2*j. Let i = w + -38. Is 17 less than i?
True
Let j = -425.7 + 426. Let v = 2.04 + -2. Let t = v - -0.36. Is t less than or equal to j?
False
Let i be 12/20 - (1 + 6684/15). Which is smaller: -1 or i?
i
Let g = 333 - 438. Which is smaller: -108 or g?
-108
Suppose -236*v = -233*v - 54. Is v greater than 11?
True
Let h be (-40)/(-90) - 365/(-9). Is h greater than 3?
True
Let a(l) = -l**2 + 3*l - 2. Let i be a(2). Let z = 371 - 533. Let t = z - -482/3. Which is smaller: t or i?
t
Let b be -6 + (59/(-5) - -1). Which is bigger: b or -18?
b
Let t be 21/12 - (-3)/12. Let r be (t - (-33)/(-17))*-2. Suppose m - 3*z + 3 = -4*m, -3*m + 4*z = 4. Is r less than m?
True
Let r = 14 + -11. Suppose u = r*u. Suppose o + g = 6, u*o - 2*g - 37 = -5*o. Is 7 at most o?
True
Suppose 7*f + 6562 = -10*f. Which is greater: -385 or f?
-385
Let i = -34 + 6. Let n be i/(-42) - 46/6. Let t(d) = 2*d + 15. Let v be t(n). Is v >= 6/7?
True
Let k(d) = 5*d. Let c(s) = 26*s + 1. Let t(r) = 2*c(r) - 11*k(r). Let x be t(-7). Is 23 > x?
False
Let h = -68 - -71. Let f = 10.6 + -0.6. Let p = f + -3. Which is bigger: p or h?
p
Let f be 60 - 60 - (-4)/14. Let q = 1 + 0. Which is smaller: f or q?
f
Let b = -13 - -14. Let l = 181.08 - 181. Is l bigger than b?
False
Let p be (255/20)/((-9)/6). Which is smaller: p or -8?
p
Let s = 551 + -554.81. Let b = s + 0.51. Is 1 < b?
False
Suppose -3*d + 24 = 3*n, 0 = -3*n - 0*d + d + 28. Let t be 40/6 - n/(-27). Which is greater: 10 or t?
10
Let p(k) = k - 2. Let z be p(7). Suppose 0 = -z*o + a + 2, 6 = -2*o + 3*a - 1. Let i be ((-11)/3 + 3)/(69/9). Which is bigger: o or i?
o
Let x be (-6)/9 + 2/(4 - -2). Do x and -70 have the same value?
False
Let h be (12/(-15) - (-17272)/40) + -7. Which is smaller: h or 426?
h
Let g = -143955/17 - -8455. Which is smaller: g or -12?
g
Let t = -449.22 + 454. Let d = -4.7 + t. Which is greater: 1 or d?
1
Suppose -3*c + 1 = 5*i - 389, i + 2*c = 71. Are 79 and i unequal?
True
Let f = 4.28 + 0.42. Let r = f - 5. Let j = 21 - 20.9. Does j = r?
False
Suppose -5*w + 8 = -3*o, -3*o + 10 = 5*w - 8*o. Is 25/11 greater than w?
True
Suppose 0 = 10*u + 577 + 263. Is -84 less than or equal to u?
True
Let n be ((-1)/234)/(5/10). Which is smaller: 1 or n?
n
Let w = 1 - -1. Let m be (w/9)/((-10)/12). Suppose -x - 107*q + 17 = -103*q, 2*x = q - 2. Are m and x unequal?
True
Let v = 14.5 - 23. Let q = 8.46 + v. Let u = 0 - -0.1. Is u not equal to q?
True
Suppose -3*u + 22 = v - u, -4*v + 4*u = -100. Let g be 0 - v/(-5 - -1). Suppose -181 = g*y - 13. Is -27 < y?
False
Let t be 3/((-585)/(-775)) - 4. Let w = 5/26 + t. Are -4/7 and w non-equal?
True
Suppose 0*i + 4*i - 200 = 0. Suppose 0*w - 5*w = i. Which is smaller: w or -8?
w
Suppose 1857*w = 1854*w + 138. Is w at least as big as 44?
True
Suppose 2*p = 19 + 243. Suppose 0*x - 3*x - 2*t = p, 5*t - 185 = 5*x. Which is smaller: x or 0?
x
Let w = -0.98 + 0.9. Let b = -0.04 + w. Which is greater: b or 3?
3
Let p = 9.038 + -9. Let m = p - 4.238. Let n = -4 - m. Which is bigger: -1/9 or n?
n
Let i be (-8)/12*243/(-6). Which is smaller: 294/11 or i?
294/11
Let w = -3 - -7. Suppose 0 = -3*n + w*h - 218, -4*n = 4*h - 33 + 277. Let k be 3 + -1 + 150/n. Is 1 smaller than k?
False
Let x(y) = 3*y**2 + 2*y - 2. Let d be x(2). Let c be (2/3)/(d/21). Which is greater: 1/2 or c?
c
Let f = 163 - 179. Which is smaller: 2/3 or f?
f
Suppose 14 = 2*r - 2*d, -2 + 10 = -r - 2*d. Let x(v) = 3*v + 7 + 1 + v**3 - 5*v**r - 3. Let o be x(4). Which is smaller: 3/8 or o?
3/8
Let y = 15.748 - -0.052. Let v = -16 + y. Are -2/45 and v equal?
False
Let c = -1/1052 - -2159/57860. Let u = 16 + -9. Suppose -u*k + 8*k = 0. Is c less than or equal to k?
False
Let w = 242/69 + -73/23. Let r be -2 + (2 - (2 + 10)). Let h be ((-3)/6)/((-1)/r). Is w at least as big as h?
True
Let c(o) = o + 5. Let w be c(6). Let k = w - 22. Let t be 21/28*4/k. Which is smaller: t or 0?
t
Let v = -4.48 - -3.48. Is v > 0.4?
False
Let r = 597.8 + -695. Let q = -97 - r. Which is smaller: q or 0.9?
q
Let x = -15 - -12. Let c = -79 - -76. Is x >= c?
True
Let x be (-4)/6 + 60/(-171). Let j = 7/38 + x. Which is smaller: j or 0?
j
Let u be 7/(-7)*(-350)/(-75). Let y = 1 + 1. Suppose 0 = -0*q + y*q + 3*r - 7, r = 5. Is q at least u?
True
Suppose -23*r + 19*r + 3732 = 0. Let f = r + -34519/37. Which is smaller: -0.3 or f?
-0.3
Let q = -3 + 3.09. Let p = q - 0.2. Let k = -0.69 + p. Do k and 0.1 have the same value?
False
Let z be (11 + -9)*(-2 - 2). Let u be 16/20*(-5)/(-2). Let x = u + -1. Which is smaller: z or x?
z
Let v = -131 - -236. Let f be 7/(4/(-22) - v/(-154)). Which is smaller: 73/5 or f?
f
Let y be ((-88)/36)/(-11)*8. Which is smaller: 2 or y?
y
Let q = -286 + 293. Which is greater: 15 or q?
15
Suppose 14 - 4 = -y + 3*a, -y - 4*a = -25. Are 70/11 and y equal?
False
Suppose y - 9 = 3*i, y + 7 - 4 = -3*i. Let l be -1*(-7 - i)*-1. Let o be (-1 - 16/(-6))*-3. Is o greater than or equal to l?
True
Let o be 270/720 + 93/(-120). Suppose -5*u + 2*d - 1 = 0, -2*d = -u - d + 1. Let j = 2 + u. Which is greater: o or j?
j
Suppose -16 = -3*d - 7. Let g be 3 - ((-2 - -3) + d). Let p = -4 + 4. Is p < g?
False
Let z = -2.7705 - 30.2105. Let v = -0.019 + z. Which is greater: -0.1 or v?
-0.1
Let c = 20.01 + -61.86. Let i = -42 - c. Which is bigger: 1/4 or i?
1/4
Let u = 126125/99 - 1274. Is u greater than or equal to 0?
False
Suppose -312 = 74*n + 30*n. Do n and -40 have the same value?
False
Suppose 5*b - b - 18 = 2*a, 20 = 4*b. Let n = a + 28. Are 28 and n unequal