2/379 or a?
-2/379
Let n = -0.005 + -0.355. Let q = -35 + 35.96. Let c = n + q. Which is greater: 1/4 or c?
c
Suppose -5*i = p - 5*p + 134, 3*p - 4*i = 100. Let b = -37 + p. Let c = -38 - -25. Which is smaller: b or c?
c
Let v = 2/165 + 97/165. Let c = -6/265 - 416/5035. Is c equal to v?
False
Let b = 2806 + -2806.3. Which is bigger: b or -6?
b
Let z = 154 - 154. Let x = 10 + -1. Do z and x have different values?
True
Suppose 5*j = i - 10, 4*i = i - j + 14. Suppose -3 = 4*h + i. Let f be 16/h*1/9. Do 0 and f have the same value?
False
Let t be (-1)/(-7)*4*2/20. Suppose 0 = -c + 5*c + 4. Which is bigger: c or t?
t
Let s = 16520/1077 + -2/359. Let a = 14 - s. Which is smaller: a or 0?
a
Let r = 58 + -60. Do r and -5/18 have the same value?
False
Let b(n) = 49*n - 333. Let z be b(6). Which is greater: z or -2?
-2
Suppose 3*f - 2*n - 576 = 0, 4*n - 820 = -4*f - 72. Which is greater: f or 0?
f
Let g = -17.61 + 0.61. Is -0.7 equal to g?
False
Let b = -76 + 70. Is b at most 9?
True
Let u = 9 + -23. Let l = u + 27. Which is smaller: 9 or l?
9
Let d(g) = g**3 + 13*g**2 - 24*g + 9. Let z be d(-15). Which is smaller: -82 or z?
-82
Let k = -15.35 + 174.35. Which is greater: -1 or k?
k
Let h = 75/17 + -689/187. Let b = h + -46/33. Which is smaller: -13 or b?
-13
Let v(c) = -c**2 + 20*c + 68. Let r be v(-3). Which is smaller: r or -13/14?
r
Let s = -10 - -10.16. Let u = 29 - 27.84. Let h = s - u. Does -1 = h?
True
Suppose -4*p - 60 = p. Let r = 19 + -31. Let i be r + 0/4 + 0. Is p at most as big as i?
True
Let s = -24.01 - -0.01. Let u = -952/5 - -190. Which is smaller: s or u?
s
Let c be ((-180)/150)/((-38)/35 + 1). Let m be 1/c*3/6*-1. Let k = 11/5 + -109/45. Which is bigger: k or m?
m
Let o = -7/977 - -2418/473845. Is o at most 0?
True
Let k(t) = -2*t + 25. Suppose -3*f - p = -30, -4*p - 50 = -3*f - 5. Let r be k(f). Is 16/5 less than or equal to r?
False
Let a = 0.78 + -1.4. Let z = a + 0.68. Which is bigger: z or 0?
z
Suppose 0*s + 8 = -f + 2*s, -5*s + 20 = 5*f. Let a = 49 - 42. Suppose a = q - 3*y, -4*q + y + 10 = 4. Is f less than q?
True
Let b be -3*(-4)/2 - 3. Let c be (-70)/(-14)*b/1. Which is smaller: c or 1?
1
Suppose -i + 3*i - 6 = 0, 0 = -3*f - 4*i + 15. Let q(a) = 2*a + 1. Let l = 6 + -4. Let y be q(l). Which is bigger: f or y?
y
Let h = 28.5 + -25.5. Which is bigger: h or -0.47?
h
Let h = -11772 + 10759607/914. Which is greater: h or 1?
1
Let i = -5/12787 + 49383449/140657. Let m = 350 - i. Which is greater: 0 or m?
0
Let a(y) = -y**2 + y. Let g(t) = -3*t**2 + 42*t + 22. Let k(l) = -5*a(l) + g(l). Let z be k(-17). Is z smaller than -28?
True
Let j be (-20 - -5) + 1 + 1. Let y = 5 + j. Let k be 98/y - 3/4. Is -13 at least k?
True
Let v be 10950/1606 + 0 + 4/22. Suppose 0*t - 2*t = -u - 13, 3*u - 5*t + 36 = 0. Let k = v + u. Do 0 and k have different values?
False
Suppose 314 - 418 = 8*g. Which is greater: -12 or g?
-12
Let y = 0.874 - -0.126. Which is smaller: 129/4 or y?
y
Let m = -33 + 47. Let f be (-11)/(-2)*(12 - m). Is 1 less than f?
False
Let s = 10 - 8. Suppose 2*u = 4*q - 10 + s, 2*q - 10 = -2*u. Suppose 5*m + 2 = -4*t, -4*m + 0*t + 14 = -2*t. Are m and q equal?
False
Let w(q) = -3*q**3 + 142*q**2 - 45*q - 87. Let b be w(47). Is 32 >= b?
True
Let d = -0.028 + 0.015. Let y = d + -0.287. Which is smaller: y or 0.1?
y
Let y be (1/(-1) + 0)*-1. Let d be 4/(-34) + (-15246)/(-74970). Is d < y?
True
Suppose 0 = -5*z + 17 + 38. Suppose -5*w = z - 6. Which is smaller: w or 1/8?
w
Suppose -l = 2*y - 8, -2*l - 22 = -6*l - 3*y. Suppose -4*h = d - 0*d + 10, -50 = 5*d - 3*h. Let k be 42/(-70) + 4/d. Which is smaller: l or k?
k
Let s = 3193/11 + -290. Let a = 27 + -19. Suppose 7*j = a*j. Which is bigger: j or s?
s
Suppose 0 = 7*c + 35. Let r be c/(-4 + (-9)/(-6)). Which is smaller: r or 0?
0
Let z = 998.7 + -998. Let l = -18 - -18.9. Which is bigger: l or z?
l
Let b = -0.2 + 0.05. Let t = b - -0.05. Let n(m) = -m**2 - m + 1. Let a be n(1). Is t at most a?
False
Let o be 1/((15/648)/5). Let b be 2/(-5) + o/15. Let k be b/(-77) - 15/(-22). Which is smaller: k or 0?
0
Let y(s) = s. Let c(o) = -2*o + 19. Let j(d) = -c(d) - 4*y(d). Let r be j(-11). Is r equal to 1?
False
Let s(n) be the second derivative of n**5/20 - 4*n**4/3 - 8*n**2 - n + 12. Let b be s(16). Is b equal to -31/2?
False
Let o be (-7815)/(-2505) + (-5 - -2). Which is greater: o or -1?
o
Let c be (7 + (-296)/40)*540/22. Which is smaller: c or -10?
-10
Let o = -0.977 - 0.023. Let p = -0.05 - 0.07. Let s = -13.88 + p. Which is smaller: o or s?
s
Let y = 177 - 98. Let x = 51 - y. Is -0.1 >= x?
True
Let b be 2/(-8) - (-225)/(-12). Let v(r) = -r + 10. Let n be v(10). Let f(o) = o**3 + o**2 - 19. Let d be f(n). Is b < d?
False
Let z(m) = -m**2 - 5*m + 8. Let a be ((-42)/12)/((-1)/(-2)). Let r be z(a). Let v be r/(-4) - 5/3. Is v at least -4?
True
Let o be 8*7/((-56)/(-3)). Let g be 7/((-14)/6)*o. Which is greater: g or -10?
g
Let g be (-5)/(-11) - (4 + -3). Let x be 2/(-12) + -4 + 90/20. Which is smaller: x or g?
g
Let x be 6/(-108)*44 - (-18 - -16). Let n be (4/(-6))/(4/(-6)). Let a be n*(0/(-1) + 0). Which is smaller: x or a?
x
Suppose 4*m - 21 = 4*b - 133, 4*b + 4*m - 136 = 0. Let k = 30 - b. Which is smaller: -2/31 or k?
k
Let r be 9/(-10) + (-22)/(-44). Which is greater: r or 69?
69
Let w = 2792 - 19501/7. Which is bigger: 5 or w?
w
Let z = -52633/19008 - 689/1188. Let i = 1/64 + z. Let o be (6/5)/(-5 + (-69)/(-15)). Is o at least i?
True
Let j be (-12)/(-4) + 0 + -1*2. Let v be ((-1)/(-6))/(j/(-2)). Is -4/19 at most as big as v?
False
Let x be ((-610)/(-5))/(2 - 0). Let a = 31 + -27. Suppose 0 = g + a*q + 11, 0*g - q + x = -4*g. Which is bigger: -14 or g?
-14
Let d = 33 + -19. Let j = d + -44/3. Which is greater: j or -4/3?
j
Suppose -t = t - 3*c - 34, -t + c = -15. Suppose t = 2*n - 3. Is 4 less than n?
True
Suppose -3*m + 2*n = -6, -n = -2*m + 2 + 2. Let u be (m/4)/((-58)/(-32) + -1). Which is smaller: 2 or u?
u
Let d be 4/(-12) + (-2)/54. Is 0 less than d?
False
Let n = 212 - 197. Do 8 and n have the same value?
False
Let c = -0.1379 + -0.8621. Is 2.9 at least as big as c?
True
Let j(q) = q + 15. Let o be j(-8). Let t(f) = -f**3 + 7*f**2 + 7. Let p be t(o). Is p smaller than 8?
True
Let m = -0.2 - -0.19. Let x = 21.7 - 22. Is m equal to x?
False
Suppose 2*y = 7*y. Suppose y = 3*f - 2*f + 6. Let g = -7 - f. Is 1/6 > g?
True
Let t(u) = 29*u - 3471. Let d be t(120). Let n = 11 - 4. Is d at least as big as n?
True
Suppose 4*z = 8, 0 = 61*h - 58*h - 5*z + 10. Suppose 0*u = -3*u + 4*n + 24, 9 = -3*n. Let j = -5 + u. Is h >= j?
True
Let v = 24 + -20. Suppose 407 = -v*q + c, -3*q = -0*q + c + 314. Let y = q + 512/5. Which is bigger: 0 or y?
0
Let l = 395 + -394.72. Let w = 0.19 - 0.01. Let o = l - w. Which is smaller: o or 1?
o
Let b = -16281/2 - -7878. Let z = b + 6813/26. Is 0 equal to z?
False
Let r = 2770 + -19356/7. Is r < 6?
True
Let i(m) = m**2 + 20*m - 32. Let d(n) = -2*n**2 - 40*n + 64. Let g(b) = 3*d(b) + 5*i(b). Let v be g(-22). Which is smaller: -6 or v?
v
Suppose 2572 = -4*k - 2*d, 38*k - 4*d - 2568 = 42*k. Do k and -645 have the same value?
False
Let d = -32 + 8. Let g = d + 25. Are 0.1 and g equal?
False
Let q be 4/5 + 32/160. Is q >= 17?
False
Let c = -37308 - -37331. Let s(h) = 10*h - 4. Let u be s(3). Does u = c?
False
Let i be 1341/269 + (60/2)/(-6). Is i < 0?
True
Suppose 5*t + 4*g + 142 = 2*t, -3*t = -4*g + 182. Let j = 55 + t. Does j = 3/2?
False
Let h(t) = -t**3 + 19*t**2 - 28*t - 102. Let u be h(17). Which is smaller: -17/2 or u?
-17/2
Let i = 3 - 7.6. Let x = i - -2.6. Let l be (0 + -4)*2/(-4). Is l bigger than x?
True
Suppose q = 3*j + 148, -q + 429 = 2*q - 4*j. Let x = q + -86. Let y be (1/x*4)/2. Is y greater than -1?
True
Let m = -1139/147 + 4/49. Which is smaller: m or -8?
-8
Let j = 11.4 - 3.4. Let m = 8.1 - j. Is -5 bigger than m?
False
Let x be (-3)/(-30) - (-15)/50. Is x greater than 0.08?
True
Suppose -604*i + 596*i = -8. Let y be ((-6)/28)/((-6)/16). Which is smaller: y or i?
y
Let v be ((-11)/3 + 4)/(5/30). Suppose 8 = -4*l - z, -4 = -l - 3*z + 5. Which is smaller: l or v?
l
Let g = -27.19 - 1.41. Let a = g + 29. Which is smaller: 1 or a?
a
Let w(r) = r**3 - 6*r**2 - 11*r + 24. Let u be w(7). Which is bigger: u or -36/7?
u
Suppose 0 = -3*z - 5*n + 216, 