 or 5?
5
Suppose 2*p + 24 = 5*r, -47*p + 45*p - 2*r + 4 = 0. Let x = -1013 + 5251/5. Let o = x + -1141/30. Which is bigger: p or o?
o
Let f = -89.5 + 79.5. Which is smaller: f or -37?
-37
Let r(f) = -44*f**2 - 7*f - 2. Let b be r(-1). Are -38 and b equal?
False
Let n = -140 + 146. Let t be (-6 + n)*4/(-4). Does -1/113 = t?
False
Let i = -68 - -73. Suppose 2*j = -k + 86, -14 = i*k + j - 444. Is k at least 86?
True
Let j = -1 - -11. Let w(l) = -l**2 + 9*l - 4. Let u be w(j). Let v = u + 14. Is 1 < v?
False
Let m = 58 - 35. Which is greater: 22 or m?
m
Let q = -39 - -42. Suppose 4*y = -q*y + 70. Let b(o) = -2*o + 1. Let z be b(-5). Is y <= z?
True
Let a = -0.163 + 10.563. Let h = a - -1.6. Is h equal to 2/7?
False
Let a(l) = -164*l - 474. Let c be a(-4). Which is bigger: 185 or c?
185
Let x(h) = h - 5. Let i be x(-6). Let q = 13 + i. Suppose 4*g - 3*g - q = 0. Is 12/7 greater than or equal to g?
False
Suppose 14 = 2*d - 4*y, 0*d + 3 = 3*d + 3*y. Let k be 9 - -5 - (d + 0). Let x(w) = -4*w + 70. Let v be x(15). Which is greater: k or v?
k
Suppose 16 = 2*q - 2*m + 4, -22 = -2*q + 4*m. Let c be (-1*q)/(7/(-28)). Suppose -x - c = x. Is x at most 0?
True
Let l = 33 - 32. Let m = l - -23. Is 25 equal to m?
False
Let y = 3110/441 - 106/49. Is y <= 2/3?
False
Suppose -84 = -5*l + 41. Let q be 63/42*(-104)/(-6). Which is smaller: q or l?
l
Let d be 117/130 + (-2)/(-80)*4. Do d and -9/101 have the same value?
False
Suppose h = -2*o + 541 - 126, 3*h - 205 = -o. Which is smaller: o or 210?
o
Let n = -237 - -240. Is 38/11 less than n?
False
Let f = 171 - 170.8. Let r = 44 + -45. Which is greater: f or r?
f
Suppose -2 = -5*k + z, -4*k + 1 = -49*z + 48*z. Which is bigger: k or 12/73?
k
Suppose -2*c + 1 = -c. Let q = -67070246/319 - -210252. Let s = -5/29 + q. Which is smaller: c or s?
s
Suppose 0*p - 5*p - 80 = 0. Let b be ((-2)/(-8))/((-10)/p). Let f = -0.31 - 2.69. Does b = f?
False
Let i = -2 - -3. Let m(s) be the second derivative of -7*s**3/3 + 11*s**2/2 - 4*s. Let o be m(1). Is o not equal to i?
True
Let h = 8.233 + -1.603. Let q = 0.37 + h. Is q not equal to -0.1?
True
Let c be 46/(-42) - (-2)/2. Let x = 15/22 - 13/11. Is x at least as big as c?
False
Suppose -15 = 2*r - 3*i, 3*r = i - 5 - 0. Suppose 4 = -3*c + 2*o, r*o + 3 = -c + o. Suppose -6*x = -8 + c. Which is bigger: -8 or x?
x
Let h be (-1161)/(-198)*(-1 + (-1084)/(-30)). Let a = -206 + h. Is -1 greater than a?
False
Let p be (-3)/9 - (5/(-5) + (-40)/(-66)). Let t(j) = -j + 6. Suppose 2*h - 6 = -k, -4*k - 3*h = 2*h - 24. Let r be t(k). Does p = r?
False
Let s be (-10)/(20/4 + -3). Suppose 0 = 3*x + 128 - 8. Let y = x + 35. Is s <= y?
True
Let y = -212.77 + 209. Let n = y - -3.7. Are n and -0.1 nonequal?
True
Let i = -1061.169 + 1.169. Do 0 and i have the same value?
False
Let s be (-3)/4*11/((-33)/540). Let q be (10/15)/(10/s). Is 10 at least as big as q?
True
Let q be 3 + -13 + 4432/448. Do q and 0 have different values?
True
Let z = 8 + -17. Let s(t) = -4 - 8*t**2 + 2*t**2 + 2 - 2*t + 4 + t**3. Let i be s(6). Which is greater: i or z?
z
Suppose 0 = -3*f + 2*f + 2. Let d = 878 - 875. Is f equal to d?
False
Let m(x) = x. Let u(i) = i**3 + 5*i**2 - 2*i + 7. Let d(y) = -5*m(y) + u(y). Let t be d(-6). Which is smaller: 14 or t?
t
Suppose 95 = 2*m + 21. Suppose 0 = 3*v + m - 142. Is 34 at most as big as v?
True
Let h = -1229.9 - -1291. Let i = h - 61. Is i greater than or equal to 1/28?
True
Let w(y) = -21*y - 83. Let q be w(-4). Is q bigger than -22/75?
True
Let t = -0.053 + 24.053. Let a = t - 24.7. Is 1 at least as big as a?
True
Let z(l) = 2*l + 7. Let x be z(-5). Let g = x - -3. Let t = 1.6 + -2.3. Do g and t have the same value?
False
Let l = 649 - 956. Which is greater: -306 or l?
-306
Let x = 209 - 209. Is x greater than -3/167?
True
Suppose -d - 58 = -5*l - 0*d, -l + 4 = -4*d. Let i be (0 - 265/4) + (-4)/(-16). Let j = i - -76. Which is smaller: j or l?
j
Suppose -3*o - n = -8*o + 3, 2*o - 5*n + 8 = 0. Let v be o + -4 + 2/(-12)*-28. Which is smaller: v or 2?
v
Suppose -4*j - 353 = -105. Which is smaller: j or 3?
j
Suppose 3*c - 4*b + 11 = -0*c, 0 = -b + 2. Are c and -1 non-equal?
False
Suppose 57 - 5 = -52*w. Which is smaller: w or -3/389?
w
Let g = -44 - -74. Suppose 0 = -2*i - 3*i - g. Let v be i/(-4)*10/3. Are v and 7 unequal?
True
Suppose 6 = 4*r + b, -r + 4*b = b + 5. Suppose k = 4*k + 12. Let g be k/2 + (-5)/(-3). Which is smaller: g or r?
g
Let t = -18.3 + -1.7. Let c = t - -20.1. Is 0.2 at most as big as c?
False
Let a = -3425 + 3427.029. Let r = a + -0.029. Is r bigger than -4/3?
True
Let n(r) = 3*r**2 - 5*r + 23. Let f(k) = 7*k**2 - 10*k + 45. Let v(u) = 4*f(u) - 9*n(u). Let g be v(-8). Is -34/13 >= g?
True
Let d = -7030 - -42379/6. Is 34 greater than or equal to d?
True
Let x = 11624711/653 - 17802. Let c = 91435/1959 - x. Let q = 47 - c. Is q < 0.3?
False
Let g = 820 - 50022/61. Are 0 and g equal?
False
Let y = 7 - 10. Let w = 7 + -5. Let u = 2 - w. Which is greater: u or y?
u
Let n be (1 - 1 - (4 - 0)) + -26. Let i(d) = -d**2 + 5*d + 6. Let u be i(-4). Is u >= n?
True
Suppose v - 281 = 829. Let g be 208/v - (-4)/(-30). Is 0 greater than g?
False
Let z = 53/2 + -26. Let u = 1/4 - z. Which is smaller: -0.29 or u?
-0.29
Suppose -22 = -h - 21. Which is smaller: 2/37 or h?
2/37
Let f = -20 + 10. Let m = -5 - f. Suppose m*a = -7 + 12. Which is bigger: -2/9 or a?
a
Let k be 32/(-3) - 26/(-39). Is -8/7 equal to k?
False
Let x = 26 + -24. Let z = 21 + -19. Suppose -a - z*a - 15 = 3*q, 5*a + 2*q = -19. Which is greater: x or a?
x
Let q = -28 - -28.12. Let t = -2.12 + q. Is -22 > t?
False
Let x = -1606 - -1670. Which is bigger: 67 or x?
67
Let a be 24/16*4/(-3). Let h be ((-3)/a + -1)*(-8)/2. Is -3/2 at least h?
True
Let w = -53/4 + 13. Let h be (-5)/3 + (-6)/(-36). Is w at least h?
True
Suppose -4*o = -d + 39, 2*d - 3*o - 104 = -2*d. Is d greater than or equal to 1?
True
Let u be 1/7 + 3 - 2. Suppose -55*y = -63*y + 16. Which is smaller: u or y?
u
Suppose 14*h = 12*h + 90. Let j be 2/((-3)/1 + 297/h). Is j less than 2?
True
Suppose 9 = 2*m - 5*c - 20, 2*c + 10 = 0. Suppose 4*a + m*a = 0. Which is smaller: a or -4/15?
-4/15
Let x = 17.71 + -0.71. Let o = 28 - x. Let t = 1 + 0. Is o > t?
True
Let o be 1 + (3 - 387/75) + 5. Which is smaller: 5 or o?
o
Let m be 12 - (4 + (-3)/3). Let s = m - 5. Suppose p + s*p = 5. Is 1 at least as big as p?
True
Suppose -5*h - 6125 = 4*x - 1085, 5056 = -4*x - h. Is -1265 at most x?
True
Let k be 100/(-55) + 2 - (-18)/22. Let s(m) = m**2 + 8*m - 2. Let o be s(-9). Suppose -3*g = -k + o. Which is smaller: g or 9?
g
Let p = 1956 - 1985. Which is bigger: p or -44?
p
Suppose 3*q + q = 8. Suppose -75*r + 33 = -64*r. Which is smaller: r or q?
q
Suppose -4*x = -6 + 2. Let s = -43 + 392/9. Which is greater: s or x?
x
Let m = 0 + 21. Let o be (m/(-14))/((-6)/16). Suppose -o*a = -2*b - 4, -3*a + 4*b = -6 + 3. Is 3/4 > a?
False
Let u = 0.1515 - -75.8485. Are u and 0.06 non-equal?
True
Suppose 808 - 168 = 5*r. Which is smaller: r or 130?
r
Let j = 45 - -22. Let o = j - 43. Let k = 29 - o. Is k > 6?
False
Let n be (5/5)/((-3)/207). Let h = 45 + n. Let s be h/(-18)*(1 - 0). Is -2/7 at least as big as s?
False
Let m(d) = -d**3 + 2*d**2 + 3*d - 3. Let t be m(3). Let h be (-16)/t - 2/6. Let x be ((-10)/2)/(-1 + 0). Is h bigger than x?
False
Let a = -92 - -93.876. Let l = 0.024 + a. Is l not equal to 2/7?
True
Let w(s) = -8*s**2 + 4*s - 1. Let v(o) = 7*o**2 - 5*o + 1. Let q(i) = -4*v(i) - 5*w(i). Let u be q(1). Suppose -u*l = -8*l - 15. Which is bigger: 2 or l?
l
Let u = -415 - -415.1. Which is smaller: -132 or u?
-132
Let q be -46*(3 + 490/(-180)). Is q at most as big as -13?
False
Let a(p) = -p**2 + 3*p + 1. Let t be a(3). Suppose 4*i - 26 = -74. Let u be (4/i)/((-5)/3). Is t bigger than u?
True
Suppose -20*c + 16*c - 4 = 0. Let j(w) = -67*w**3 + 2*w**2 + 3*w + 2. Let k be j(c). Which is smaller: k or 1?
1
Suppose -6*b = -10*b - m - 194, -2*m = -4. Which is smaller: -46 or b?
b
Suppose 3*s - 3800 = -x, 0 = -2*s + 5*x - 0*x + 2505. Suppose -a + s = -12*a. Which is bigger: a or -116?
a
Let r = -0.04 + -9.96. Let h be ((-221)/130)/(2/(-75)) + -1. Let x = h - 63. Which is bigger: x or r?
x
Let l be (-1 + -2 + 4)*-6. Let r be ((-29)/l - 5)*(-2)/14. Is 1 equal to r?
False
Let s