r: -0.1 or c?
c
Suppose -24 = -4*b + 6*b. Suppose 30*y + 243 = -507. Which is greater: b or y?
b
Let v(x) = 3*x + 21. Let m be v(-6). Suppose -5 + 8 = m*d. Let z = d + -5/3. Is -1 >= z?
False
Let g = -13693 - -13694. Which is bigger: 36/103 or g?
g
Let q = -107645/1554 + 1447/21. Which is smaller: 0 or q?
q
Suppose -y + 5*h - 15 = 0, 1979*y - 1978*y + 4*h = 12. Is y greater than 14/2169?
False
Let x = -5395 - -5397. Let t be (3 - 2)*11 - -1. Let l be (3/(-6))/(93/t). Is l not equal to x?
True
Let m = -6/3127 + 1/53. Let h = m - 61/118. Let r = -1/66 - 3/44. Is h bigger than r?
False
Let u = -239 + 254. Suppose -41 = u*y - 206. Is y at least as big as 11?
True
Let j be 0 - 3 - ((-23004)/(-522) - (-8)/(-116)). Which is smaller: -168 or j?
-168
Let u be (-30 - -19) + -10 + -166. Is -189 < u?
True
Let y(p) = p**3 - 23*p**2 - 22*p - 58. Let c be y(24). Let u be (c + 0)/(-5 + 14 - 5). Is u equal to -1/31?
False
Let c = 1082 + -1082. Which is greater: c or -2/2079?
c
Let l(h) be the first derivative of h**2/2 - 30*h + 405. Let k be l(36). Let u be ((-8)/10)/((-4)/30). Are u and k unequal?
False
Let y(j) = -j**2 + 16*j - 59. Let b be y(9). Let d be (-187 + -3)/(b/4). Is -189 greater than d?
True
Let c be 48/(-112) - 35828/28. Is -1280 at least c?
True
Let q be 6/10 - 195/25*-3. Suppose 30 + q = -5*s - i, 2*i = -8. Which is bigger: s or -32/3?
s
Suppose -b - 477 = -2*f, 7*f - 6*f + 4*b - 234 = 0. Let s = f + -239. Let v = -64 + 1217/19. Which is smaller: v or s?
s
Let l = -3714 - -4345. Which is greater: -5 or l?
l
Let g be ((-610)/(-70))/((-660)/(-21)). Let y = 3/110 - g. Is 0.14 at most as big as y?
False
Let n = 61 + -22. Let m = -7705 + 7743. Let v = n - m. Is v smaller than 9?
True
Let g(u) = -10*u - 14. Let a be g(-4). Suppose -a*y + 28*y = 2. Which is bigger: -4 or y?
y
Let g = -6944339/58248 - 13/6472. Which is greater: -120 or g?
g
Let a(y) = 35*y - 10. Let d(x) = 22*x + 73 - 92*x - 53. Let w(f) = -7*a(f) - 4*d(f). Let z be w(3). Is 94 greater than z?
False
Suppose -5*r + 5*x + 45 = 0, 7*r - 9*r + x = -18. Let j(v) = 27*v - 205. Let u be j(r). Which is greater: 3 or u?
u
Suppose -61*o + 122 = -4*l - 60*o, -2*l + 2*o = 70. Are l and -15 unequal?
True
Let f be 731/(-7413) - (-296)/6216. Is -1 >= f?
False
Suppose 29*b + 64255 = -64*b + 277225. Which is bigger: b or 2292?
2292
Let k = 1195 - 659. Let a = k + -533. Let m = -2239/7 - -323. Which is smaller: m or a?
a
Let y = 269.06 + 4.94. Let z = 279 - y. Is 6 at least as big as z?
True
Let f(p) = 3*p + 30. Let k be f(-9). Let j be -7 + (-4 + 4)*k/(-9). Let g be (-2)/j + 432/(-42). Is -4 at least g?
True
Let o(n) = 217*n - 3441. Let k be o(26). Is 2205 bigger than k?
True
Let s be (36344/66)/(-2)*(-60)/14. Is 1178 > s?
False
Let a = 12.4864 + 0.5136. Which is smaller: 100 or a?
a
Let j(q) = -5*q + 7. Let o be j(5). Let t be 34/o*(-6)/4. Let b(c) = 188*c + 12600. Let f be b(-67). Is f >= t?
True
Let j = 119 - 30. Are -5 and j equal?
False
Let m be 3/(12/(-13))*24*27/(-4212). Which is bigger: -15/77 or m?
m
Let k = 262675 + -262783.8584. Let l = -0.0416 + k. Let g = -109 - l. Which is smaller: 1/3 or g?
g
Let q = 94 + -100. Let d be -1 + -6 - (-4)/q*-6. Let w be (d - 189/(-12))/((-21)/(-56)). Is 32 <= w?
True
Suppose 5*m = -f - 65, -303*f = -305*f - 5*m - 85. Suppose -3*s - 71 = 2*q, 0*s = -5*s + 4*q - 89. Is f >= s?
True
Let t = -11 + 14. Let s be (-2)/t - (-168)/9. Suppose s = -2*c + 16. Is c at most as big as -1/2?
True
Let x(q) = -7*q + 20. Let s be x(4). Suppose -2*a + 2 = -4. Suppose -7 - 15 = u + 5*n, 2*n - 15 = a*u. Which is greater: u or s?
u
Let m = 4113 + -4112. Let c = -1500743827/4709749450 - 2/4957631. Let d = c - -1/350. Is m bigger than d?
True
Let o = 114 + -114.0243. Let n = 3.7757 - o. Is n greater than 1/3?
True
Let a = 0.099 + -0.029. Let t = a - 5.57. Let v = -71/33 + 20/11. Are v and t equal?
False
Let w(f) = 2*f**3 - 41*f**2 - 5*f - 3. Let z be ((-132)/(-8))/(15/20). Let i be w(z). Let a = i + -17387/13. Is a at least as big as 1?
True
Let x = 5322 + -5322. Which is smaller: x or 230/183?
x
Let t be (-6)/5*(-60)/36. Let l be t/9 + 49/63. Let n be (4/615)/((-2)/(-3)). Which is bigger: n or l?
l
Let m = -33124 - -33124.3. Which is greater: m or -5/242?
m
Let w = -66.28 + 72.98. Are 54 and w equal?
False
Let l = 310 - 132. Let t = 178.3 - l. Let r = -2 + 1. Which is bigger: r or t?
t
Let a = 3 - 0. Let n = -1172.9 - -1100. Let p = n + 73. Are p and a unequal?
True
Let o = -23327 + 8047808/345. Is -1 bigger than o?
False
Let y be (-4 - -3)*(20 - 6). Let g be (-2)/y - (-3)/(-21). Which is bigger: 2/469 or g?
2/469
Let q be (-12 - (-10 - -6)) + (-10 - 2). Is q at least as big as -17?
False
Let o = -26 + -96. Let k be -763*((-12)/2)/(-6). Let c = 640 + k. Which is greater: o or c?
o
Let b be 114*(1 + -2) + -9 + (18 - 11). Do -121 and b have different values?
True
Let r(i) = -3*i - 114. Let h be r(-32). Let l be 48/h*(-6)/(-4). Is 3 <= l?
False
Let n(x) = -4*x + 18. Let p be n(4). Suppose 0 = 3*m + p - 8. Suppose 4*o - 4 = -m*l, -4 = 4*l - 5*o + 1. Is l at most as big as 1?
True
Suppose -2*z - 4*v = 8, 3*z + 0*v = 3*v + 24. Let a be 18/(z/1 + (-400)/104). Do 116 and a have the same value?
False
Let t be (1 - 2/3)*9. Let b be ((-7)/t)/(135/(-486)). Let y(f) = -f + 9. Let w be y(0). Is b <= w?
True
Let l = 14961 + -14953. Is l at most 0.053?
False
Let q(z) = -16*z - 16. Let t be q(5). Let y = 92 + t. Let o be (285/(-25) - y) + 5. Which is bigger: o or -2?
-2
Let v be (287/82 - 3)/(1/(-2)). Which is bigger: -3/244 or v?
-3/244
Let b be (-2)/(-8) - 266/(-56). Suppose -5*m - 3*h = -0*m + 2, -4 = -m - b*h. Let n be (-2)/(-12) - (m + (-327)/(-288)). Is n != 0?
True
Let b be 107/(-3) + 2*3/(-18). Let j be 24/b - (-34)/(-3). Let a be (-3*(-8)/j)/2. Is -2/155 at most a?
False
Let l be 23/(-69) + (-142072)/(-570). Let u = l - 249. Is u >= 0?
False
Let o = -7 + 6.945. Let g = o - -24.055. Let d = -0.8 + 0.7. Are g and d nonequal?
True
Let c = 121 + -123. Let l be c - 734/(-430) - (-16)/80. Is -1 greater than or equal to l?
False
Let q = 366 - 360. Suppose 2*z = -q + 2. Which is smaller: 16 or z?
z
Let x(u) = -u**3 + 3*u**2 + 81*u - 5. Let w be x(10). Let n be ((-700)/(-15))/(1/3). Let d = n - w. Is d > 35?
False
Suppose -l + 4 = 4*i + l, i + 3*l = 11. Let x be 1*i*11/(33/18). Which is greater: -7 or x?
x
Let c = -6400 - -6400. Is c greater than or equal to -35/467?
True
Let j = -3.158 - -4.458. Are -91 and j equal?
False
Let b = 27850 + -34658. Is b less than -6806?
True
Let v = -71 - -66. Let a(g) = -g**3 - 5*g**2 - 7*g - 7. Let x be a(v). Suppose 3*w + 4*z - 82 = -0*z, w + z = x. Which is greater: w or 31?
31
Suppose 9*d - 25 = 4*d. Suppose -d*s = -2*z - 8*s + 2538, 3*z = 5*s + 3769. Let q = 50523/40 - z. Which is greater: q or 1?
1
Let f = -6103.7 - -6103. Is 572 > f?
True
Let m = -78 - -120. Suppose -3*l - 2*u = -17, -m = -4*l + 3*u - 8. Which is smaller: l or 5?
5
Let h be 218/8 - 1/4. Let l be (-1768)/(-520) + (-4)/10. Suppose p + 11 - 37 = l*g, 4*p = -g + 104. Is p < h?
True
Suppose 101*u - 86*u = -15. Which is smaller: u or 32/157?
u
Let x = -54 + 68. Let u = x + -14. Suppose -b + 2*t + 16 = 0, u = -4*t + 2*t - 10. Which is smaller: b or 8?
b
Let s be (-13292)/(-2) - (4/(-14))/(88/(-2464)). Which is smaller: 6639 or s?
s
Let m be (-1585)/2*(-30)/(-25). Do m and -951 have the same value?
True
Let r be 35082/132 + -2*4/(-16). Let m = r - 266. Suppose -t = 3*t. Which is smaller: m or t?
t
Let w = -11 + 20. Let m = -87830 - -87824. Does m = w?
False
Let l = 1211 - 1209. Let d be 20/(-5975)*(-7 - (-19)/l). Let v(h) = -h**2 - 2*h + 1. Let j be v(-2). Is d > j?
False
Let y = -439.969 + 440. Let b = 0.115 - y. Which is smaller: 0.2 or b?
b
Let s(k) = k**3 + 8*k**2 + 6*k + 4. Let d be s(-5). Let p(c) = -3*c**2 - 90*c + 573. Let v be p(-35). Which is greater: v or d?
d
Let y be -9 + 5 + 37240/(-480). Which is greater: y or -83?
y
Let u(t) be the third derivative of t**4/6 - 14*t**3/3 + t**2. Suppose 0 = -38*w - 81 + 461. Let z be u(w). Do 12 and z have different values?
False
Suppose -4*i - 2*c = -226, -4*i + 241 - 16 = 3*c. Suppose i = -a + 58. Let w be (3 + -1)/(-1 + 0). Which is smaller: w or a?
w
Let y = -7462690/13 + 573458. Is -596 > y?
False
Let f = -39 + 54. Suppose y + 4*c = f, 4*c - 