maller: n or 75?
75
Suppose 0 = 5*r + 15 - 10. Let c be (r - (-34)/9) + -3. Suppose -3*u = 3*l - 6, 2*l - 9 = -4*u - 3*l. Which is bigger: u or c?
u
Let x = 16/175 + -10971/175. Are -64 and x unequal?
True
Let f be (196/(-504))/(-2 + 43/21). Which is greater: -7 or f?
-7
Let x = 410 - 415. Which is bigger: x or -10?
x
Let z(b) = 15*b + 13. Let w be z(2). Let k(x) = 5*x**2 + 2*x + 3. Let l be k(-3). Which is smaller: w or l?
l
Let j(f) = -f**3 + 11*f**2 + 13*f - 10. Let h be j(12). Let w be 2/4 - (-585)/(-14). Let k = w + 41. Which is smaller: h or k?
k
Let b(o) = o**2 - 4*o + 3. Let a be b(3). Suppose -l - 1 = 4*x, 2*x - 5 = 2*l + 3*l. Suppose x = -3*y - 2*w - w - 6, -w = 3*y. Are y and a equal?
False
Let q be (-96)/256 + 0 + (-118)/(-48). Which is greater: 3 or q?
3
Let d = 1661 + -1662. Is -61/31 at least d?
False
Let o be (-5)/((-1225)/(-217)) - (-21)/35. Is -5.55 not equal to o?
True
Let x(n) = n + 10. Let w be x(-7). Suppose -3*q - 5 = 4*z, 3*q + 2 - w = -z. Do -2/15 and z have the same value?
False
Let s = 0.0058 + -0.2088. Let x = s - -0.003. Which is greater: 7/5 or x?
7/5
Let t = -1.3 - -1. Let o(a) = a**2 + 13*a - 12. Let h be o(-10). Let j = h - -40. Which is smaller: t or j?
j
Let w = -38.3 + 198.3. Let v = w + -160.3. Is -35 < v?
True
Let f be ((-33)/(-2))/(4 - 618/24). Is 0 greater than f?
True
Let p = 271 - 218. Is p at most as big as -0.2?
False
Let m(p) = -4*p + 76. Let h be m(19). Suppose h = 16*i - 11*i - 100. Which is smaller: i or 24?
i
Let k(b) = b**2 + 13*b + 26. Let q be k(-11). Let c = 552 + -1081/2. Let p = -9 + c. Which is bigger: p or q?
q
Let r = 1.9237 + 0.0763. Let u = -34.9 - -39. Is u less than r?
False
Let f(k) = -k**2 - 8*k + 3. Let p be f(-8). Suppose 5 = 3*r - 0*r - d, 0 = p*r + 2*d - 8. Is r < 4/5?
False
Suppose -2*d - 1 + 5 = 0. Suppose 2*p - 3*p = -3*u - 34, -5*p = d*u + 51. Let z = u - -13. Which is smaller: 2 or z?
z
Suppose 114*l = 116*l. Which is smaller: -3/11 or l?
-3/11
Let s(j) = -j**2 - 12*j + 45. Let y be s(-15). Are 28.8 and y nonequal?
True
Let q(d) = -2*d**2 - 26*d + 187. Let i be q(-28). Is i < -653?
False
Let l = -39 - -39.2. Let g = -438 - -455. Is l at least as big as g?
False
Let i(r) = 17*r + 21. Let u be i(7). Suppose 5*s - 8 + u = -4*t, 2*s + 33 = 5*t. Is -24 > s?
False
Suppose -5*g - 5*a = -5, 0*g + 11 = -4*g + a. Let t be (g/3)/(6/(-279)). Are t and -0.1 non-equal?
True
Suppose -4*k + 10 + 18 = 0. Suppose 5*w - k*w = -4. Which is bigger: 4/3 or w?
w
Let c(h) = -4*h - 9. Let a be c(-3). Suppose -4*z + 15 = a. Suppose m = 10 + z. Is 13 smaller than m?
False
Let l(f) = -3*f - 2. Let i be l(-4). Suppose -809 = -14*v + 2033. Let o = -192 + v. Which is greater: i or o?
o
Let v = 17/72 + -1/9. Suppose l - 4 = -u, -2*l - l - 5*u = -16. Let r be (-3)/(-7) - ((-33)/21 + l). Are v and r non-equal?
True
Let x = -674 + 673.9. Which is smaller: 23/3 or x?
x
Let r(b) = -b**3 + 4*b**2 + 32*b + 13. Let v be r(-4). Do 23/2 and v have the same value?
False
Let r = 6 + -5.99. Let g = r - 0.11. Let i = -22/21 + 12/7. Which is bigger: i or g?
i
Let q = 2 + 5. Let t = q - 8. Suppose -o - 8 = 2*a, -2*a + a - 3*o = 14. Which is smaller: t or a?
a
Let k = -0.5 - -0.27. Let a = 0.77 - k. Is 22 at least a?
True
Let x = -95.9 + 101. Let a = 5 - x. Let m = 0.2 + 0. Does m = a?
False
Suppose 2*v + 0*v + s = -12, -20 = v - 3*s. Is v bigger than -5?
False
Suppose 0 = 5*d + 3*q - 0*q + 51, 0 = -3*d + 5*q - 17. Let o(x) = x**2 + 15*x - 191. Let l be o(-23). Which is greater: l or d?
l
Let b = 1.034 + 1.966. Which is smaller: b or 1.32?
1.32
Let i = 120 + -115. Suppose 3 = 5*o - 12, -39 = 3*p + i*o. Is p less than -16?
True
Let u = 4.7 - -17.3. Let i = u + -21.9. Let c = -0.09 - 5.91. Is c greater than i?
False
Suppose 2*d - 15 = -d, -2*r + 4*d = 14. Which is bigger: r or 1.08?
r
Let a = -3 + 1. Let p(k) = -k**3 - k**3 + 7*k + 3*k - 9*k - k**2. Let x be p(a). Is x smaller than 10?
False
Suppose 3*h + 806 + 2389 = 0. Which is greater: -1064 or h?
-1064
Let a be (30 - 28)*1/7. Which is smaller: a or 17?
a
Let s be 2/(-4)*0/(-12). Let b(g) = -2*g + 15. Let p be b(s). Do p and 16 have the same value?
False
Let z(a) = 17*a**2 + 3*a - 3. Let i be z(1). Suppose -93 = 5*x + i. Let r be (6/(-4))/(2/28). Is x greater than or equal to r?
False
Let k(s) = 8*s + 85. Let j be k(-10). Which is bigger: j or 54/11?
j
Suppose -7 = -5*l - 2*l. Suppose -i = -3*y + l, -5*i + 3*y = y - 21. Is i smaller than 4?
False
Let v(q) = q**2 + 6*q - 15. Let u be v(-6). Which is bigger: -12 or u?
-12
Let w be (8 + (6 - 12))*(-18)/4. Is 5 at most w?
False
Let g = -67 - -19. Let h = -47.8 - g. Is 0.13 >= h?
False
Let x = 95 - 96. Let o be x*(-6)/(-10) + 0/8. Let g be 4/(-18) - 64/(-126). Which is greater: g or o?
g
Suppose -2*s - 2*m = 40, -2 - 34 = 3*s - 3*m. Let i be (46/s + 3)*2. Let k = 3/4 - i. Which is smaller: k or -4?
-4
Let l = -2/3 - -1/6. Let y = 996 + -1017. Which is greater: y or l?
l
Let i = 76.165 + -50.23. Let b = i - -0.065. Let d = b - 25. Is -14 < d?
True
Suppose 0*m + 4*v - 98 = -2*m, -2*m + 3*v + 77 = 0. Let r = -948 + 991. Do m and r have different values?
False
Let c = 2705/9 - 297. Are c and 5 unequal?
True
Let g = -47.109 - -0.109. Let r = g + 41. Are -0.2 and r equal?
False
Let m(c) = 2*c**2 + 31*c + 51. Let f be m(-10). Do -59 and f have the same value?
True
Let g = -2 + 14/5. Suppose p = 4*s - 46, -5*s + 50 = -p - 0*p. Let u be ((-8)/p)/(2/(-3)). Are u and g unequal?
True
Let y = -9977402/723 - -13800. Are y and -0.2 equal?
False
Let y be (2 - (-74)/(-4))*32/48. Let n be 8/5*(-5)/(-1). Let l = n + y. Is -4 greater than l?
False
Suppose -56*a + 18 = -2*n - 55*a, -4*a = -3*n - 37. Suppose 0 = -2*h - 12 - 0. Is h < n?
False
Let m = -0.07 + 1.07. Let j = 1 - m. Let g = -1 + -1. Is j <= g?
False
Let s = -60 - -60. Let b = 7219/9 - 803. Is b at most as big as s?
True
Let p = -0.9549 + -0.0451. Let g = -34 + 48. Is g greater than p?
True
Let z be (-4)/6654*1*(-24)/8. Is z less than or equal to 0?
False
Suppose -n - 4*n - 5 = 0. Let l = 348 - 11500/33. Let i = l - -13/231. Is i less than or equal to n?
False
Let h = 14691 + -72651/5. Suppose -8*c = 132 - 1428. Let y = c - h. Which is smaller: y or 2?
y
Suppose 5*k - 402 = -132. Suppose 45 - k = x. Which is smaller: x or -1?
x
Let c be ((-214)/(-70) - 3)*(-14)/30. Is c at least as big as -1?
True
Let t(r) = 60*r**3 - r**2 + r. Let h be t(1). Let n(d) = 47*d + 12. Let k be n(1). Is h equal to k?
False
Let l = -407 + 575. Are l and -0.2 unequal?
True
Suppose 18239 = 2*i + 59*i. Is 300 < i?
False
Let t = 0.0536 + 0.8464. Is 0.15 at least t?
False
Let v = 29 - 169/5. Which is smaller: v or 0?
v
Let o(m) = -6*m. Let i be o(-4). Suppose -254*g = -7964 + 1868. Is g at least i?
True
Suppose 0 = 6*c + 306 - 66. Is c at least as big as -197/5?
False
Suppose 9*j + 322 = -20. Are j and -35 equal?
False
Let f = -1 + -4. Let n = -5.129 + 0.029. Let q = n - f. Which is smaller: 2 or q?
q
Suppose -3*i - 5 = 2*i, -4*i = 5*v + 5329. Let n = v + 5357/5. Which is bigger: n or 7?
7
Let z = -957/338551 + -1/4154. Which is smaller: z or 0?
z
Suppose 3*n + 17 = 32. Suppose -12 + 32 = -n*l. Which is smaller: -5 or l?
-5
Suppose 0 = 2*s + 3*s - 150. Let u be 3/(-7) + 2570/(-168)*-2. Let w = u - s. Is -1 < w?
True
Suppose 3*t + 0*t = 102. Let k be 1 - (-1 - t/(-10)). Let d = -461 + 459. Are d and k nonequal?
True
Suppose -i = -20 + 19. Is 1/362 less than i?
True
Let i(g) = g**2 + 2*g - 3. Let k be i(-4). Suppose -2 = k*p + 13. Let y = -35 + 98/3. Is y at least as big as p?
True
Let b(h) = -2*h**3 + 11*h**2 - 4*h - 3. Let p be b(5). Let i be (-27)/(1 - p) + 2. Let t = -30 + i. Is t greater than -3?
True
Let y = -1779 + 183235/103. Let p = 4638 - 4638. Which is greater: p or y?
p
Let m = -19.2 + -251.8. Let b = m - -282.1. Let q = b + -11. Is q greater than or equal to 0.1?
True
Let x be 104*(1 + 4/(-40)*-5). Is x != 151?
True
Suppose 14 = m + 3*r, 3*r - 42 = -3*m - r. Let i(w) = 2*w - 9. Let a be i(4). Let t be (-1)/(a/(16 + -1)). Which is smaller: m or t?
m
Let j(i) = -4*i + 6. Let q(m) = 7*m - 11. Let z(x) = 5*j(x) + 3*q(x). Let d be z(3). Suppose 0 = 6*o - o - 10. Which is smaller: o or d?
d
Let s be ((-27)/(-63))/(24/(-16)). Which is smaller: -163/6 or s?
-163/6
Suppose 3*f = -5*s - 21 + 9, -5*f = -4*