r w?
n
Suppose 11*i = -i - 36. Which is smaller: -66/31 or i?
i
Suppose -8 + 6 = -s. Suppose 0 = 5*m + s*x + 50, 0*x = 4*m - 2*x + 22. Which is smaller: m or -6?
m
Let o = 746200744/114285 + -1116520/171. Let p = o - -6/401. Which is bigger: p or -1?
p
Let j = 14 + -11. Suppose -2*l + 29 - 83 = 0. Let w = l - -29. Which is smaller: j or w?
w
Let d = -1118.9 - -1119. Which is smaller: 229 or d?
d
Suppose -3*c = -8 - 7. Let w(z) = -z**2 + 5*z + 3. Let k be w(c). Let g be (3/(-1) - -4) + 1. Which is bigger: g or k?
k
Let m = 2/2587 + 2581/7761. Is -813 > m?
False
Let r = -17 + 14. Is -4.8 smaller than r?
True
Let z be -9*-5*(-39)/45. Which is smaller: -38 or z?
z
Let p be (-4*9/(-24))/(2 - 17). Which is bigger: -1 or p?
p
Suppose -80*r - 660 = -69*r. Is -59 at least as big as r?
True
Let n(p) = 73*p + 3. Let i be n(-3). Let g be (-5)/2*i/(-450). Is 0.1 equal to g?
False
Let b = 27 - 31. Let l = 3 - -3. Let p be (-3)/(-8)*l/(-9). Are p and b unequal?
True
Let h(c) = -5*c + 2. Let l be h(6). Let j be 1306/(-14) + (-8)/l. Let q be 2/4 + j/114. Are q and 1 nonequal?
True
Let g = -24 + -45. Let d = -58 - g. Which is smaller: 12 or d?
d
Let u = 0 + 0. Let a be (-2)/(-84) - (5 - 5). Which is smaller: u or a?
u
Suppose -12 = 6*s - 9*s. Let g be (8/16)/((-2)/s). Which is smaller: g or -5/9?
g
Let f be (-13)/(-7982)*5/(30/(-8)). Does 0 = f?
False
Suppose 0 = 6*j - 9*j + 6. Suppose 29 = -j*f - 41. Let c be (-15)/f*(-2)/(-3). Which is smaller: 7 or c?
c
Let z be 15 - 13 - (-254)/(-116). Is -1 <= z?
True
Let l = 50 - 50. Which is smaller: 0.18 or l?
l
Let t(l) = -4*l**2 + 17*l - 45. Let u be t(6). Which is greater: u or 0?
0
Let u = 631/3 + -29663/141. Let z = 80 - 83. Let a be ((z - (-3 + 0))*1)/(-1). Which is smaller: a or u?
u
Let l be ((-1128)/(-96))/((-2 - -3)/4). Does l = 53?
False
Let r be ((-15)/35)/(3/(-2)). Which is bigger: -3/7 or r?
r
Let o(i) = i**3 - 6*i**2 + 8*i + 1. Let s be o(4). Let r = -23 + 11. Let q be (r/(-110))/(15/50). Which is bigger: s or q?
s
Let o be (-18)/(-2) - 2/(-2). Suppose -5*g = -27 + 2. Suppose 10*n - g*n - 45 = 0. Which is bigger: o or n?
o
Let h = -1023 - -1038.5. Do h and -0.7 have different values?
True
Let i = -5.6 + 6.6. Is 0.073 <= i?
True
Let n(c) be the third derivative of -1/60*c**5 + 0 + 0*c + 2/3*c**3 + 10*c**2 - 7/24*c**4. Let g be n(-7). Which is smaller: g or 8?
g
Let i = 228 + -230. Which is greater: i or 0.49?
0.49
Let m = 96 - 46. Suppose -117*g - g = 0. Are g and m unequal?
True
Let u(r) be the second derivative of -13*r**4/12 - r**3 + 7*r**2/2 - 20*r. Let j be u(2). Is j at least -57?
True
Let v = -26 - -41. Suppose 7*t + 4*d + 8 = 3*t, 5*d = -v. Are -1 and t equal?
False
Let g = -5 + 3. Let o = g - 8. Let n = 10.05 + o. Is 0 >= n?
False
Let y = 267 + -268. Which is smaller: y or 695?
y
Let l = -2958 - -2967.108. Let v = 0.208 - l. Let s = -9 - v. Are 2/5 and s equal?
False
Let v = 5 + -6. Let o = 1.2 + v. Let i be (-27)/162*((-16)/(-6) - 2). Is i greater than or equal to o?
False
Let y be 1 + 1 - (-101 - 28). Is 130 at least y?
False
Let b(z) = z**2 + 9*z + 10. Let c be b(-5). Let v(w) = w. Let y be v(c). Which is smaller: -12 or y?
-12
Suppose 0 = 8*t + 181 + 35. Let r be (3 + (-36)/8)/((-3)/(-52)). Which is smaller: t or r?
t
Let z = 749/4 - 187. Are z and 45/8 equal?
False
Let z(a) = a**3 + 10*a**2 + 9*a + 26. Let p be z(-9). Which is greater: 20 or p?
p
Let l = -91 - -97. Let i be 12 - l - (5 + (-2)/2). Which is smaller: i or 24?
i
Let g be (-27818)/7050 + (10 + -2 - 4). Let t = 8/537 - 734/25239. Let v = g + t. Do 0 and v have the same value?
False
Let r = 3 + -1. Suppose 0 = 2*w - a + r, -3*w + a = 4*a - 6. Suppose -2*y - 2*s = 0, -6 = 5*s - 1. Is y bigger than w?
True
Suppose -5*l - 15 = 0, l - 9 = -3*v + 5*l. Are v and -2/3317 nonequal?
True
Let l = 108 - 107.878. Let n = 0.122 - l. Is n at least as big as 15/7?
False
Let n = 97 - 1941/20. Let s = -11/20 - n. Let q = -233 + 231. Which is smaller: s or q?
q
Suppose 2*o + t - 2 = -4, -5*t - 16 = 4*o. Suppose 6*r - r = 4*s + 11, -s + o = 0. Suppose 2*i + r*a = a + 6, -5*i - 3*a + 7 = 0. Does -2/17 = i?
False
Let g = 79/11 + -1348/33. Let b = 34 + g. Let s = b - 1/6. Which is smaller: 1 or s?
s
Let o(h) = -h**2 + 7*h + 8. Let d be o(8). Suppose 5*m + d = 4*g + 9, -2*g + 3 = -m. Are 5 and m nonequal?
False
Let o be (-33)/(-105) - 4/(-14). Let t = -134 + 136. Is o not equal to t?
True
Let c = 1796 + -5891. Let t be (-3)/2*15/(c/28). Are 1 and t equal?
False
Let b = -120 + 117. Which is greater: -3/2 or b?
-3/2
Suppose -2*g = -6*g + 16. Suppose -g*l - 8 + 4 = 0. Is l at least -1?
True
Suppose 9 = 4*m - 7. Let s = 35 + -34.9. Which is smaller: s or m?
s
Let p = 41/15 - -3/5. Let o = -3 - -6. Is o at least as big as p?
False
Suppose 20 = -3*u + u. Let v be (83/u - 1) + (-1)/2. Which is smaller: v or -9?
v
Let y = -2419 - -2197. Which is smaller: y or -221?
y
Let t = 1.89 - 1.8. Let w = t - 0.05. Let q = 4 + -3.9. Do w and q have the same value?
False
Let l be (-17)/68 + (-10)/(-24). Let j be 0/(1 - (-2 - -4)). Is j > l?
False
Suppose w + 2*w + 1 = -y, -4*w + 3*y + 16 = 0. Suppose -b = -w, 2*b - 4*b = -4*j + 170. Which is bigger: j or 42?
j
Let d = -4.35 - -4.42. Which is greater: d or 29?
29
Suppose 3*h - 2*h + 1 = 0, -w + 4 = -h. Let m = 6 + -6. Which is greater: w or m?
w
Let z be (-6)/(-12)*(-14 + 0). Let u = -1192/45 + 170/9. Which is bigger: u or z?
z
Let r = -82745/32 + 2587. Is r equal to 1?
False
Let u = 0 - 0. Let h = -29 + 4. Let i = h + 25.05. Which is smaller: i or u?
u
Let u = -625 + 771. Is u greater than or equal to 0?
True
Let w(p) = p**3 + 3*p**2 - 4*p + 2. Let f(z) = z + 2. Let a be f(-1). Let v be w(a). Which is smaller: 0 or v?
0
Let z = 19 + -17. Suppose z*u + 0*u = 2. Let s be (-102)/230 - 6/(-15)*1. Is u smaller than s?
False
Let d = -3 - -6. Suppose -6*j = d - 9. Let u = -66 - -923/14. Is u bigger than j?
False
Let d(f) = -7*f + 4. Let r(w) = -w. Let h(g) = d(g) - 6*r(g). Let p be h(3). Which is bigger: p or -2/5?
p
Let k = -4 + -8. Let b be -24*((-8)/k - 1). Let v be (-3)/(-7)*28/b. Which is bigger: 3 or v?
3
Let z = 1205.97 - 1206. Is -1/52 at least z?
True
Let u = 24602/25575 + -2/1023. Which is smaller: 2 or u?
u
Let y = 115070 - 16110307/140. Let r = y + 3/140. Let w be -1*((-1)/(-1) - -2). Is w greater than or equal to r?
True
Let x(y) = -2*y**2 - 48*y - 26. Let h be x(-15). Let f = 4146/17 - h. Which is bigger: f or 0?
0
Suppose 447 = -9*r - 21. Let w = 53 + r. Which is smaller: 9/7 or w?
w
Let k = -511 - -522. Which is smaller: 14 or k?
k
Let d be (36/10)/(3/40). Suppose -d = -5*a + 42. Let g be (-3)/(-1)*6/a. Is 3/2 greater than g?
True
Let h = 4897/11 - 445. Which is bigger: 7 or h?
7
Suppose -4*k - 3*w = 20, -w = -k + 4*w + 18. Let f be -2 - 0/(k - -4). Suppose -3*i - 4 = o, 0 = -5*i + 3*o + 2*o. Is i equal to f?
False
Let o = 4.9 - 9.8. Let k = 4.9 + o. Does 0.22 = k?
False
Suppose 5*t + 0*t - 8 = y, -5*y - 11 = 4*t. Suppose i + t = 24. Is 24 at least i?
True
Let n be 3*1/(-1) + (-2681)/(-889). Is n at least as big as -1?
True
Let f(h) be the third derivative of -1/12*h**4 + 0*h + 0 + 6*h**2 + 5/6*h**3. Let c be f(2). Which is smaller: c or -9?
-9
Suppose 4*y = 3*f + 431, -5*f + 4*y - 465 - 264 = 0. Let k = 155 + f. Which is smaller: -1 or k?
-1
Let j(k) = -k**3 - 9*k**2 - 14*k + 15. Let p = -121 - -114. Let m be j(p). Which is greater: m or 14?
m
Let l = -15506/23 + 674. Let x be -2*6/18*(4 + -1). Let u = x - -3. Do u and l have different values?
True
Let n be (0 - (-8)/(-12)) + 4/6. Let g be n + 2 - (90/(-28))/(-3). Is 1 not equal to g?
True
Suppose 0 = -49*m + 48*m + 15. Let u be -3*(m/(-9) + 1). Which is greater: u or 3?
3
Let b = -1311/35 - -198/5. Let c = b + -61/35. Which is greater: c or -21?
c
Let n = -0.8 - -0.68. Let t = n - -1.12. Are t and -4 non-equal?
True
Let j = 701 - 701. Which is greater: -24/7 or j?
j
Let w(h) = -h**3 - 2. Let g be w(-2). Let j = 63682/10129 + -2/1447. Which is smaller: g or j?
g
Let v = -1.45 - 0.06. Let s = v + 1.31. Is -0.04 greater than s?
True
Let f = 8 - -78. Let w = f + -72. Which is bigger: 2/11 or w?
w
Let s = -80.463 + 0.663. Let p = -81 - s. Let f = 0 - -0.1. Is p greater than f?
False
Suppose 4*n - 5*h - 3 = 0, 4*n + 3*h - 10 = h. Let m = n + -15. Is m <= -13?
True
