, 0 = 3*j + 4*y - 25. Let u = 20258 - 28340945/1399. Let x = 25149/15389 - u. Which is smaller: j or x?
x
Let r = -147.21207 + 0.21207. Which is smaller: r or 0.37?
r
Let v(q) = -q**3 + 63*q**2 + 62*q + 94. Let x be v(64). Which is greater: x or -91?
x
Let u = 2230 - 109276/49. Suppose -4*h = 38 - 42. Which is smaller: u or h?
u
Let l = 0.33 + 227.67. Let s = l - 227.4. Let p = -1 + 0. Which is bigger: s or p?
s
Let i = -25.51 - -9.51. Which is greater: i or -2/57?
-2/57
Suppose -6*x + 3*x - 198 = 0. Let m be 13962/210 - (-2)/(-10). Let k = m + x. Which is smaller: 1 or k?
k
Let x(j) = j**2 - 11*j + 2. Let c be x(5). Let f = -228 + 198. Which is bigger: c or f?
c
Let v be (-11)/(44/(-32)) - (-7)/1. Which is smaller: v or 61/4?
v
Let d(q) = -q**2 - 2*q + 2. Let i be d(2). Let t be (261/(-464))/(i/88). Which is greater: 7 or t?
t
Let g = 0.0044 + 1.1956. Let l = g + -1.83. Are l and 1/4 unequal?
True
Let j(g) = 9 + 393*g + 7 - 354*g. Let y be j(7). Which is smaller: y or 288?
288
Let l = -133.769 - -137.25. Are l and -2 nonequal?
True
Suppose -4*z + 20 = 0, 200 = -5*i + 7*z - 5*z. Is i smaller than -18?
True
Let x be 76/(-5)*5/(-1). Is x <= -8?
False
Let h be 3*((-76)/(-30) + (-6)/30). Let a be (h/3 - 2)/(4/3). Which is bigger: a or 7/5?
7/5
Let o = 3467 + -31201/9. Which is smaller: o or -211?
-211
Let t = -13288 + 3708. Which is smaller: t or 2?
t
Suppose 4*z - 4*v = -348, 121*z = 123*z + 4*v + 174. Let u = -1.9 - -1.6. Is z bigger than u?
False
Let c be 4*(-5)/((-1)/(-2)*2). Let h be 36/c - (-2)/(-10). Let b = 15155/9 - 1687. Do h and b have different values?
True
Let o be 6 + 1 + (-25)/5. Suppose 0 = o*a - 5*k + 132, -4*a + 8*a + 3*k = -212. Let b = a + 94. Is -0.1 less than b?
True
Let c = -0.0651 - 0.2279. Let p = 58.707 - c. Do p and 1/3 have the same value?
False
Suppose 4*r = -20, 2*l - 5*r - 68 = -r. Suppose -4*w + 108 - l = 0. Let t = 22 - w. Does t = 2/47?
False
Suppose -10 = 5*k - 0*k. Let x = 44112 - 307766/7. Let m = 17236/119 - x. Which is bigger: m or k?
m
Suppose 111 - 189 = p - 107. Which is greater: p or -17?
p
Let d = 227 - 220. Let y be 0 + (d - 2) + -1*3. Which is smaller: 19/8 or y?
y
Suppose 5*g + 59 = 5*a - 121, 0 = -2*a + 4*g + 68. Are 233/6 and a nonequal?
True
Let a be (-528)/(-88) + (-2 - (2 - -2)). Let y = -572 + 17734/31. Which is smaller: y or a?
a
Let o = 1848 + -1854. Which is greater: o or 30?
30
Let a = -3/75200 + 99827/617316800. Which is bigger: a or 0?
a
Let y be -90*(-14)/21*2/3. Let x = -1611 - -1615. Is x not equal to y?
True
Let k be 35/14*62/22 - 5. Is k != 3?
True
Let i be (3 - 22/8) + 245/28. Suppose -89 - 64 = 3*c. Let w be c/(-8)*24/18. Which is smaller: w or i?
w
Suppose -1236 = -12*i - 1248. Does -2.623 = i?
False
Let w = 1798 - 1823. Let u(k) = 2 + 4 - 3*k - 5*k. Let i be u(4). Which is greater: w or i?
w
Suppose -3*y - y + 5218 = -3*d, -4*d - 6924 = 3*y. Is d greater than or equal to -1732?
False
Let f = 580/19 - 19292/627. Let i = -4302 - -4302. Which is greater: f or i?
i
Let p = -91/15 + 57/10. Let u = 1/6 + p. Let q be 40/(-190) - 1/(-19)*23. Is u greater than q?
False
Let p = 3302647/131 - 25211. Suppose -3 = 3*i - 0*i. Which is greater: p or i?
p
Let p be ((-48)/(2 - -2))/1*125/(-20). Is 108 bigger than p?
True
Let s(q) = -111*q**2 + 1999*q - 10. Let c be s(18). Are c and -44 equal?
False
Let p(t) = -3*t**3 - 484*t**2 - 157*t + 638. Let d be p(-161). Let y = -556/99 + -14/11. Is d less than or equal to y?
False
Let a(m) = -46 + 7*m**2 - 49 + 89 + m - 2*m**3. Let b be a(3). Which is smaller: b or 4?
4
Let u(o) = -3*o**3 - 21*o**2 - 11*o + 41. Let z be u(-6). Are z and 7/956 equal?
False
Suppose 70 = -6*r + 3*r + o, 2*r - o + 46 = 0. Suppose -43*i + 65*i + 44 = 0. Which is smaller: r or i?
r
Let c = -3 - -6. Let r = 81.3 - 99.3. Which is greater: c or r?
c
Let y = -2521 - -2526. Which is greater: y or 514/87?
514/87
Suppose 3*m - 4*o - 1212 = 0, -5*m = -5*o - 456 - 1569. Let l be m/255*(-5)/(-2)*-1. Is 43 greater than l?
True
Let g(n) = -2*n**2 + 34*n + 261. Let f be g(-9). Which is greater: -27 or f?
-27
Let s = -0.41216 + 467.41216. Is 0.1 at most as big as s?
True
Let g(k) = -23*k**2 - k - 88. Let c be g(-5). Which is greater: -3291/5 or c?
c
Suppose -136 = -15*p + 104. Let u(z) = z**2 - 13*z - 37. Let g be u(p). Suppose g*n = -42 - 46. Is -8 at most as big as n?
True
Let p(g) = g**2 - 6. Let d be p(-3). Suppose -d*l = -5*l - 2. Let f = -160 + 8483/53. Do l and f have the same value?
False
Let f = -5537 + 5630. Are 93 and f unequal?
False
Suppose -42*d = -138*d - 53*d + 196531. Is 1312 at most d?
True
Let b = -8694 - -5550. Which is smaller: 0 or b?
b
Let t = 4 - 10. Let d(p) be the third derivative of -p**6/120 - 7*p**5/60 - p**4/3 - 2*p**3 + 12*p**2 + 3*p. Let c be d(t). Which is smaller: c or -1?
-1
Let j be (17 - -19)/(5 + 914/(-184)). Which is smaller: j or 1103?
1103
Suppose 283 - 121 = 2*w. Let n be -2 - (-2508)/30 - 6/10. Is n != w?
False
Let i(v) = -2*v**3 - 19*v**2 - 9*v + 1. Let a be -2 + (-46)/6 + (-4)/(-6). Let n be i(a). Suppose n + 1 = -2*f. Which is bigger: f or -5/3?
f
Let u(s) = s**2 - 87*s - 5941. Let g be u(-45). Let k = 52 + -32. Which is bigger: g or k?
k
Let h be 1 - (2*2 + 52 + -51). Suppose w + 8 = 2*b - 2*w, 4 = w. Let k be (2/b)/(2/(-45)). Which is smaller: h or k?
k
Suppose -6*g = 349 - 397. Suppose 10*s - g*s = -2*s. Which is bigger: 2/201 or s?
2/201
Let s = 4495/4 - 49381/44. Let u = 8 + -8. Which is smaller: u or s?
u
Let o = -22 - -117. Let z = -92 + o. Let r be (2/(-34))/((-5)/(-10)). Which is greater: r or z?
z
Let n = 1204 - 3611/3. Let d = 12 - 12. Which is bigger: n or d?
n
Let x be (-336)/(-2070) - -14*(-22)/10626. Suppose 4*z - 5 = -z. Which is greater: z or x?
z
Let n = 396 - 399. Is n > 68?
False
Let y(m) = -2*m**2 + 7*m - 101. Let p be y(22). Let s = p - -8243/9. Which is smaller: 0.5 or s?
0.5
Let x = -13.8 - -17.11. Let r = 2.61 - x. Is -4 at least r?
False
Let t = -3.23 - -1.23. Let z = -0.3 - 17.7. Is z bigger than t?
False
Let y(j) = -15*j**3 + 4*j**2 - 3*j. Let z be y(1). Let m be z*(-13)/32 + -6. Suppose 3*p = -2*p. Is m less than or equal to p?
True
Let m be (-2463)/(-1638) - 24/(-6). Let v be 7/7 - (-274)/(-273). Let h = m + v. Which is greater: h or 7?
7
Let c = -30.59 + 28.59. Is c less than -55?
False
Suppose 5*y - 6 = 14. Suppose 2*u + y = -26. Suppose -a - 5 = -2*q - 0*q, -a + 5*q = -13. Which is smaller: u or a?
a
Let k(g) = 4 - 28 + 2*g - 1. Suppose 817*n = 818*n - 12. Let u be k(n). Is -5/18 at most u?
False
Let f = 0.7 - 7.7. Let w = f + 8. Let z = w - 30. Is z less than 1/3?
True
Let x = 4727 + -4846. Which is smaller: -116 or x?
x
Let s = -2929.95 + 2859. Let n = 71 + s. Is n less than 0?
False
Let k = 5605 - 3584. Which is bigger: 2024 or k?
2024
Let j = 2729/3 + -567. Is 344 at most j?
False
Let l be 1/4 - -2*(-1)/(-992). Let g = -3/16 + l. Let r = -2/163 + -481/652. Is r not equal to g?
True
Let t be (-2)/6*(99/9 - 8). Which is smaller: -63.81 or t?
-63.81
Let s(k) = 6*k + 403 - 397 - k. Let p be s(0). Do 6 and p have the same value?
True
Let a be (-24)/(-10) - ((-90)/(-35) - (-8)/(-14)). Is a equal to 312?
False
Let b = 8545193/454 + -18822. Is 1 greater than b?
True
Let v = -13 - 10. Let r = 21 + v. Let x be (-2)/8*-2*(-32)/(-6). Do x and r have different values?
True
Suppose -51 - 29 = 5*f. Let t = f + 16. Let r = 2 - t. Which is smaller: r or 5/2?
r
Let m = 63 + -68.8. Let p = -1239.2 - -1243. Let b = p + m. Which is greater: -13/3 or b?
b
Let c = 0.4 + -161.2. Let n = -138 - c. Which is greater: 1 or n?
n
Let w be (12 - -7)*(-1932)/98. Is -376 bigger than w?
False
Suppose -22*z = -18*z - 4*k, 0 = -3*z + 4*k - 2. Which is bigger: 9/16 or z?
z
Let b = -27.27 - -26.67. Are b and -4/49 equal?
False
Suppose -110 - 249 = h + 5*d, -h = 3*d + 351. Are h and -341 unequal?
True
Let u(w) = w**2 - 14*w + 39. Let r be u(3). Suppose 21*b - 900 = r*b. Which is greater: 58 or b?
b
Suppose m + 4*i - 37 = 0, 5*m + 6*i - 4*i = 131. Let w be 7/3 + -3 - 302/(-3). Suppose 3*b + 28 - w = 0. Which is bigger: b or m?
m
Suppose -46*q - 5608 = 280. Which is smaller: q or -1293/10?
-1293/10
Let s = 0.19659 + 0.00341. Which is bigger: s or -2.368?
s
Let l = -90.44 - -90.44. Which is bigger: -116.37 or l?
l
Let p = 1153516676973485/5229 - 22