rue
Let h = 2/21 - -13/84. Which is smaller: -1 or h?
-1
Let p be (-2)/(-8)*0*1. Let s be 4*(p + (-4)/72). Let d = -25 - -25. Which is bigger: d or s?
d
Suppose -869 = -s - 882. Is s at least -69/5?
True
Let s = 1984 + -3731. Is -1748 smaller than s?
True
Let i = -81 + 81.89. Which is smaller: i or 1/3?
1/3
Let s = 7.6 - 7.677. Let a = -0.023 + s. Which is bigger: a or 62?
62
Let w be (2 + -2)*4/4. Suppose j + 6 - 5 = w. Let r be -2 + -2 + 116/26. Which is smaller: r or j?
j
Suppose 4*s - 4 = -3*r, 3*s = 7*s - 3*r - 4. Is -4/9 less than s?
True
Let p be (-12)/(-8)*114/(9 + -6). Which is smaller: p or 58?
p
Let l(p) = -p**3 - 50*p**2 - 23*p - 1073. Let m be l(-50). Let v = 136 - 58. Is m greater than or equal to v?
False
Let m = -127.9 + 122. Let s = -5.7 - m. Which is bigger: s or -8?
s
Suppose u - 10 = -3. Suppose -u*a = -4*a + 198. Let y be -1 - (128/a + 1). Is -1 less than y?
True
Suppose -p + 3 = 14. Let o = 5 + p. Is o != -7?
True
Let s be 7/((-35)/(-285)) - (-28)/7. Are 60 and s nonequal?
True
Let y = -4.86 + -0.19. Let t = 0.05 + y. Is t greater than -6?
True
Suppose -6*f + 31 = 4*v - f, -12 = -4*f. Let y be v/1 + 22 + -21. Is 9 smaller than y?
False
Let f(r) be the third derivative of -r**6/120 - 7*r**5/60 - r**4/12 - 13*r**3/6 - 39*r**2. Let j be f(-7). Is j equal to -1/260?
False
Let a be 1*(-7)/2282*2. Is a greater than or equal to 1?
False
Suppose 4704 = 3*w + 3*w. Let l = -5479/7 + w. Which is smaller: 2 or l?
l
Let k be (-6)/108*(-12)/(-28). Which is greater: k or -23?
k
Let m(u) = 37*u**2 + u - 2. Let d = 34 - 33. Let i be m(d). Let r be ((-96)/i)/((-4)/(-2)). Is 0 at least r?
True
Let u be -7 - (-148)/(6 + -2). Is 6 equal to u?
False
Let u = 3/95 - 519/190. Let z = -239/70 - u. Is -2 <= z?
True
Let k(x) = 5*x**2 - 18*x + 17. Let g be k(1). Which is smaller: g or 56/17?
56/17
Let h(p) = -2*p**3 + 24*p**2 - 25*p + 13. Let q be h(11). Do -18 and q have different values?
True
Let t = 34 + -50. Let z = t + 12.5. Let i = -20.5 - z. Is i greater than -1?
False
Let v = -75 + 46. Let t = v + 19. Let w = t + 9. Which is greater: -3/8 or w?
-3/8
Let i = -0.034 - 0.176. Let s = i + 0.14. Is -2 at most s?
True
Suppose 0 = 5*c - q + 221, -3*c - 180 = q - 41. Let v be ((-18)/c)/(12/(-10)). Are v and 1 equal?
False
Suppose 5*p = -4*d + 46, -7*p + 2*p - 5*d = -45. Let c(z) = z**3 + 7*z**2 - 9*z. Let x be c(-8). Which is smaller: p or x?
x
Suppose 27 = 25*k + 2*k. Which is smaller: k or 1/296?
1/296
Let z = -1882 - -28214/15. Let h = z - -7/15. Do -1 and h have the same value?
False
Suppose 0 = -3*v - 84 - 18. Let n = -35 - v. Let a = -87 + 259/3. Do n and a have different values?
True
Let m = -47.66 + 47.6. Which is smaller: m or -50?
-50
Let f = 991.01 - 991. Is 9 bigger than f?
True
Let f = 81/14 - 37/7. Do f and 91/3 have different values?
True
Let q be (14 + (-46)/3)*(-45)/(-12). Which is smaller: -120 or q?
-120
Suppose -54*i = -50*i. Let f be 1*(i/4)/(-5). Suppose f = 2*l + 3 + 21. Which is smaller: -10 or l?
l
Suppose 1 = -w, -2*i = 2*w + w + 3031. Which is bigger: i or -1515?
i
Let j(s) = -s**2 - 19*s + 29. Let n be j(-19). Is 29 <= n?
True
Let n(c) = -2*c**2 + 2*c + 2. Let p = 32 + -28. Let f be n(p). Is f at least -21?
False
Let q = 7 + -6.7. Let l = -1.2 + 14.2. Let p = -12.6 + l. Are q and p non-equal?
True
Suppose 30*f - 75*f - 630 = 0. Suppose n + 7 = -6. Which is smaller: f or n?
f
Suppose -5*r + 18 = 8. Suppose 0 = 5*m + 20, 4*h - r*m - 43 = 1. Suppose 0 = 2*i + i - h. Which is bigger: i or 0?
i
Suppose 4*j + 25 = -35. Let k = j + 19. Let s be 12/(-9) - k/(-4). Is s < -4?
False
Let b = 2747/3 + -857. Let p = -58 + b. Let u be 0 + ((-36)/(-21) - 2). Which is smaller: u or p?
u
Let y(f) = -f**2 - 8*f - 10. Let h be y(-5). Suppose h*i = 4*r + i - 36, -r - 4*i = -29. Let o = r + -13. Is o greater than or equal to 1/5?
False
Let s = 211/10 + -39/2. Which is smaller: -5 or s?
-5
Let s = 0.0847 - -26.9153. Is s > -0.12?
True
Let u(j) = -3*j. Let c be u(-8). Let h = 28 - c. Is h less than or equal to 6?
True
Let x(k) = 0*k + 2*k - 6*k + 3 + k. Let w be x(-6). Let c be (-2)/(-14) + 60/w. Which is smaller: 1 or c?
1
Let o = -54.04 + 6.56. Let w = 48 + o. Is w < -2/5?
False
Let t = 293 + -97. Which is smaller: 198 or t?
t
Suppose 0 = 4*b - 8*b - 5*k - 6494, 0 = -b - 5*k - 1631. Let r = -3020624652/67 - -45085571. Let v = r + b. Is v smaller than 1?
True
Suppose -350 = 21*o - 26*o. Let n = -74 + o. Which is smaller: -5 or n?
-5
Let o(y) = y**2 - 8*y - 142. Let b be o(-16). Do b and 242 have different values?
False
Let b be 6*(35/10 - 4) - -2. Which is smaller: b or -16/11?
-16/11
Let y = -413 + 1651/4. Which is greater: 0.039 or y?
0.039
Let w = 29.63 - 29.93. Let y be -1 - (4/(-5) + -1). Which is smaller: y or w?
w
Let b = 135.9 + -140. Is 0.1 <= b?
False
Let c(r) = -r + 17. Suppose 0 = -3*l - 4*q + 58, 3*l - 4*q = -l + 68. Let d be c(l). Let w be (-1)/((-4)/((-64)/18)). Are w and d equal?
False
Let l be (-5)/2*(10 + (-336)/35). Which is bigger: l or 2/357?
2/357
Let v be (-1 - -24)*3/4. Let p = 15 - v. Let j = 5 - 6. Is j bigger than p?
True
Suppose -292 = -2*t - 3*z - 0*z, t = -2*z + 147. Which is smaller: 142 or t?
142
Let m be (-10)/10 + 13/(-12). Let d = 151/84 + m. Is d less than or equal to -0.09?
True
Let d = -95 - -5. Let s be ((-6)/116)/(d/(-40)). Which is greater: s or -1?
s
Let q = -308/183 + 1/61. Suppose 0 = 3*v + 4*x - 16, 2*v - 12 = 5*x + 14. Suppose -v*m - 2*m = 20. Is q bigger than m?
True
Let k = -5/22 - -103/66. Let p = -26 + 26. Which is smaller: p or k?
p
Let z = -0.205 - -1.475. Let k = z - 0.57. Which is smaller: -1 or k?
-1
Suppose 0 = -4*i + z - 7, 8 = 2*i + 2*z + 24. Let g be (-1 - (-44)/(-144)) + 1/(-4). Is g at least as big as i?
True
Suppose -2*h - 52 = 5*g, -4*g = -25*h + 26*h + 29. Which is greater: -16 or h?
-16
Let b = 150606 + -2561221/17. Let j = b + 54. Is j equal to 2?
False
Suppose -4*p = -2*x, -x - 4*p + 11 = -13. Is -0.9 > x?
False
Let f be (-49)/343 - (-1)/7. Is f < 3/529?
True
Let c = 682 - 681. Let r = -6253/19 + 329. Which is bigger: c or r?
c
Suppose p - 15 = 6*p. Let x = 681 + -2095/3. Let z = x + 266/15. Which is greater: p or z?
z
Let h = -266/5 - -2134/45. Which is greater: -7 or h?
h
Let i be (62*(-3)/12)/((-2)/(-8)). Let b be (4/12)/(2 + i/30). Which is smaller: b or -4?
b
Let m = 198 - 283. Let o be 1/2 + m/(-30). Which is smaller: 0.1 or o?
0.1
Suppose -5*p - 8 = -23, 0 = 4*a - 4*p + 12. Let i = a + 3/44. Is i not equal to 0?
True
Let k = -0.21 - -0.01. Let r = 6.8 - k. Is 0 smaller than r?
True
Let s(x) = 8*x - 12. Let i be s(12). Let p = i - 85. Which is bigger: p or 6/17?
6/17
Let h(z) = -z**3 - 12*z**2 + 2*z - 137. Let a be h(-13). Suppose 5*f - l = -6*l + 60, -2*l = -8. Which is smaller: f or a?
a
Suppose 4 = -53*n + 57*n. Let x be (n + (-2)/4)/((-9)/144). Is x less than or equal to -6?
True
Let z be (392/(-33) - -4) + 8. Is 1 smaller than z?
False
Let f = -1029/4 - -256. Suppose 4*w + b + 18 - 5 = 0, 3*b = -w - 17. Let m be 2 - ((1 - w) + 0). Which is greater: f or m?
m
Let x be (-75)/60 + 2/8. Which is greater: x or -4/163?
-4/163
Let r(f) = f**2 - 6*f + 6. Let g be r(2). Which is greater: -7/10 or g?
-7/10
Let z = 254 - 253.9. Let c = 4 + -3. Let x = 0 - c. Which is smaller: x or z?
x
Let g = -5717/4 + 1429. Let f = -0.2 + -2.8. Which is greater: f or g?
g
Suppose 4*r - 218 = 2*f, 0 = 3*r + 2*r - 5*f - 270. Which is bigger: 54 or r?
r
Let o = -343 + 342. Which is smaller: -19 or o?
-19
Let t(k) = -k**2 + 7*k + 7. Let p be (-165)/(-25) + 4/10. Let b be t(p). Let n be (-2)/b + 44/7. Which is smaller: n or 8?
n
Suppose -15538 = 53*y + 4178. Which is smaller: y or -373?
-373
Let p = -3645 + 4056883/1113. Which is smaller: -1 or p?
-1
Let v be -4 + (-14466)/(-66) - (-6)/(-33). Let q be -4 + -1 + v/45. Which is bigger: 17 or q?
17
Let d be 2/(-3)*9/6. Let z = 1878 - 1863. Which is smaller: d or z?
d
Suppose 172 = -4*h - 0*h - 5*u, -h - 3*u - 50 = 0. Are h and -34 equal?
False
Let o = 41.3 - 43.3. Which is smaller: 443 or o?
o
Let k = 248 - 248.13. Is k smaller than -1.6?
False
Suppose 0 = -k + 13 - 8. Let u = 11 - k. Is 24/5 >= u?
False
Let h = 4.77 + -4.67. Which is bigger: h or 1.85?
1.85
Let r(q) = 2*q - 17. Let a be r(5). Let x(f) = -f**2 - 18*f - 79. Let p be x(-12). Is a at