 big as 3276/11?
True
Let r = 1027 + -957.7. Let y = r - 69.2. Is -333 at least as big as y?
False
Let i = -57 + 61. Suppose i*n + 2*j + 0*j = 16, 8 = 2*n - 5*j. Suppose -5*a = 3*q - 7*q, 0 = -n*q. Which is smaller: a or 4/35?
a
Let f be 372/(-248)*1/180. Is 20 at least f?
True
Let a(f) = 2*f**3 - 9*f**2 - 27*f + 217. Let q be a(7). Let p = q + -274. Which is greater: -26 or p?
p
Suppose 4*z - 4*v + 104 = 0, -v + 138 = -3*z - 2*z. Suppose -5*i = 4*k - 5, 59*k = 55*k. Let m be i/4 + z/48. Which is smaller: 0 or m?
m
Let o = -4400 - -4402. Is 71/24 at least as big as o?
True
Let m = -21225 - -1591937/75. Is 1 < m?
False
Let k = 359 - 11130/31. Let a be (-87)/(-15) + 4*3/60. Let x be a/(-16) - 65/104. Is x > k?
False
Let z = -412 - -207. Suppose n = -s - 203, -4*n + 819 = -8*n + 3*s. Which is bigger: n or z?
n
Let z = 16 - 14. Let c(q) = -11*q - 24*q**2 + 10*q**2 + 4*q - 2 + 18*q**z. Let y be c(2). Is y greater than -1/2?
True
Let i = -23 - -61. Suppose 9*h - 8*h - i = 0. Let j(l) = l**3 + 20*l**2 - 2*l - 1. Let o be j(-20). Which is greater: o or h?
o
Suppose -89*b = -36*b. Let r = 14517/445 + -163/5. Is r greater than or equal to b?
True
Suppose 5*p = 4*f - 2989, 146*p + 1794 = 143*p + 3*f. Is -599 greater than p?
False
Let t = -33476222/2115 - -15828. Let d = 247677820946/490504455 + -2390296/4733. Let q = d - t. Is q < -1?
False
Let f(o) = 5*o - 35. Let w be f(15). Let i be w/140 - 66/(-14). Suppose -6 = -i*c + 24. Is 4 != c?
True
Suppose 5*i - 3*c = 270, 3*i - 2*c - 133 - 29 = 0. Suppose 2*x - 1048 = 2*w, 4*w - 37*x = -39*x - 2120. Let s = w + 583. Is s at least i?
True
Suppose -31*n = -36*n, 668 = -2*d - 2*n. Which is smaller: -329 or d?
d
Let u be ((-28)/(-6) - 4)*1*3. Let j be (-1*19/u)/((-6)/48). Suppose 12 + j = 2*f. Do f and 45 have the same value?
False
Let l(r) = -3*r**2 - r + 1. Let m be l(6). Let i = m + 109. Let a = 12 - 18. Which is smaller: a or i?
a
Let k(i) = -i**3 + 8*i**2 - 11*i - 25. Let s be k(-14). Is s not equal to 4442?
True
Suppose 0*x = 2*x + r, 0 = 2*x - r - 4. Let v be x/((3 + -2)*-1) - 135. Let y = 1229/9 + v. Which is greater: y or 2?
2
Let a be 5926/2021 + 44/(-11). Let l = a - -48/47. Suppose 0 = q + 3*r - 14, -4*q + 3*r + r - 24 = 0. Is l smaller than q?
False
Let t = 1290 - 1275.94. Let q = t + -13. Let h = -0.96 + q. Do h and -9/2 have the same value?
False
Suppose 20*d = 21*d - 57. Suppose 18*n - d = -n. Is n less than or equal to 26/9?
False
Let u = 101 - 99. Suppose -u*y - 64 = -y. Is -65 < y?
True
Let l be ((-30)/(-7))/((-268)/(-1876)). Is l greater than or equal to 607/20?
False
Let a = 0.74 - 0.791. Let o = a - 58.949. Which is bigger: 0 or o?
0
Let q = -105.96 + 19.06. Let j = -51 + 138. Let i = q + j. Do i and -3/10 have the same value?
False
Let g(p) = p + 12. Let o be g(-11). Let n = 52364/33 + -1591. Let q = -11/3 - n. Is o equal to q?
False
Suppose -9*a + 5 = -14*a. Let j be a/(-1)*-2*81/(-42). Which is bigger: 5 or j?
5
Let j(z) be the first derivative of z**4/4 - 17*z**3/3 + 25*z**2 + 8*z - 89. Let n be j(13). Which is smaller: n or -10?
n
Let s = -0.29 + 2.09. Let d = s + 2.2. Let n = -2 + d. Is 0.1 equal to n?
False
Let g be ((-8)/2388)/(-20*((-28)/(-24) - 1)). Which is bigger: g or -1?
g
Let c be (-8)/(-116) + (-984)/(-29). Suppose -c = 7*q + 64. Which is smaller: q or -18?
-18
Let s = -0.0843 - -18.1843. Let v = -20.5 + s. Which is greater: 0.05 or v?
0.05
Let k = -5/44143 - -129011/359544735. Which is smaller: 1 or k?
k
Let o = 675/4 - 270667/1604. Let h = -731 - -735. Suppose 2*g = m + h, 5*m + 10 = 7*m + 5*g. Is m at most as big as o?
True
Let w = 2 + -3. Let f be 1184/(-126) + 2/7 + 268 + -259. Is f < w?
False
Let h = 292001/2 - 441005/3. Is -1001 at most h?
False
Suppose 20*w + 4*k + 70 = 21*w, -3*k = 15. Suppose 4*x + 13 = -0*x + 5*u, -5*x - 5*u = w. Is -7 at most as big as x?
True
Let w = -7586/455 + 422/35. Let q(h) = -2*h**3 + 4*h**2 - 4*h + 2. Let d be 6/9 + (-4)/(-3). Let l be q(d). Which is bigger: l or w?
w
Let f = 89902781/1888 - 47618. Is f at most as big as 1?
True
Let w = -468 - -755. Let g = w + -301. Is -4 greater than g?
True
Let w = -1319 + 1304. Which is smaller: w or 37?
w
Let q = 5392 + -5392. Which is bigger: q or 4/123?
4/123
Suppose -9*r + 6*r = -4*f - 20, 2*f = r - 8. Let k be 13/24 + (r/16 - 1). Is k at least as big as -1?
True
Let p(b) = -b**3 + 5*b**2 - 7*b - 6. Let c be p(7). Let u be -4 + -3*(-350)/(-7). Which is bigger: c or u?
c
Let f be (3 - (-16)/(-6))/((-15)/(-135)). Suppose -4*a - 979 + 60 = 3*j, 0 = f*j - 9. Which is greater: a or -231?
-231
Let a = -3 + 4. Let u = 43544/25 - 1742. Let f = -228/325 - u. Is f at most a?
True
Suppose 12 = 50*g - 47*g. Suppose 0 = -2*r + 5*a - 0 - 1, -2*a = 3*r - 27. Which is smaller: r or g?
g
Let o be (96/(-53248)*13)/(3/12). Suppose 2*s = -z + 5*s + 1, -5*z + 24 = 4*s. Let y be 2/z*0/(-2). Is y less than o?
False
Let g = -35 - -73. Let y = -46 + g. Is -2 < y?
False
Let p be ((-525)/(-30) + -16)*28418/(-18). Let u = -2374 - p. Is -2/3 >= u?
True
Let w = 4932 - 4890. Which is bigger: 54 or w?
54
Let z(d) = -d - 11. Let u be z(-13). Let h be -1*(2 + -1) + -1. Let f be (-7)/(12/8*h). Is f not equal to u?
True
Let k be (-22056)/11026 + -15 + (-374)/(-22). Which is bigger: 1 or k?
1
Let z be (-7452)/432*(-472)/6 + (-12)/2. Which is bigger: 1356 or z?
1356
Let p be 6043/(-24)*2/574. Let w = p - -2/861. Which is bigger: 5 or w?
5
Suppose 14*f - 4 = 10*f. Let t be (-64)/(-28) - (-10)/(f + -3). Which is bigger: -3 or t?
t
Let o = -65.22 + 66.22. Is -438 less than o?
True
Suppose -5*l - 350*a + 1436 = -349*a, -5*l + a = -1434. Which is bigger: l or -5?
l
Let q be (12/(-40)*-5)/((-12)/(-280)). Suppose 8*i - 3*i - q = 0. Which is bigger: i or 33/4?
33/4
Let a = 101559/1102 + -1752/19. Which is greater: a or 1?
1
Let z(y) = y**3 - 5*y**2 - 6*y - 4. Let t be z(8). Suppose -f + t = 655. Let w be f/1070 - 3/(-6). Which is smaller: -1 or w?
-1
Let f be ((32/6)/(28/42))/(2/109). Which is smaller: f or 438?
f
Suppose -27 = -3*o - 4*s + 13, 5*o + 2*s = 62. Let y be (39/o)/(7/28). Does 13 = y?
True
Suppose -7*i = -2*i - 65. Let b(g) = 37 - g**3 - 26 + 12*g - 32*g**2 + 44*g**2. Let k be b(i). Is k greater than or equal to -6/7?
False
Let u be (-5 - 3)*(-1 - 1). Let x = 15 - u. Let q be (7 - (-512)/(-72))*1/11. Does q = x?
False
Let c = 24034 + -14396360/599. Let i = -258738/2995 - c. Let s = i - -86. Does -1 = s?
False
Let p(z) = z**2 - 159*z + 5658. Let o be p(53). Which is greater: o or -3?
o
Suppose -r - 3*o - 1 = -2, -5*o = 5. Let u be (-6)/(-20)*4 - (-1)/(-5). Let x be (-4 + u - -6)/1. Which is smaller: x or r?
x
Let x be (27 + 1863)/(6*(-34)/8). Which is greater: x or -74?
-74
Let a(k) = k**2 - 18*k + 73. Let y be a(6). Let v(q) = -2*q + 2. Let z be v(y). Is -1/14 <= z?
True
Suppose -k = -18*i + 1266, -6*i + 3*i = -5*k - 5895. Which is smaller: -1177 or k?
-1177
Let s = 23623 - 543217/23. Let z = 10686/2185 - s. Let r = -0.9 - -1. Which is smaller: z or r?
z
Suppose 21*y - 19*y = 3*h - 5, -4*h = -4*y. Suppose -h = 2*v + 63. Is -33 < v?
False
Let j be 29/(-6) + (-8)/48 + 1 + 1469. Is 1464 greater than j?
False
Suppose -878*p + 380 = -888*p. Is p bigger than -196/5?
True
Let r = -1143/479332 - -7/3604. Is -1 at most as big as r?
True
Suppose -4*b + 2987 = 5*z - 2418, 15 = -3*b. Let o = z - 1103. Suppose 62 = -4*m - 30. Which is greater: m or o?
o
Suppose -5*g - 21*n = -25*n - 48, 4*g - 26 = -3*n. Let u be (g/(-7))/((-10)/275*5). Which is bigger: 7 or u?
7
Let u(z) = -9*z**3 - 10*z**2 + 8*z - 18. Let d be u(7). Which is smaller: d or -3538?
d
Suppose -4*h = -5*t - 6640, t + 6640 = -4*t - 3*h. Let v = 35870/27 + t. Let b = 29/27 - v. Is b bigger than 2?
False
Let c = 6/1279 - -1593/478346. Are c and 1 equal?
False
Let v = 8672/25 + -347. Let l be 7 + (29 + -28)*(-4 + -1). Suppose 3*r + h = -6, 0 = -43*r + 39*r + l*h + 2. Do v and r have the same value?
False
Let f(n) = 4*n**3 + 140*n**2 - 38*n + 42. Let i be f(-36). Which is smaller: -3775 or i?
-3775
Suppose -14*b = -63 - 91. Suppose 9*x + 84 = b*x. Do 45 and x have the same value?
False
Let b = 818 + -1169. Let a = b - -332. Which is smaller: a or -2?
a
Suppose 0 = 8*k + 45 - 53. Suppose 0 = 5*a - 4*d + k, 20*a - 22*a + 4*d = -2. Is a less than 1/275?
True
Let g(s) = 57*s**2 + 181*s