 Which is greater: q or -170/3?
-170/3
Let f be 23681/(-255) + (8/(-30))/2. Let i be 34/17 - (-1 - f/11). Which is bigger: -5 or i?
-5
Suppose 2*p - 2*v = -78 - 18, -p - 2*v - 57 = 0. Let n = 44 + p. Is n smaller than -5?
True
Let n be (-2)/1 + 48/26. Let r = n - -17/26. Let m = -6.4 + 2.4. Do r and m have different values?
True
Suppose -13 + 3 = 5*c. Let k = 5024 + -5025. Do k and c have the same value?
False
Let n(h) = 3*h - 16. Let a be n(8). Suppose a*l + 192 - 56 = 0. Let d = l + 17. Is d greater than or equal to 0.1?
False
Suppose 3*s = 5*s - 90. Let c be 1/2 - (s/2)/(-5). Is 0 less than c?
True
Let s be ((-8)/(-300))/(3 - (3 + -1)). Suppose -2*b = 3*b - 2*m - 3, -4*m + 4 = 0. Which is smaller: b or s?
s
Let o be ((-192)/(-153648))/(4/(-6)). Is 0 >= o?
True
Suppose -u - c - 1 = 0, -2*c = 5*u - 0*c - 7. Let n be ((-10)/u)/((-1)/3). Which is smaller: 12 or n?
n
Let w = -28182 - -366156/13. Are w and -16 unequal?
True
Suppose 0 = -4*w + 17*w + 221. Is w bigger than -20?
True
Let p be (-6)/(-10) - (3 + -2). Let l = -2 - -2. Suppose -o + 2*o = 2*t - 3, 2*o - t + 3 = l. Which is smaller: p or o?
o
Suppose -20*j = 2544 + 1716. Is j at least as big as -213?
True
Let l be -2 + (-1)/1*-3 + -46. Let g be 1*(-2)/(-4)*27/l. Which is smaller: g or 1?
g
Let v be (188/16 + -5)/((-1)/4). Let y be v/(-15)*3 - (4 + -2). Do 3 and y have the same value?
False
Let w = 2/105 - 44/105. Is w less than or equal to -183?
False
Let c(j) = j**3 - 6*j**2 + 8*j - 7. Let g be c(5). Let n = -72 - -74. Let y = g - n. Is y at most as big as 2?
False
Let l = -152 + 202.2. Let w = l + 0.8. Is w less than 0?
False
Let t(w) = -w**2 - 16*w + 43. Let g be t(-17). Which is greater: g or 31?
31
Suppose 2 = -4*n + 3*a + 17, -3*n + 25 = -5*a. Are n and -2/299 equal?
False
Suppose -2*i - 2*s - 8 = i, 2*i - 1 = 5*s. Let h = 13.87 + 0.13. Let k = -14.1 + h. Is i >= k?
False
Let m be 4/(12/(-23)) - -2. Suppose -66*y = -60*y + 36. Which is smaller: m or y?
y
Let z = -0.0712 + -4.9288. Which is bigger: z or -1/20?
-1/20
Let i = 485.2 - 482. Let y = -0.4 - -0.5. Which is smaller: i or y?
y
Let g be 52/182 + 0 + 2074/(-56). Let b = 14973/376 - 162/47. Let d = g + b. Are d and 1 unequal?
True
Let b be (168/35)/((-1)/(-10)). Suppose 2*t + 2*t = -b. Let i be t/(-9)*1*-3. Which is bigger: -3 or i?
-3
Let s be ((-6)/(-8))/(1/(-6 - -1562)). Which is smaller: 1166 or s?
1166
Let z = 110 - 113. Is z at least 4/43?
False
Let u = 17 + -20. Let f = u - -12. Let q = f + -6. Is 3 at most q?
True
Let s = 0.426 - 0.436. Which is bigger: -1/3 or s?
s
Let v be 1 - (-8)/40*-5. Is 42/73 bigger than v?
True
Suppose -3*k - 3 + 0 = 0. Let i be ((-70)/3220)/((-6)/4). Are i and k equal?
False
Suppose -5*o - 2 = -2*h - 0, 4 = -h. Let g be 14 + -17 + (-8)/o. Let w be (-16 - -10)*g/3. Which is smaller: w or -1?
w
Let n(t) = -9 - 1 + t**3 + 0 - 6*t**2 + 3*t - 4. Let x be n(6). Suppose -2*h = 2*h - 16. Is h != x?
False
Let x = 117856400/2269 + -51942. Is x greater than or equal to 1?
False
Let v = 16.3 - -3.7. Let a = -9 + v. Let x = -9.8 + a. Is 0.1 greater than x?
False
Let p(d) = d - 1. Let m(u) = 5*u**2 + 86*u - 73*u - 4*u**2 - 18. Let l(z) = m(z) + p(z). Let w be l(-13). Is w smaller than -32?
False
Let h be (-1 - 2982/54) + (-4)/(-18). Which is smaller: h or -64?
-64
Let b = -4401/7 + 629. Let i = 0.04 + 30.96. Which is smaller: i or b?
b
Let p = 76 + -43. Suppose -5*i + 386 = -2*w, -i + 3*w = -39 - p. Is i greater than or equal to 78?
True
Let u(c) = -6*c**3 - 7*c**2 - 6*c - 16. Let s(i) = -i**3 - i**2 - i - 1. Let l(r) = 5*s(r) - u(r). Let z be l(-3). Which is greater: 1/15 or z?
1/15
Let m(r) = 4*r**3 + 9*r + 8. Let s be m(-1). Which is greater: -8 or s?
s
Let b be (-1984)/768 + (-12)/(-9). Is -0.43 equal to b?
False
Let z = -0.22 + 5.02. Let m = z + 1. Let j = -1.8 + m. Which is bigger: j or 2/7?
j
Suppose -8653 + 2259 = 23*j. Which is smaller: -277 or j?
j
Suppose 2*k + 13*a = 14*a + 43, 0 = 5*a - 5. Which is greater: k or 21?
k
Let v = -110 + 109. Let b = 7 - 14. Let r = b - -11. Which is smaller: v or r?
v
Let u = 0.3 - 1.5. Let x = u + 23.2. Is 1 <= x?
True
Suppose 5*i = -4*b - 49 - 16, -5*i + 2*b - 35 = 0. Is i greater than 8?
False
Let t = -1937 + 1916. Which is smaller: t or 2?
t
Let j = 2 - -2. Suppose 0 = t + v - 3*v - 18, 0 = j*v + 12. Are 11 and t equal?
False
Let g(z) = 3*z**2 + 3*z + 5. Let n(h) = -h**2 + h - 1. Let i(l) = -g(l) - 4*n(l). Let t be i(4). Is t at most as big as -13?
True
Suppose 3*q - 117 = -120. Which is bigger: q or 3/208?
3/208
Let v be 4/3*(-48)/8672. Are 1 and v equal?
False
Let a = -5/3 - -83/30. Is a at least 4?
False
Suppose 5*m - 71 = -5*k + 74, k + 136 = 4*m. Suppose t + 2*w = 76, 3*t + 7 = w + 249. Let r = t + -46. Which is bigger: m or r?
r
Let b = -16.145 + 0.145. Let t = 1.3 - -17.7. Let v = b + t. Do v and 0.3 have different values?
True
Let h be (1/(-80))/((-4)/(-12)). Let t = h - 299/560. Is -2 < t?
True
Let i = 100 - 31. Is i at least -2/5?
True
Let w = 3418 - 10045/3. Let l = 72 - w. Is l at most 1/3?
False
Let j = -458 + 108. Let s be (-4)/6 + (-3 - j/(-6)). Is s bigger than -62?
False
Let q = 12.772 - 12.8. Let w = 0.128 + q. Which is smaller: w or 33?
w
Let x(a) = 43*a + 1. Let f be x(-2). Let t = f + 84. Which is bigger: t or 2/91?
2/91
Let b = 0 - 0. Let n = -84/31 + 3294/1147. Let h = n - 47/518. Are h and b equal?
False
Let j be 1/(-4) + 26/8. Let o be 10/j*(-48)/(-40). Let x be o/((0 - -1) + 1). Is x at least 5/6?
True
Suppose 2*a + 0*b - 3*b = 4, 0 = 5*b. Let n be ((-3)/2)/(54/(-40)). Are a and n equal?
False
Let i(u) = 11*u**3 + u**2. Let t be i(-1). Suppose -34*l + 330 = -67*l. Is t not equal to l?
False
Suppose -4*k + 24 + 8 = 0. Which is bigger: k or 85/9?
85/9
Let c be (16 + -19)*(-7)/24. Let a = c - 5/4. Let s(p) = -p - 4. Let m be s(-3). Which is bigger: a or m?
a
Let p = -71 - -47. Let k = p + 214/9. Is 1/3 at least as big as k?
True
Suppose 235 = -20*y + 67*y. Is y <= 17/3?
True
Let a be 233/1815 - (4/30 + 0). Let u = 2231/38115 - a. Which is smaller: 1 or u?
u
Suppose 0*g + 5*g = 0. Let k be 3 + (76 - (-1 + 1)). Let f = 475/6 - k. Which is smaller: f or g?
g
Suppose -76 = 7*v - 9*v. Let c be (15 + 1)*19/v. Let s = c - 8. Which is greater: s or -3/4?
s
Suppose -u - 4*u = 10. Suppose 0 = 4*f - 5*h + 36, -2*f - 3*h = -1 - 3. Let g be (0 - u)/f*9. Is g bigger than -5?
True
Suppose 2*f - m = -1717, -f - 3*m = f + 1705. Let r = -28283/33 - f. Is 0 < r?
False
Suppose 11 = 5*a - 14. Let l be (-1)/3 - a/(-15). Is l greater than or equal to 1/7?
False
Suppose -3*g = -90 - 30. Suppose -2*p = -7*p + g. Suppose -4*x + 25 = -3*t + p, 0 = -4*t + x - 1. Which is greater: 7 or t?
7
Let i be (2 - 47960/(-408)) + 4/34. Which is smaller: -0.1 or i?
-0.1
Suppose l - 3*j + 4 = -3, -5*l + 50 = 2*j. Let u = 18 - l. Which is smaller: u or 0.3?
0.3
Let y = 30 - 31. Which is smaller: y or -2046?
-2046
Let n be (-3)/4 + 3/4 + 0. Suppose -5*c - 5*v - 25 = -3*c, n = 3*c + 3*v + 15. Which is greater: 2/137 or c?
2/137
Suppose 3*q + 9 = 0, -3*h + 1 - 34 = -4*q. Which is smaller: h or -14?
h
Let o = 103 + -100. Suppose -3*j = -o*b + 27, -3 = -j - 0. Is b at most 53/5?
False
Let q be (-57)/(-63)*6/4. Let r = 3/2 - q. Is -1 not equal to r?
True
Let z = 158 - 153. Are -0.7 and z non-equal?
True
Let r = 245 + -152. Which is greater: 95 or r?
95
Let x = 19 - 38. Let b = x + 18. Which is smaller: b or -2/3?
b
Let c = 6 - -48. Suppose 2*w = 5*v - 38, 0 = 3*w - 3*v + 12 + c. Let k be ((-44)/w)/((-6)/(-9)). Which is smaller: k or 4?
k
Suppose 0 = 4*z - 3*x - 282, 2*x + 0*x = 4. Which is greater: 73 or z?
73
Let o = 130 + -4819/37. Do o and -1 have the same value?
False
Suppose -4*w + 24 = -4*y, -5*w - y = -4*w. Suppose -w*s + 0*s - 7 = -h, -2*h = -3*s - 11. Let g be 7 - (-2 + 4 + s). Which is smaller: g or 7?
g
Suppose -4*z = 5*h - 0*z - 45, 5*h - 4*z - 45 = 0. Suppose -17 + h = -2*s. Which is bigger: -5 or s?
s
Suppose -29 = z + 21. Let c be (15/z + 2/12)*54. Which is smaller: -7 or c?
c
Let y = -1.69 + 1.59. Let j be 1/8*(-7)/(-14). Which is smaller: y or j?
y
Let o be 0/(-8 + 11 + 3*-2). Which is bigger: o or 1/509?
1/509
Let b be ((-9)/18)/(4/(-8)). Which is greater: b or -2/3753?
b
Let h(l) = l**2 - 20*l + 39. Let w be h(18). Suppose 0*r + 5*r = q + 152, q - w = 0. Which is 