r - 23. Let g be a(f). Let s = g - 7. Is 21/5 smaller than s?
True
Let o = 11627 - 11655. Is o >= 3/10?
False
Let g(p) = -p**2 - 33*p + 659. Let c be g(-47). Which is smaller: c or 24/53?
24/53
Let p = 2.0976 - -1.9024. Let n = -9179/45 - -204. Is p != n?
True
Let f(j) = 5*j**2 + 50*j - 136. Let h be f(3). Is -76 < h?
True
Let h(l) = l**2 + 17*l + 15. Let z be h(-16). Let y be (-403)/(-924) - (-200)/(-2100). Is y > z?
True
Let o be ((-3)/(-9))/((-28)/133). Let r = o + 4/3. Which is bigger: 75 or r?
75
Let i(u) = 362*u - 83. Let x be i(1). Which is greater: x or 1119/4?
1119/4
Suppose m - 22 = -5*o, -4*m = m + 5*o - 30. Let t(c) = -3*c + 32. Suppose 0 = -18*n + 137 + 61. Let b be t(n). Are b and m non-equal?
True
Suppose -k - 4207 = -3*u, 5*u - 6*u + 4203 = -k. Is -4199 bigger than k?
True
Let t(p) = p**2 + 49*p + 121. Let u be t(-17). Let n = 421 + u. Let x = 4/249 - 427/747. Which is smaller: n or x?
n
Suppose -13*d + 10*d + 2287 = 5*k, d = -4*k + 1824. Are 453 and k nonequal?
True
Let n = -3.349 + 4.349. Which is greater: n or 971?
971
Let u be (4/156)/((-6)/(-4)). Let b(j) = -2*j**2 - 2*j - 1. Let n(c) = -2*c**2 - 3*c. Let a(x) = -2*b(x) + 3*n(x). Let f be a(-3). Is f less than u?
True
Let c be 12848/(-46340) + (486/(-63) - -8). Which is smaller: c or -1?
-1
Let z(u) = -u - 3. Let q be z(-5). Let l = 80 + 202. Let c = 3112/11 - l. Which is smaller: c or q?
c
Let m = 75 + -47. Suppose p - m = -2*t, -3*p + 0*p = -5*t - 29. Let a be 4/p + (-86)/(-18). Is a != 5?
False
Let z be (-181952)/(-20) - (-30)/50. Let d = -9164 + z. Which is smaller: -65 or d?
d
Suppose 25 = -5*y, -18*x = -16*x + y - 43. Let o be x/30*55/(-26). Is o greater than or equal to -2?
True
Suppose 3*p + i - 30 = 5*p, -6*i - 12 = 0. Let r be 2036/(-126) + 1*(-12)/42. Which is bigger: r or p?
p
Let d = -3505 + 4904. Is 1397 bigger than d?
False
Let j = 72231/24661360 - 3/23005. Is j >= 1?
False
Suppose 2*w = 4*x - 34, 324*w - 325*w + 5*x = 44. Let d be (-1)/(-3) + 140/(-258). Which is bigger: d or w?
w
Let h = 142.75 - 138. Let i = -0.25 - h. Which is bigger: i or 10?
10
Let p be (4 + -1)/(6/4). Suppose h = -2*x + 32, 6*x - 9*x = -2*h - 55. Suppose -p*u + 3*m = 8*m - x, 5*m - 25 = 0. Are u and -0.1 equal?
False
Let t = -4 + 3.9. Let w be 11/1 + (-56561)/5053. Which is bigger: t or w?
t
Let c(y) = -y**3 - 2*y**2 + 3*y + 4. Let l be c(-4). Let a = 3885 - 3888. Let z be (-6)/(2 - ((-69)/l - a)). Which is greater: -2 or z?
-2
Let l = -7167/350 + -4/175. Let q(n) = -n**2 + 15*n - 58. Let p be q(7). Let i be (18/(-8) - p) + 83/(-4). Is l != i?
True
Let r = 4069/6 + -680. Let d = r + 1/12. Which is smaller: d or -5?
-5
Let u = -15937290/479 - -33272. Do u and 1 have the same value?
False
Let f = 0.916 + -350.216. Let i = -349 - f. Is i < -27?
False
Let b = 87 + -106. Suppose 39 = 5*c - 5*x - 1, 5*x + 16 = -3*c. Suppose q - 2*q - c = -o, 5*o = -q + 15. Which is greater: b or o?
o
Suppose -2*q - 22 = 3*k, -3*k + 8 = -5*k. Let c be 64325/(-227500) + (-2)/q. Let z = c + 1/364. Which is smaller: 1 or z?
z
Let h = -678.458 - 0.542. Let w = h - -183. Is w less than -0.1?
True
Let r be 419/87 + (5 - (-48)/(-9)). Let t = r + -705/319. Is t at most as big as 2?
False
Let z be (-2)/89*2/52. Which is greater: 1 or z?
1
Let y(j) = 10*j + 7. Let v(b) = -9*b - 8. Let g(t) = -4*v(t) - 3*y(t). Let k be g(-3). Let f(d) = -d**2 - 9*d - 12. Let z be f(k). Is z > -0.3?
True
Let m be 2 - (-7)/(14/(-948)). Let v = m + 30679/65. Suppose -158*s = -153*s - 15, -5*s + 15 = -5*x. Is v < x?
True
Let v = -1372.1576 + 0.1576. Does v = 1?
False
Let o(x) = 3*x**2 - 21*x - 802. Let l be o(35). Which is bigger: l or 2137?
l
Let v = 3432 + -3430. Which is smaller: v or -194?
-194
Let b(u) = -125*u - 108. Let c be b(-1). Is 35 <= c?
False
Let c be ((-273)/(-63))/(-4 + (-13)/(-3)). Is 83 >= c?
True
Suppose 4*t = b + 4, -2*b - 2 = t - 3*t. Let f be 969/247 - (0 + 4 + b). Does 0 = f?
False
Let z = 0.4434 + -0.4434. Is z < -0.0271?
False
Let i(l) = -2*l**2 + 3*l - 20. Let u be i(4). Let m be -21 - ((-18)/(-8) + 10/u). Let g be m/7 - -1 - (2 + -4). Is 0.11 equal to g?
False
Let o = -70507838 + 8179179803/116. Let z = o - 9335/4. Is 2/3 equal to z?
False
Suppose -18*y = -24*y + 582. Let b = y - 125. Is 2 less than b?
False
Let o = 82 + -82. Let a(z) = -3*z + 3. Let m be a(o). Is m > 4/3?
True
Suppose 999840 = 5*s + s. Let j = s + -30661897/184. Let c = -1/184 + j. Which is bigger: -1 or c?
c
Suppose 0 = -11*p + 2*p - 19*p - 23492. Is p greater than -839?
False
Let n be 388/(-16) - 9/12. Let r be (-589)/38 - (14/(-4) + -1). Do r and n have the same value?
False
Suppose 42*p = 9*p + 594. Let m be p/(-117) + 2/13. Which is greater: -9 or m?
m
Let l = -29279/18 - -1629. Let a = -13/18 + l. Which is smaller: 3 or a?
a
Let o(s) = -s**3 - 3*s**2 - s - 1. Let y be o(-3). Let m be ((-848)/18)/(-8) - ((-209)/99 - -2). Which is smaller: m or y?
y
Suppose -5*u + 34 = -81. Suppose -6*w + 25 = -u. Suppose 0 = -4*o + 20, -w*c - 4*o - 12 = -4*c. Which is smaller: c or -28/3?
-28/3
Let u(w) = -w**3 + 51*w**2 + 331*w - 97. Let y be u(-6). Suppose 0*p - 5*c = -2*p + 31, -2*c = 2*p - 52. Let z = p - 56. Are y and z equal?
False
Let j = -2180 - -1229. Which is smaller: j or 0.3?
j
Let w = -1300/7 - -22422/119. Let k be (-6 - 4/(-2))*(107 - 108). Which is greater: w or k?
k
Let r = 6569.1 - 6566. Which is smaller: -0.114 or r?
-0.114
Let t(z) = -10*z**2 - 761*z - 53. Let p be t(-76). Is 63 less than or equal to p?
False
Let n be (2 + -1 - ((-35)/(-5) - -1915)) + 2. Is n at most as big as -1918?
True
Suppose -5*z - 324 = -24. Let q = z - -61. Is q greater than or equal to 13?
False
Let y be (5 + 1)*(-11)/(88/(-12)). Suppose 0 = -y*a + 11*a - 4. Let m be 2 + -1 + 7*1/a. Which is bigger: 4 or m?
m
Let q = -1.231 - -0.051. Suppose 0 = 17*p - 3*p + 28. Is q equal to p?
False
Let b = -257.54 - -257.6. Is -871 at least b?
False
Let o(i) be the third derivative of 17*i**4/12 - 89*i**3/6 + 96*i**2. Let j be o(6). Is j bigger than 114?
True
Let u be ((-108)/(-24) - 5)*41/(-2)*-52. Which is greater: u or -535?
u
Let g = 398 + -395. Suppose -25*k + 28*k = 3*l + 216, -4*l = g*k - 251. Is k >= 75?
True
Let k = 3.3 - -15.1. Let b = k - 23.4. Which is bigger: 6 or b?
6
Suppose 3*m - 8364 = 5*g, 3*g + 6866 + 1486 = 3*m. Is 2776 > m?
False
Let s = -3867/73 + 53. Let l be (-152)/19 + 75/9. Which is bigger: s or l?
l
Let w = -2419 - -34831. Which is bigger: 32413 or w?
32413
Let p be 78/(-20) + 23/(253/99). Suppose o - 4 = 4*h + 13, 5*h = 2*o - 25. Which is bigger: p or o?
p
Let k(y) = y**2 + 13*y - 136. Let r be k(7). Suppose -g = -f - 1, -14*g + r = -2*f - 11*g. Let m = -13 + 24. Which is smaller: f or m?
f
Let b be 1540/(-45) + 28 - (-3 - (1 - -2)). Which is smaller: b or -6494?
-6494
Let d = -24 + 15. Let b be 5 + 0/3 + 2 + 1. Suppose 6*h + 154 = -b*h. Is h less than or equal to d?
True
Suppose 0*j + j = 473. Suppose -5*m - 5*h + j + 2 = 0, h + 269 = 3*m. Suppose -4*k = -12, 4*c + c + 2*k = m. Which is greater: c or 15?
c
Suppose -37181 = 50*j + 17043 - 5124. Which is bigger: j or -983?
j
Let f = -23 + -9. Let p = -28 - f. Suppose 0 = p*y - 47 - 45. Which is smaller: 22 or y?
22
Let w = 271 - 238. Suppose w*l + 648 = 21*l. Is -1 at least l?
True
Suppose -5*a - 5*v + 66 - 16 = 0, 55 = 4*a + v. Let b be (-114)/(-80) - 21/a. Which is bigger: b or -1?
b
Let d = 527 + -998. Let t = d - -491. Which is smaller: t or 1?
1
Suppose -291 = -14*d + 115. Let a = -148 - -147. Which is smaller: d or a?
a
Let i = -39 + 54. Let k be (-12)/(-8)*(3 - i/9). Suppose -k*g = -4*g. Which is smaller: g or -5/11?
-5/11
Let q = 28 + -28. Let c be 1/(-1*62/1 - q). Let h = -2537/310 + c. Is h greater than or equal to -8?
False
Suppose -244*i = -100*i + 112*i - 6120448. Which is smaller: 23907 or i?
23907
Let q = 6 + 0. Let n be (-20398)/(-682) - (-1)/11. Let l be (186/n + -6)/(2/20). Which is smaller: q or l?
l
Let l = -383 - -628. Let k be (546/35 - -4)/((-320)/(-4000)). Is l greater than or equal to k?
True
Let u be ((-25)/46)/((-25 - -23)/(-100)). Which is greater: -27 or u?
-27
Let v(m) = -16*m**2 - 647*m + 79. Let y be v(-42). Do y and -4 have different values?
True
Suppose -2710 - 1553 = 7*u. Let s be 18/(-36) + u/2. Which is greater: -303 or s?
-303
Let c = 135/143 + -2034577/21552