 smaller: f or d?
f
Suppose -15*a - 6*a = -0*a. Suppose -7*d - 226 - 558 = a. Which is smaller: 0.1 or d?
d
Let q = -10138 - -10137.9. Which is smaller: q or 0.07279?
q
Let j = 391534/3099 - 9/1033. Are 126 and j non-equal?
True
Let s(v) = v**2 - 2*v - 7. Let i be s(5). Let n = 4 + i. Let k be (3 + (-9)/n)*2/(-3). Is -5 equal to k?
False
Let h = -51/250 - 22541/2250. Let d be 6/(-15) + (-290)/25 - -1. Which is bigger: d or h?
h
Let d = -68 + 156. Let y be ((-1)/d)/(8/(-40)). Let t = 307/792 + y. Is 0 at least t?
False
Let y = 4971 - 4971.1. Which is smaller: -0.2474 or y?
-0.2474
Let p = -373 + 54088/145. Suppose 46*m - 43*m = -5*i, 0 = -2*i. Which is greater: p or m?
p
Suppose -2*n - 2 = -0. Let a(b) = 2*b**2 + 16*b - 20. Let v be a(-9). Let i be (-10*(-72)/1050)/(v/5). Is n less than i?
False
Let t = 10734 + -10734. Which is smaller: t or -56/45?
-56/45
Suppose -4*z = -2*z - 6. Suppose 0 = q - z + 2. Let c be (1*4/(-115))/6. Is q < c?
False
Suppose -6*c + 552 = 2*c. Let q = c - 68. Is q <= 13/9?
True
Let l(h) = -2*h**3 - 17*h**2 - 22*h - 18. Let f be l(-9). Let d = f - 277. Which is smaller: d or -10?
d
Let x be 17*81/918 + (-1523)/(-2). Which is smaller: x or 768?
x
Let r = 266.17 + -266. Let p = 0.17 - r. Which is greater: 0.244 or p?
0.244
Let m = 73 - 113. Let s = m + 59. Let d = -1624.3 + 1625.3. Is d < s?
True
Let l(j) be the first derivative of -j**4/4 - 2*j**3 - 3*j**2 - 8*j + 16. Let m be l(-5). Let b(x) = 4*x + 11. Let s be b(m). Which is greater: s or 1/8?
1/8
Let a = -8/27 + 283/135. Suppose -9*n - 16 = -52. Suppose -3*p = w - 4, 2*w + 8 = -n*p - 2*w. Is p >= a?
True
Let w = 902102 - 39590550476/43887. Which is smaller: 1/4 or w?
w
Let l be (44/99)/(4/6). Let z = 0.79 - 10.79. Is z equal to l?
False
Suppose -296*f + 120 + 408 = -64. Is f <= 85?
True
Let c(g) = -g**2 - 13*g - 34. Let r(j) = j**3 + 5*j**2 + 3*j + 7. Suppose -16*z = -18*z - 10. Let m be r(z). Let d be c(m). Is 7 less than or equal to d?
False
Let m be (6/(-4))/(21/952). Let p = 106 + m. Let f = p - 41. Are f and -1 unequal?
True
Let l = -9.48 + 0.48. Let s be 644/(-70) - (-2)/10. Let c be 2/(-9) + (-11)/s. Which is bigger: l or c?
c
Suppose -3*z - 5*r = 28, -3*r - 12 + 1 = -4*z. Let o be 5/228*19/(-95). Is z less than o?
True
Let i(n) = 8*n - 13. Let m be i(5). Let v = m + 13. Suppose -5*a + 0*a = -x + 112, -2*x + v = -2*a. Is a less than -24?
False
Let t(c) = c**3 - 11*c**2 - 22*c + 121. Let f be t(12). Is 4/2239 smaller than f?
True
Let y(a) = 12*a + 2. Let t be y(-2). Let x = -22 - t. Let l be 26/(-16) + (-4)/(-8). Is l at least x?
False
Suppose 8 - 7 = -o. Let k = 1/5370 - 80557/37590. Is o != k?
True
Let a = 6135 + -6136. Let b = 47 + -23. Is b >= a?
True
Let o be ((-32)/14 - -2)*182722/(-6301). Let j = -2/6301 - o. Let g = -57/7 - j. Are g and -1 non-equal?
True
Let k = -0.004 + -6.996. Let r = 5.8 + k. Let c = -3.04 + 0.04. Which is bigger: r or c?
r
Let h = -27 - -81. Let p = -98 + h. Let i be 1/10*(-16)/p. Which is greater: 1 or i?
1
Let s = -7/150 + 136/5325. Suppose -5*p + 2*z - 5 = 4*z, -5*p + 3*z - 5 = 0. Which is greater: p or s?
s
Suppose -12 - 1 = u + r, 2*r + 48 = -4*u. Which is smaller: -16 or u?
-16
Let n = 18510/89 - 208. Suppose 0 = -10*w + 5*w + 50. Suppose -16 + 6 = w*k. Is n less than k?
False
Suppose 33*n - 25*n = 632. Is 315/4 bigger than n?
False
Let k be 7 - (-6)/4*-2. Suppose 11*y - k = 7. Is y at most 2/17?
False
Let i(d) = d**3 - d**2 + d. Let o be i(0). Let k = 4 + o. Suppose -3*w + k*j + 18 = -1, 3*j + 11 = -w. Is w < 0?
False
Let c = 735 - 738.49. Let g = 3.5 + c. Let k = -0.145 + 0.245. Which is smaller: k or g?
g
Let t = 6 - 2.4. Let z = t - 4.4. Let a = z - -0.8. Which is bigger: 7/5 or a?
7/5
Let l be ((-64)/(-9))/(-2) - 2. Let k(r) = 3*r**3 + 156*r**2 - 3*r - 161. Let y be k(-52). Which is greater: l or y?
y
Let l = 186.913 + 11.977. Let v = -199 + l. Does v = 2/9?
False
Let a be 1107/2 - (-121 - -107). Is 569 <= a?
False
Let j be -2 + -1 - (-1)/(6/1290). Suppose s - j = -2*o, -3*s = 5*o - 5*s - 512. Let u(b) = b**3 + 10*b**2 + 5*b + 3. Let k be u(-5). Which is greater: k or o?
o
Let m = 38/13 + -209/156. Which is smaller: 2 or m?
m
Let q = -12 + 6. Let r(h) = h + 15. Let x be r(-5). Let y be x/35 - 6/21. Which is bigger: q or y?
y
Let k = -394 - -397. Suppose 0 = 4*j - 4*y + 8, 24 = -2*j - 5*y - 1. Is j >= k?
False
Let p(a) = -4*a**3 + 4*a**2 + 5*a - 28. Let m be p(3). Let f = m + 7227/85. Which is greater: 0 or f?
f
Let s = -8855 - -8855. Which is smaller: 48/59 or s?
s
Let l = -289 - -418. Let d = -204 + l. Let g = 75.1 + d. Is g greater than -59?
True
Let n be 13/((-416)/(-752)) + (-3)/(-2) + -2. Is n > 24?
False
Let t be 236/1298 - (-4 + 321320/55). Do -5839 and t have the same value?
False
Let i = -14.136 + -0.064. Let f = i - -11.2. Which is smaller: f or 42?
f
Let o = 9043 + -4807. Is o less than 4236?
False
Let q = -49 + 88. Suppose 3*y + 306 = q. Do y and -87 have different values?
True
Suppose -2*x + 2*v = -228, 0 = -4*x + v + 482 - 29. Let c = 134 - x. Which is smaller: c or 62/3?
62/3
Let a be (-1530765)/8414065 - (-4)/22. Is 1 bigger than a?
True
Suppose 0 = -20*m + 552 - 1532. Which is bigger: m or -29?
-29
Suppose 0 = 5*u - 87 + 32. Suppose 9*m + 263 - u = 0. Let o be (-1 + -1)*(-14)/m. Which is bigger: -2/103 or o?
-2/103
Suppose -2*p + 591*h - 38 = 594*h, 5*p + 3*h + 86 = 0. Which is greater: 0 or p?
0
Suppose 2*t = -0*t - 60. Let c = -68 - -632. Suppose 0 = -15*z - c + 99. Which is bigger: z or t?
t
Let g be 6 - (10 - 2)/2. Suppose g = -w - 0. Let m be w/3 + 58/48*2. Which is bigger: 0.1 or m?
m
Suppose -2*c = -101 + 29. Let g = 118267/8 + -14748. Let s = c - g. Which is greater: s or 2?
2
Let i be 500*(1 + 15/(-30)). Is 2742/11 > i?
False
Let r = -132 - -134. Suppose r*i - 3 = 5*z, 0 = 4*z + 7*i - 2*i + 9. Which is greater: 1/4 or z?
1/4
Let g = -142527 - -19953889/140. Let s = -1/35 + g. Let y = -3 - -4. Which is greater: y or s?
y
Let s = -4 + -35. Let x = -0.222 - 49.778. Let h = x - s. Is h > -1?
False
Let w = -77/144 - -5/16. Let g = 1879 - 1879. Which is smaller: w or g?
w
Let o = -3937/385974 + 5/1046. Let r be 28/49 + (18/28)/(33/22). Do o and r have the same value?
False
Let s = -17.5 - -15.88. Let g = s + 1.82. Is -20 greater than g?
False
Let g = -0.31 - 37.69. Let v = -16206 + 16208. Is g > v?
False
Let a be (-156)/2106 + (-1294)/756. Is a greater than -1?
False
Let p = -345 - -281. Let m = p - -64.079. Are m and -0.1 equal?
False
Suppose -p - 3*c = 2*c + 2, 4*c = -4*p + 40. Suppose 8*r + p = -11. Let k be r*(-4)/48*92. Which is bigger: 24 or k?
24
Let h = -75.6 + 53.09. Let g = -0.11 - h. Let s = -27 + g. Which is greater: -1 or s?
-1
Suppose 0 = -5*l - i - 26148, -5*i - 5220 = -3*l + 4*l. Is -5229 <= l?
False
Let a be (-1 - (-1283520)/1283420)*(-2)/(-5). Which is bigger: a or 1?
1
Let b(w) = 6381*w**2 - 186*w + 187. Let x be b(1). Is 6382 at least x?
True
Suppose 0 = -116*l + 121*l - 80. Let n(r) = r**2 - 13*r - 48. Let j be n(l). Suppose 3*v + j*v - 39 = -5*t, 4*v + 4*t = 52. Is 14 at least as big as v?
True
Suppose 6*g - 27 = 3*g. Suppose g*n - 112 = n. Let f = n + -17. Do 1 and f have the same value?
False
Let y = 192 - 1342/7. Let g = -71 + 87. Is g greater than y?
True
Suppose 552*a - 548*a = -7 + 3. Are a and 662 equal?
False
Suppose 28*r + 114 = -86*r. Which is bigger: -1417 or r?
r
Let p be ((-1265)/44 - -28)/(2/80). Let q be (-40)/25 - 2/5. Which is smaller: p or q?
p
Let h be -4 + -4 + 4 - -3. Is -15/362 less than h?
False
Let f be (-76)/(-24)*1*(59 + -53). Are 138 and f equal?
False
Suppose 3*u + 12 + 29 = -4*r, -r = u + 11. Let t(y) = -y**3 - 7*y**2 + y - 14. Let l be t(r). Let k be (2/(-5))/(l/(-30)). Is -40 greater than k?
False
Suppose -54 = 12*k + 18. Let r be 1/(42/6 + k). Is r not equal to 1/641?
True
Suppose -3*w - 6 = 5*j, 0 = -147*w + 150*w + 3*j + 6. Is -81/25 <= w?
True
Let n = 82248/7769 - -12/7769. Is n != -2/7?
True
Let w(r) = r**3 + 22*r**2 - 8*r + 346. Let l be w(-23). Is -2/197 less than or equal to l?
True
Let g be ((-71344)/(-195))/14 - (-4)/(-30). Suppose g = 2*v + 5*z, 4*v - z = 11 + 19. Is v < 9?
True
Suppose -5*i - 4*v = -65, 0 = -4*i + v - 36 + 88. Let z = 5 - 29. Let a be (13/6)/((-4)/z). Is i less than a?
False
Let q = -0.7793 + 9.7793. Is q greater th