oes q = n?
False
Let n be (-2)/(-4) + 26/(-36). Suppose 0 = -4*g - 2*i + 18, -5*g = 3*i + 1708 - 1734. Which is greater: g or n?
g
Let t be (-142908)/23817 + (-32 + 22 - -16). Which is bigger: 1 or t?
1
Let a(r) = -5 + r**2 + 1 + 3*r + 12*r - 18. Let i be a(-16). Suppose -z + 15 = -4*z. Which is bigger: z or i?
z
Let i = -40 + 35. Let b(t) = -t**3 - t**2 + 8*t + 9. Let f be b(i). Let z be (f/15*-1)/(1/1). Do z and -6 have different values?
True
Let p = -14615 + 11665. Which is bigger: p or -2946?
-2946
Let x = 295 - 237. Let s = 44 - x. Which is smaller: s or -13?
s
Let f = 2 - -4. Let j(x) = x**2 - 17*x + 14. Let r be j(f). Let h = 43 + r. Is h equal to -6?
False
Suppose 2*z = 39 - 1. Let y = z + 10. Let c = y + -30. Is -3 at most c?
True
Let o(n) = -2*n**2 - 34*n - 71. Let f be o(-8). Which is smaller: f or 87?
f
Let d be (-1 - 10360/12)/((-4)/12). Which is smaller: 5183/2 or d?
5183/2
Let q = -12297 - -10779. Is q at least as big as -1519?
True
Let h(x) = 4*x**2 - 8*x - 4. Let m be h(-6). Let t = m - 189. Is -46 equal to t?
False
Let b = 8481 - 9563. Which is smaller: 4/3 or b?
b
Let y = -90.385 + 1.385. Which is greater: y or -10?
-10
Let b(j) = 162*j + 1463. Let g be b(-9). Let k = 9.38 + -1.48. Let y = -8 + k. Which is greater: g or y?
g
Let l = -324370600492588/48043 + 6751672471. Let i = l - 71/107. Which is smaller: 0 or i?
i
Let i = 1525 + -1435. Suppose -33 = -5*u - 133. Let x be (u/i + (-10)/(-18))*0. Is -3/58 at most as big as x?
True
Let s = 11932.2 - 11932. Is s not equal to -0.718?
True
Let v = 409103/63 - 6494. Is v at least as big as 0?
False
Let m(j) = j**3 + 21*j**2 + 38*j + 14. Let p be m(-19). Suppose -p*o + 13*o + 2 = 0. Suppose 0 = -5*i, 5*i + 0*i - 36 = -o*z. Is z at least as big as 19?
False
Let i = 2.44 - 0.21. Let x = -2.3 + i. Let s = 100 - 99. Which is greater: s or x?
s
Let z = 31648888/13257 - 10/13257. Are z and 2387 unequal?
True
Let d = -183 + 186.01. Let z = d + 0.29. Let r = z - 5.3. Which is greater: r or -1/14?
-1/14
Let r(i) = 2*i**2 + 59*i + 133. Let h be r(-29). Which is smaller: 188 or h?
h
Let n(a) = 18*a**3 - a - 1. Let v be n(-1). Suppose -19*s + 1521 - 1 = 0. Let b = s - 99. Are b and v equal?
False
Let g = -8 - 6. Suppose -43 - 101 = -3*x. Let p = x + -63. Which is smaller: g or p?
p
Let d be ((-32)/(-24))/(2/6). Let l(i) = -i**3 - 14*i**2 + 18*i - 11. Let t be l(-15). Let h be -6*(-3)/(-45) + t/(-90). Are d and h nonequal?
True
Let k(b) = 253*b + 14554. Let z be k(-57). Which is greater: 108 or z?
z
Let c(o) = o**2 - 30*o - 9. Let h be c(18). Let m be (-4)/2 - 1440/h. Which is greater: m or -1/3?
m
Let i = -30 + 29. Suppose 13 = -2*a - 3*g, 2*a + 3*g = 6*g + 5. Let v be (3 - 39/15)*(a + -8). Is i at most v?
False
Let b(z) = z**3 - 5*z**2 - 4*z + 20. Let v be b(5). Suppose v = 14*m - 599 - 815. Which is smaller: m or 100?
100
Let z(r) = r**2 - 14*r + 78. Let i(n) = 5*n**2 - 22*n - 1. Let m be i(5). Let v be z(m). Is 74 at most v?
True
Let y(s) = 45442*s + 318093. Let p be y(-7). Let d be (-184)/485 + 2/5. Is p less than d?
True
Suppose -43*a + 40*a + 6 = -5*q, -2*q - 4*a = -8. Which is smaller: -1/4406 or q?
-1/4406
Let t be (-6)/15 + 3/((-30)/(-4)). Let w = 35 + -95. Which is greater: w or t?
t
Let k(c) = 119*c - 471. Let r be k(4). Which is greater: 32/7 or r?
r
Let t be ((-134)/3)/((-10)/(-6))*5. Let o = t + 138. Suppose o = -g, -b + 35 = 5*g - 10*g. Is 11 greater than b?
False
Let v be 5/((-10)/8) - -353. Suppose -6*t + 1145 = -v. Let j be (0 - 12/t)/(-2). Are 0 and j equal?
False
Let x = 321/7 - 46. Let t be 1/(-2)*(-6)/(-4 + 5). Suppose 2*g + 5 = 4*s + 1, -t*s - 7 = -4*g. Which is smaller: x or g?
x
Let a = -8463.2 - -8504.363. Let c = -0.037 - a. Let m = 41 + c. Which is smaller: 1/17 or m?
m
Let c = 12836 - 17912. Which is smaller: -5073 or c?
c
Let k = -0.05 + -10.95. Suppose 0 = 140*w - 149*w + 1539. Let q = w + -853/5. Which is smaller: k or q?
k
Let h = 4886 - 5627. Is -744 < h?
True
Let y = -214455665031/93657182 - -18/2754623. Let l = -2290 - y. Is 0 smaller than l?
False
Suppose -3*b + 4*z = 67 + 35, 4*z = b + 42. Let i be ((-1)/(1/2))/(12/b). Suppose -7 = 4*o + 3*s, -s = 4*o - i*s. Which is smaller: -5/14 or o?
o
Let o(z) = -8 + 19 - 3*z + 10*z**2 - 8 - z. Let v be o(2). Is 35 greater than or equal to v?
True
Let w(x) = 29*x - 2987. Let t be w(103). Are t and -28/53 nonequal?
True
Suppose 3*u + 5*d = -1 + 5, 0 = d + 1. Let m be u/(-12)*8/(-106). Is m >= -1?
True
Let z = -27193 - -34866. Which is smaller: 7674 or z?
z
Let z(m) = -m**3 + 11*m**2 + 10*m. Let x be z(0). Let h = -7/123 - 31193/861. Which is smaller: x or h?
h
Let u = -12634180/57 - -221646. Let q = 3148/247 - 152/13. Let s = u - q. Are s and -8 unequal?
True
Let j(m) = m + 31. Let q be j(-25). Let n(v) = 13*v - 61. Let a be n(q). Which is greater: a or 19?
19
Suppose -3*q = -3 - 6. Suppose 0 = -2*b - q - 27. Let c = b - -14. Is c at most 1?
True
Let h = -164/4413331763 - -101913906044855729/20742659286100. Let m = h + -19653/4. Is -1 at least m?
False
Let b = 1570 + -2868. Is -1298 equal to b?
True
Let p(g) = -g**3 - 5*g**2 - 3*g + 3. Let w be p(-4). Let s be ((-85)/10 - -5)/(10/(-2)). Which is smaller: w or s?
w
Let p(l) = -6*l**2 - 297*l + 142. Let j be p(-50). Are j and 618 equal?
False
Let z be (-3 - 3/(6/(-5)))*0. Suppose y + 3*d + 13 + 246 = z, -3*d = 4*y + 1009. Which is bigger: y or -251?
y
Let a be 2*2/(-46) - -99*(-2414)/3519. Which is smaller: a or -14?
a
Suppose 4*d + 4*w - 260 = 0, 5*d + 2*w - 290 = 4*w. Suppose 6*s = s - d. Let f = -128778 - -128765. Which is smaller: s or f?
f
Let o be (8/(-3))/((-8)/(-300)*5). Let v = o - 1. Let k be (-1*6/v)/(16/(-136)). Which is smaller: -3 or k?
-3
Let p = -60.48 - -304.58. Let t = p - 255. Let f = t - -10. Which is smaller: f or -1?
-1
Let q(o) be the third derivative of -o**6/120 + 3*o**5/10 + o**4/24 + 19*o**3/6 + 1645*o**2. Let r be 18*-1*2/(-2). Let s be q(r). Which is smaller: 36 or s?
36
Let m be (0 - 5)/5 + 2. Let h be (12/(-190))/((-2)/(-30)*228/(-266)). Is h at least m?
True
Let c = -693/80 + -95/16. Let f(b) = -21*b - 78. Let k be f(-3). Which is smaller: k or c?
k
Let y = 2/787195 - -495932764/33849385. Which is bigger: 15 or y?
15
Let o(w) = -w**3 + 5*w**2 + 3*w - 25. Let p be o(4). Let a be (8 - 11) + (p - 1). Which is smaller: a or 3/76?
a
Let x be ((-132)/330 + 112/230)/(3/438). Is 13 <= x?
False
Let j = -100 + 98. Let b be 4*((-35)/j)/5. Let n be 8/b - 131/(-28). Does n = 6?
False
Let d = 0.0951 + 116.9049. Which is smaller: -16/7 or d?
-16/7
Let d = -11 - 338. Let k = d + 348.917. Are k and -0.3 equal?
False
Let h = -22343.6 - -22363. Are h and 2/39 nonequal?
True
Let s be 9 - ((-22 - -15) + 16). Is s greater than -3/8885?
True
Let u be (-5734)/29400*1 - 2/12. Let w = 1/588 + u. Is 1 >= w?
True
Let x(b) = b**3 + 29*b**2 - 30*b + 16. Let n be x(-30). Suppose 0 = -6*z + 2*z - n. Suppose 5*j - 3 = 6*j. Is z > j?
False
Let x = -620/6887 - -6/97. Let n be 6/12*0*(-8)/152. Are n and x nonequal?
True
Let z = 149 + -151. Let k be (-12)/288*-8*z/(-34). Which is greater: k or -1?
k
Let c = 172 + 181. Suppose 0 = 4*z - 67 - c. Let l = z - 178. Is -74 greater than or equal to l?
False
Suppose 64*v - 48 = 72*v. Let h be (-4)/v + (0 - (-235)/(-15)). Is h < -76/5?
False
Suppose 4*t - 6*i = -i + 38, -3*t + 46 = 5*i. Let l(c) = -c**2 + 7*c + 11. Let q = 12 + -5. Let h be l(q). Which is smaller: h or t?
h
Let j be (-2)/(-5 + 7)*(9 + -10). Which is greater: j or 1/7763?
j
Let p be 2660/110*((-2)/4*9 - -4). Which is greater: -8 or p?
-8
Let n = 26 + 178. Let q = 204.008 - n. Is 0 smaller than q?
True
Suppose -5*r + 40708 = 9*g, 3*r - 29083 = 3*g - 4633. Do 8147 and r have different values?
False
Let w = 1467 + -1639.1. Let s = 172 + w. Is s at least as big as 18/5?
False
Let v(s) = -3*s**3 + 18*s**2 - 2*s - 9. Let q be v(6). Let c be ((-7)/(q/(-12)))/2. Let u = -2 - 4. Are u and c equal?
False
Let d = -246 + 739. Suppose 2*c - 4*k + 465 = -25, 2*c + d = 5*k. Is -240 smaller than c?
True
Suppose 3*j = -5*k + 4*k - 38, 2*j + 56 = -2*k. Is k greater than -23?
False
Let g(l) = l**2 - 2*l - 6. Let j be g(-5). Suppose 0 = 9*s - 34 - j. Let q be (-9)/(-2)*s/(-42). Is 3 at most q?
False
Suppose -14*a = 3*v - 158, 3*a - 31 = 7*v - 8*v. Let k be (8/(-4))/((-2)/(-3)). Which 