 10 = -c. Let q be 4/4 + (-2)/(3 + g). Is 4/13 greater than or equal to q?
True
Let h = -265 - -268. Suppose -h*q - 31*p + 3 = -30*p, 0 = -3*q + 2*p - 6. Is 13 greater than q?
True
Let v be 2*1*(-1)/(-279). Suppose 86*x + 0*x = 11*x + 75. Which is greater: v or x?
x
Let x be (-8)/120*(-85)/8. Let g = x + -1. Which is smaller: g or 1?
g
Suppose -7*a = 9*a + 23*a. Is -0.0664 > a?
False
Let i be (-3 - (31 + -4))*(-1008)/8. Which is smaller: i or 3779?
3779
Let p be (-2)/4476*9*1/(66/(-4)). Is p > 0?
True
Suppose 7*q = 6561 - 149. Let p = -1091 + q. Which is smaller: p or -173?
p
Suppose g + 4*d + 312 = 333, -4*d + 15 = -5*g. Let h = -149 + 149.073. Is g less than or equal to h?
False
Suppose -10*w + 17*w = -12*w + 19. Is w < 183/128?
True
Suppose -9*y + 5*y - 11*y = 315. Suppose -61 = -3*l - b, 2*b + 83 = 4*l + 5. Let o = l + y. Which is bigger: o or -1/60?
-1/60
Let r = -92/3 - -29. Suppose 0 = 5*t + 4*m + 6, 4*m = 4*t + 6*m. Suppose i + 0 = w - 6, -t*i = 5*w - 9. Which is smaller: r or i?
i
Let c = -1727 + 1694. Is -27 greater than or equal to c?
True
Let f be ((-1644)/(-68089))/(3/7). Is -1 at least as big as f?
False
Let y(h) = -h**2 + 32*h - 36. Let k be y(31). Let a be (1 - k/(-2))/((-378)/56). Do a and -0.7 have different values?
True
Let p = 6 - -1. Let f = -0.177 + 29.177. Let y = f - 28. Which is smaller: p or y?
y
Let t = 326 - 534. Let s = t - -209. Is s at least as big as -34?
True
Let z = -16080.51 - -16011. Let u = 1.49 - z. Let i = -88 + u. Which is smaller: -1 or i?
i
Let a be (45/(-18))/((45/(-12))/3). Let l be -5 - (-49)/11 - (1 - a). Is 3/7 less than or equal to l?
True
Let z = 1090186/127 + -8584. Let v = z + -4483/30734. Is v not equal to 0?
True
Suppose 3*r = -3*x - 9, -7*r = -4*x - 2*r - 3. Let g(q) = q**2 + 6*q - 16. Suppose -3*i - 25 = 3*h - 4*h, i = 5*h - 13. Let w be g(i). Which is smaller: x or w?
x
Suppose -z - 9 = 2*y, -y - 10 = 5*z - 1. Which is smaller: -13/376 or z?
z
Let x = 0 + 0. Let g(c) = -7*c**2 - 289*c - 1033. Let w be g(-38). Is x greater than or equal to w?
True
Let w(t) = -869*t - 184. Let l be w(1). Is l less than -1050?
True
Let g = 6915 + -6918. Which is smaller: g or 1.89?
g
Let j = -64 - -61. Let g be (j + (-2982)/(-990))/((-32)/(-10)). Is 0 >= g?
False
Let s = 0.2578 - -65.7622. Let m = s + -66. Let i = 68 - 65. Which is greater: m or i?
i
Let p be -1140 - ((-12 - -23) + -5). Which is smaller: p or -1/3?
p
Let q(r) = -r**3 + 13*r**2 + 32*r - 7. Let y be q(16). Which is greater: -261 or y?
-261
Let k(t) = -t**2 + 9*t - 18. Let i be k(3). Suppose i = 4*q + 6*q. Let d = 3 + -2.89. Which is bigger: q or d?
d
Let u = -2654 - -76976/29. Suppose -27 = -5*t - 3*g, t + 14*g - 9*g - 23 = 0. Suppose -2*d = t*d - 5, 3*h + 1 = 4*d. Is u bigger than h?
False
Let g = 9135 + -9126.8. Is g greater than or equal to -0.056?
True
Let x = 3/5615 + -15724/2105625. Is x > -1?
True
Let z be ((-4294)/(-8))/((-48)/192). Is -2146 not equal to z?
True
Let z = -49/6 + 15/2. Let k = 0 + -23. Is z greater than k?
True
Let t = 572 + -1388. Let l be ((-188)/(-1003))/(-1) - (-96)/t. Is 1 at most l?
False
Let c(g) = 1 - 4*g**2 - 1 + 2*g**3 - 7 + 5. Let a be c(3). Let f = 968 + -954. Which is bigger: f or a?
a
Let s(g) = -g**2 + 27*g - 113. Let j be s(22). Let w(h) = -2*h**2 - 2*h - 2. Let v be w(-3). Does v = j?
False
Let m = -19.46 + 40.46. Which is smaller: -12 or m?
-12
Let r = 2285.9 + -2407. Let y = r + 121. Which is smaller: 248/7 or y?
y
Let x(r) = -2*r**2 - 2*r + 21. Let q = 32 + -37. Let f be x(q). Which is bigger: -13 or f?
-13
Let o = 1.59 + 4.51. Let k = -15.4 - -9.5. Let j = k + o. Do 2 and j have the same value?
False
Let h be (1/(-3))/((-70)/315 - (-2185)/45). Is h bigger than 0?
False
Suppose -z - 19 = -17, 0 = -5*d - z - 1392. Do -1388/5 and d have the same value?
False
Let v = 256.68 + -284. Let y = -27 - v. Which is smaller: 1 or y?
y
Suppose -5*q + 6 - 33 = 3*k, 0 = q + 5*k + 1. Suppose 3*g + 3*p + p - 35 = 0, 2*p - 20 = -2*g. Let u be 44/(-9)*12/40*g. Is q < u?
False
Let l(a) = -7*a**2 + 44*a - 5. Let v be l(6). Let j(r) = -r**3 + 6*r**2 + 9*r - 6. Let m be j(v). Does m = 5?
False
Suppose 69 - 59 = 5*a. Suppose 0 = -a*c + 8*c - 24. Suppose 0 = 3*y - c*t + 28, -4*t - 3 + 7 = 0. Is y bigger than 5/2?
False
Let s be (2*(-81)/6)/(-1). Suppose -4*r = -2*v + 24, 0 = v + 2*r - s + 19. Which is smaller: v or -1?
-1
Let w(l) = 4*l - 26. Let g(n) = -n**2 - 17*n - 18. Let j be g(-15). Suppose -22 - 50 = -j*m. Let h be w(m). Is -9/5 at least as big as h?
True
Let d be (-3)/(-30)*(-226164002)/(-8). Let w = 2827198 - d. Let c = w + -148. Which is bigger: 1 or c?
1
Let y be 10/(-4)*(20 + -28). Suppose p + 4*a = -16, 2*p + 4*a + a + y = 0. Suppose 4*z - 20 + p = 0. Which is bigger: z or -3?
z
Let r(g) = -g**3 + 4*g**2 + 2*g + 11. Let u be r(6). Do -77 and u have the same value?
False
Let j be (-4)/6 + 833/147. Suppose -5*i = j*s + 410, 4*i - 3*s = -350 - 13. Which is greater: i or -88?
i
Suppose 34 = 53*w + 1253 - 212. Let u be (-1)/(2/4*-1). Suppose -4*x - 75 = 5*t, 2*t = u*x + 28 + 14. Which is bigger: w or x?
w
Let o = -0.28801 + 0.07021. Is o smaller than -2?
False
Let l be (1138/28)/((-46)/92). Let w be (-2)/2*(-1 - 80). Let c = w + l. Which is greater: c or 5/18?
5/18
Let j be -7 + 10 + 0 + 0. Let a = -4/15817 + 158182/47451. Which is bigger: a or j?
a
Let x = -1.1 + 1.17. Let i(q) = -5*q**2 + 45*q - 3. Suppose -10*l + 98 = 8. Let h be i(l). Is x not equal to h?
True
Let i = 366 - 263. Suppose -3*z - 4*c = i, 27 - 160 = 5*z - 3*c. Let u(r) = r**2 + 12*r + 6. Let y be u(-6). Which is greater: y or z?
z
Suppose -8*v = 137 - 1577. Suppose 0 = 7*q - v - 100. Is q bigger than 39?
True
Suppose -3*v = 5*s - 794, 5*v + 316 = 2*s + 7*v. Suppose -5*k + 5*r = 355, k + 157*r = s*r - 63. Which is greater: k or -76?
k
Suppose 0 = 39*w - 45*w - 186. Let k be 20/12*(w + -2)*1. Is k greater than or equal to -50?
False
Let s = -1.3261 + 1.4663. Which is greater: 0.4 or s?
0.4
Let l = -523 + 533. Let k be ((-42)/(-3))/(l/115). Is k greater than 161?
False
Let v be (30/(-20))/(15/(-68620)). Is 6861 less than v?
True
Suppose -z - 4*z - 220 = 0. Suppose 712*b - 1560*b = -795*b + 2226. Is b greater than or equal to z?
True
Suppose -4*o + 4*u + 16 = 0, 2*o - u - 6 = 3*u. Suppose 9 = -2*s - 3*a, 3*s + 2*a = -2*s + o. Suppose 3*t = -0*h + s*h, 0 = -2*h + 4*t + 6. Is -2 != h?
True
Suppose 6*s - 3*s = 192. Let l = 4276 - 4340. Let v = s + l. Is -5/7 not equal to v?
True
Let o be (1/(-2))/((-1)/(-26)). Suppose 712*b - 5*c + 35 = 707*b, -2*b - c = 23. Which is smaller: b or o?
o
Let f = 4 - -8. Suppose 0 = 2*o + 2*o + f. Let j be (o/13)/(1 - 5/(-10)). Are 1/2 and j equal?
False
Let j be (-5 - -4)*((-1)/2)/((-9)/(-18)). Is -9/385 > j?
False
Suppose -2*y - 17 = 23. Let p(n) = 68*n**2 + 40*n - 3. Let d be p(-2). Suppose -34*z + 43*z = -d. Is z at least as big as y?
False
Let m = 39 - 55. Let k be 3/((-3)/(-3)) - m. Let v = k + -13. Which is greater: 9 or v?
9
Suppose 5*x - 10 = 45. Let r(t) = 2*t + 31. Let q(j) = 3*j**2 - 22*j - 3. Let z be q(7). Let l be r(z). Is l at least x?
True
Let d = -154 + 42. Let i be (1/(-10))/(d/(-140)). Let h(y) = -y**2 + 7*y - 7. Let f be h(6). Which is bigger: f or i?
i
Suppose -4*s = -5*s + 8. Let m be (-29)/s - (-5 + 2 + -2). Which is bigger: m or 1?
m
Let s be (-5)/(-3) + (-2)/(-6). Let f be 1 + 5/((-5)/s). Let w = -1997/40 - -397/8. Is w smaller than f?
False
Let i = -8 - -1. Let h = -11 - i. Let a = 0.012196 + 1.987804. Are h and a equal?
False
Let x(v) = 2*v**3 - 34*v**2 + 31*v + 16. Let g be x(16). Which is bigger: g or 35/134?
35/134
Let l(b) = b**3 + 2*b**2 - 3*b - 1. Let v be l(-3). Let s be v + 3/(-42)*-2*3653. Let r = s - 523. Is -3 >= r?
False
Let o = -1.043383 + -0.726617. Suppose 0 = -3*u - 2*x + 3, 4*u = u - 4*x + 3. Do o and u have the same value?
False
Suppose 5*g - 3*m = 35, 2*g + 12*m = 7*m - 17. Let c be 5*1/40*g/22. Which is greater: 0 or c?
c
Let n = 231 + -228. Suppose -14*j + 2*g - 52 = -16*j, -n*j - 5*g = -84. Which is smaller: j or 28?
j
Let k be (-144)/240*2615/(-3). Let m be k + (-2)/(-16) + (-3)/24. Is m < 2/5?
False
Suppose 6*t = 3*t - 27. Let l be 454/(-10) - t/((-45)/(-2)). Which is smaller: 0.1 or l?
l
Let s be -10 + -1452 + (-3 + 1 - -11). Is s greater than -1453?
False
Let k(a) = -a