07*a - 41 = 66. Which is smaller: -4/197 or a?
a
Let c(d) = -9*d**2 - 76*d - 234. Let h be c(-6). Which is bigger: h or -131?
h
Let g be 12*9/195 - (-506)/(-1265). Which is smaller: g or 154?
g
Suppose -39*b - 81 = -3*c - 36*b, 0 = 3*c + 3*b - 39. Let i be (-96)/(-10) + 4/10. Let w = i - c. Is w less than -12?
False
Suppose -4*p = -g - 0*p + 27, 3*p - 34 = -g. Suppose 2*w = -2*u + 7*w + g, -u = 4*w + 17. Let l = -5 + 10. Is u > l?
False
Let a be (-36)/(-39) + 4 + -6. Let l be 2 - 60/27 - 288/162. Is a at least as big as l?
True
Suppose -2*g + 194 = 3*r, -220 + 80 = -2*r + 4*g. Suppose -21 = -5*l - r. Let n be (15 + 3)/(1/(-1)*2). Is n > l?
False
Suppose -2*q + 3*a + 42 + 31 = 0, -q - a + 44 = 0. Let z = q - 34. Suppose -z*x = -x + 144. Which is greater: -23 or x?
-23
Suppose -2*z = 5*z. Let w be ((-1)/(-2))/(4/5). Is z smaller than w?
True
Suppose -96722 = 9*s + 10*s - 25814. Which is bigger: -3733 or s?
s
Suppose -n - 21 = -3*h - 7, 0 = 5*h + 2*n - 38. Let s be (-10 - (-2 - h)) + 4. Is s >= -26/29?
True
Let b be 7 + 26/(-2) + 1809/303. Suppose 3*q + i = 0, -i + 3*i = 3*q. Which is greater: q or b?
q
Suppose 0 = -3*l + 18, 43 = -5*f + 2*l + 36. Let v = -4527/20 - -226. Is f less than or equal to v?
False
Let x = -4584 - -2988. Let y be ((-2)/(80/174))/(x/665). Which is smaller: 1 or y?
1
Let a = 562807.69 - 562809. Let y = -0.1 + 0.2. Is y less than a?
False
Let u = 11.573 + -11.873. Does 2505 = u?
False
Suppose 35744 + 8023 = 9*i - 3*b, 3*b + 14577 = 3*i. Is 4863 greater than i?
False
Suppose 2*z + 1231 = -3*p, -4*z + 25*p - 30*p - 2465 = 0. Is -618 smaller than z?
False
Suppose -4*p - o = 129 - 122, 0 = -4*p - 3*o - 21. Which is bigger: 2/2873 or p?
2/2873
Suppose -232 = 72*d - 68*d. Which is greater: d or -237/4?
d
Let r = 157 - 26. Let u = r - 204. Let q = -100 - u. Is q at least 0?
False
Suppose -11*u + 1 - 1 = 0. Let o = 4312 + -526061/122. Is o >= u?
True
Let j be ((-8)/(56/7))/(2/15). Let c be ((-20)/(-12) - 2)/1. Is j greater than c?
False
Let l be 5/(15/(-6)) - (0 + 1). Let s = -9 + l. Let z be (-3)/(-8)*4/s*-3. Is -1 < z?
True
Suppose 0 = -7*z + o + 1500 - 2417, -2*o = 2*z + 262. Let d be (20/(-3))/(2/39). Is d > z?
True
Let v be (1 - 3)*((-432)/(-540) - 6/20). Is v greater than 19?
False
Suppose 4*j - 12 = -2*g, g - 7 + 5 = 0. Suppose j*f + 1 = -h, 10*f = h + 5*f - 13. Is 12/7 < h?
True
Let z = 49 - 25. Let r = z - 20. Suppose -y - c = -5*y + 9, y + 2 = -r*c. Which is smaller: -1.6 or y?
-1.6
Suppose 3*u = 6*u + 66. Let z = -47880 + 47854. Is u at least as big as z?
True
Let n = -465006/117249685 - -2/115745. Let f = n + -1462/142833. Which is greater: 0 or f?
0
Let u(b) = -52*b**2 + 242*b + 18. Let j be u(6). Is j at least -402?
True
Suppose 487*p - 532*p = 0. Do p and -8/221 have the same value?
False
Let v be (4/3)/(-2*1). Let b be (-22430)/30 - (9 - 0). Let a = 756 + b. Is v equal to a?
True
Let s be -50*2817/(-84)*8/10. Is 1342 less than s?
False
Let y = 84 - -16. Let m = 201 - 146. Let b = 46 + m. Is y > b?
False
Let r be (-13 - -14)*6 - 15 - (-1650)/184. Let z(j) = -j - 2. Let m be z(-2). Is r > m?
False
Suppose 0 = 6*d - 4*d. Let l be 84/(-406)*((-6)/3)/(-8). Let h = l - -115/1102. Which is smaller: d or h?
d
Suppose -5*v - 9 = -d, -6*v + 2*v + 12 = -4*d. Let a = 62/423 + -2506/423. Is a bigger than d?
True
Let l(k) = -2*k**3 + 9*k**2 - 2*k - 24. Let j be l(7). Let o = -135 - j. Are o and 148 unequal?
False
Suppose 20*h - 24*h = 56. Let u be (-357)/42 + h/(-4). Which is greater: u or -15/4?
-15/4
Let m = 2/32389 + 1392631/1554672. Which is smaller: m or 2?
m
Let a(r) = -3*r**2 - 414*r - 9524. Let d be a(-109). Suppose 3*o = -5*q - 163, -3*q - 3*o + 12 - 105 = 0. Is q != d?
True
Let d = -47.135 - -0.035. Let s = -6.6 - 40.4. Let b = s - d. Which is greater: b or -11?
b
Let f = -25.2291 + 0.6291. Which is bigger: f or 0?
0
Let w be (10/6 + 2)/((-2)/24). Let u = w + 40. Let g be -20*(13/26 - 1/u). Is g at least -15?
True
Suppose 0 = -3*y - 4 - 5, 3*h - 36 = y. Suppose 151 = -h*q - 146. Which is smaller: q or -29?
-29
Suppose 4*p + 4*s - 3 - 33 = 0, 42 = 5*p + 4*s. Suppose 0 = -3*t - 21 - p. Let c be 2 - (-5)/(t + 4). Which is bigger: c or 1/6?
c
Let x = -4270 + 4488. Which is bigger: x or 0.1?
x
Let k = 87.1 + -4.1. Let c = 218 - 219. Does k = c?
False
Let x = -0.9733 + -47.8567. Let t = -49 - x. Are t and -7 equal?
False
Let j be (0 + -2)*(-52)/104. Is 7/4 != j?
True
Let c = -12689/13 - -977. Suppose 0 = 5*m + 2*h - 21, -h + 18 = -35*m + 39*m. Suppose 20*j + m*j - 25 = 0. Which is smaller: c or j?
c
Let n be 153/21 + 22 + -31. Which is smaller: 7 or n?
n
Let j = 42 + -41.62. Suppose -11*l + 40 = 3*z - 7*l, 0 = -5*z + 5*l + 20. Suppose 4*d - 5*a + 5 = -8, -2*d + 4*a = z. Is j bigger than d?
True
Let h be (-6)/9 + (112/(-3))/7. Let b be h/(-28) - (-17)/(-34). Is -26 less than b?
True
Let w = -21125 + 21127. Let s = 3.5 - 4. Let y = s + -0.5. Is y >= w?
False
Let z = -191 + 209. Let i be z/4*(-77)/(-66) + -4. Let y = -1 - -0.8. Which is greater: i or y?
i
Let k = 0.3 - 0.28. Let n = 7099 - 7101. Is n at most k?
True
Let h(w) = -39*w + 1097. Let l be h(23). Let i be (2/(20/(-6)))/((-4)/1340). Which is smaller: i or l?
l
Suppose x - 2*x - 1 = 0. Let a be 10 + (-236725)/13923 + 7. Is x smaller than a?
True
Suppose -3*n - 12 = -4*j, 0*j + 5*j - 12 = 3*n. Suppose j*u = -u - 0*u. Suppose k + u = -4*r - 15, 5*r + 24 = -3*k. Is r bigger than -6?
True
Let s = 209 - 2. Let y = 2642 - s. Let h = -19453/8 + y. Is 0.1 less than or equal to h?
True
Let u = 3516/11 - 7021/22. Which is smaller: -199.2 or u?
-199.2
Suppose s + s - 10 = 0, 3*f + 3*s = -9. Let n(q) = 9*q + 13. Let t be n(f). Let x = t + 63. Which is greater: x or 0?
x
Let m = -37.0759 - -0.0759. Let d = -0.017 + 0.317. Is m at least as big as d?
False
Let r = 403797576323/5568608595 - 461/2736417. Let s = 6/185 + r. Let n = s + -13665/187. Which is smaller: -1 or n?
-1
Let i = 507 - 62. Let l = i + -432. Do 8 and l have different values?
True
Let f be (8883/(-2115))/((-2)/(-60)) + 22. Let a be (1 + 311)/(-3) + 0. Is f > a?
False
Let t = -0.7198 - 0.0322. Let v = t - -0.652. Which is greater: v or 45/34?
45/34
Let y be ((-27)/135)/((-5)/125). Suppose 5*g = 25, -3*n = 2*n + g - 5. Suppose -4*j - 2*x + 38 = n, -j = 2*j - y*x - 22. Which is bigger: 2 or j?
j
Let t(a) = -a**3 - 7*a**2 + 9*a + 17. Let z be t(-5). Let r = z - -78. Which is smaller: 3/28 or r?
r
Let q(b) = -b + 78. Let l be q(0). Suppose 76*h - l*h = 202. Is -101 greater than or equal to h?
True
Let o(v) = 12*v - 8. Suppose -56 = 8*f + 24. Let x be o(f). Which is bigger: -130 or x?
x
Let b = -177 - -23. Let q = b + 153. Let c = 83 - 499/6. Which is bigger: q or c?
c
Let y = 1.83 + 39.47. Let z = y - 41.5. Let m = -0.4 + 0.3. Which is bigger: m or z?
m
Suppose -5*w + 13 = 5*t - 9*w, -t + 3*w - 4 = 0. Suppose 4*z - 12 = -t*k - 1, -5*k = -5*z + 25. Let y = -14/99 + 1/33. Is k at most y?
True
Let m = 460 - 453. Suppose -m*r = -3*r - 3*x - 499, -5*r + x = -610. Let v(g) = 2*g**3 - 5*g**2 - 4. Let l be v(5). Are l and r equal?
True
Suppose -816 = -2527*y + 2539*y. Which is bigger: -80 or y?
y
Suppose -2*g = -n + 4693, -48*g - 3*n = -52*g - 9393. Is -2342 <= g?
False
Let x(t) = 544*t**2 + 348*t - 5. Let q be x(2). Is q < 2870?
True
Let u be (10 + (-468)/27)/(4/(-6)). Let l be 4 + 9/((-18)/(-8)). Which is bigger: l or u?
u
Let g = 582 + -384. Suppose -44*z + 2178 = -33*z. Is z at most g?
True
Suppose 0 = g, 3*c = -7*g + 11*g - 87. Let b(y) = 3*y + 26*y**2 + 0*y**3 - 11*y**2 + 15 + y**3. Let s be b(-15). Which is greater: s or c?
c
Suppose -186 = 596*c - 602*c. Suppose -c - 1 = 2*h + 4*y, 4*h = y - 64. Let i(t) = -4*t + 8. Let f be i(6). Is f greater than h?
False
Suppose -10*y - 30 = -500. Let h = y - 57. Is h != -31/3?
True
Let i be 32334/(-76860) - 2*1/(-5). Let z = i + -6/61. Is z <= -1?
False
Let o be 21534/(-296)*8/3. Is o bigger than 1?
False
Let m = -2.2 - -4.4. Let l = -2913 - -2911. Which is bigger: l or m?
m
Suppose -2*x = -4*h - 1074 + 370, 4*x + 5*h - 1447 = 0. Which is greater: 359 or x?
359
Let d be (1/2)/(1881/64790). Which is smaller: 17 or d?
17
Let y(m) = m**3 + 6*m**2 - 6. Let l be y(-6). Let x(i) = i. Let d(q) = -4*q - 9. Let h(f) = l*x(f) - d(f). Let j be h(5). Which is greater: -2/59 or j?
-2/59
Let v b