?
False
Let y be 5*21/15680*-7. Let q be -2*(-4 + 2)/(-4). Which is bigger: y or q?
y
Let c = -2.08 - -0.08. Let x = -5.2 - -17.3. Let l = x + -12. Is c at most as big as l?
True
Let s be 3/14 + (-6)/(-21). Let t(n) = n**3 + n**2 - 3*n + 1. Let k be t(-3). Let w(c) = c + 8. Let m be w(k). Which is bigger: m or s?
s
Suppose 34*x - 18*x = -16. Do -4/187 and x have the same value?
False
Let h(d) = 2*d**3 + 9*d**2 + 5*d + 2. Let m be h(-4). Suppose 4*y - 14 = 10. Which is bigger: y or m?
y
Let p(r) = -71*r - 479. Let l be p(-7). Which is smaller: 56/3 or l?
l
Let z be (2 - 1 - 0) + -1. Let f(x) = 2*x - 9. Let k be ((12/(-14))/(-1))/((-7)/(-49)). Let i be f(k). Which is bigger: z or i?
i
Let o = -3 - -2. Let c be ((-6)/(-4))/(22/528). Let v = c - 35. Which is greater: v or o?
v
Let v(c) = 6*c**3 - 4*c**2 - 2*c + 2. Let a be v(-2). Which is bigger: -59 or a?
a
Let c = -922 - -756. Is -166 equal to c?
True
Suppose -h - 329 = -5*l - 97, -679 = 3*h + 2*l. Let k = h - -371. Let j be (-4)/(-18) + (-1256)/k. Is -10 less than or equal to j?
True
Let h be (-9)/(189/(-14))*-6. Which is smaller: -27/7 or h?
h
Let h be (4 - (9 - 3)) + -3. Suppose -4*p + 2*p = -4*w - 20, -4*p + 15 = -3*w. Is h at most w?
True
Let l = -336 + 320. Which is greater: -13 or l?
-13
Let h = 858 + -850. Which is bigger: -9 or h?
h
Suppose -5*b - 62 = 658. Are b and 0 non-equal?
True
Let w = 4.787 - 4.737. Let r = 13/9 + -5/3. Is r at least w?
False
Let d be -1 + 2 + ((-4144)/(-1000) - 5). Is d not equal to -1?
True
Let y = -15 - -149/9. Let c = -28 + 30. Is c at most y?
False
Let t be (-1)/2*(-6)/(-9)*-21. Let j = t - 8. Which is smaller: j or 4/39?
j
Let r = -12 - -15. Suppose -y - 2*v = 37, -3*y = -0*v - r*v + 138. Which is smaller: y or -42?
y
Let p = 99 + -98. Which is smaller: 11/19 or p?
11/19
Let u(h) = -h**2 - 18*h - 17. Let b be u(-16). Suppose 2 = 5*v - x, 2*v + b = 5*v + 4*x. Which is smaller: v or 2/3?
2/3
Let v = -55.2 + 49.4. Which is bigger: v or -0.4?
-0.4
Let t(c) = -34*c + 2*c**3 - 7*c**2 - 3*c**3 + 12 + 30*c. Let u be t(-6). Do u and -1/3 have the same value?
False
Let y = 31132/13 + -2398. Are y and -4 unequal?
True
Let x be (-1)/(-7) - 33174/(-126). Let t = x - 263. Which is bigger: -1/5 or t?
t
Let z = 29 - 132/5. Let u be (4/3)/((-28)/(-84)). Is u bigger than z?
True
Let p be -2 + (-7)/(-14) + 6/12. Is p bigger than 926?
False
Let r(y) = -y - 5. Let m be r(-6). Let o be (0 + m)/((-2)/(-2)). Suppose -o = h - 0. Is 2 at least as big as h?
True
Let h(c) = -6*c + 4. Let j be h(0). Suppose -5*r + j*p - 35 = 0, 3*p = 2*r + 4*p + 14. Suppose -2*z - 4*m = 16 + 6, 4*m = -4. Are z and r non-equal?
True
Let a = 880 - 901. Suppose 6*w + 15 = 2*k + w, 3*w + 9 = 4*k. Which is bigger: a or k?
k
Let h = -7 - -5. Let y(t) = -t**3 - t**2 + 3*t + 3. Let b be y(h). Let r be (9/(-26))/((-18)/(-24)). Is b < r?
False
Let s be 78/(-4)*(-84)/63. Which is bigger: s or -12?
s
Let s(d) = -2*d**3 - 29*d**2 - 2*d - 3. Let k be s(-14). Do -169 and k have different values?
True
Let o be (3/126)/(2/(-40)). Let h = o - -4/21. Let n = 0 - 1. Is h at most n?
False
Let b(y) = 89*y**3 + 6*y**2 - 11*y + 5. Let x be b(1). Are x and 91 non-equal?
True
Let q(w) = -2*w**3 + 19*w**2 - 11*w + 21. Let o be q(9). Let s be (-32)/60 - 4*o/18. Which is smaller: s or 0?
s
Let c(b) = b**3 - 13*b**2 - 14*b - 9. Let t be c(14). Suppose -30 = 3*l - 0. Which is smaller: l or t?
l
Suppose 2*w + 2*a + 5 - 7 = 0, 5*w - 4*a + 22 = 0. Let i be 1/w + (-2)/(-20). Let p = 3523/9352 + -2/1169. Which is bigger: p or i?
p
Let j = 10455541/499 - 20953. Which is smaller: -1 or j?
-1
Suppose 3 + 6 = -f + 3*g, 2*g = 2*f + 2. Let j be (-2)/8 - f/132. Suppose 5*m + 12 = 27, o = -2*m + 5. Which is greater: j or o?
j
Let l = -67/9 - -13574/1827. Which is bigger: l or 1?
1
Let m be (11/(-3))/((-4)/12). Suppose 3*k + 2*u - 338 = 0, -2*k - 34 = -u - 250. Let c be ((-8)/10)/(m/k). Are c and -8 non-equal?
False
Suppose 0 = 7*u - 6*u + 12. Let o be (10/8)/((-1)/8). Are u and o nonequal?
True
Let z be 172/(-24)*(-2 - -4). Let s be ((-11)/((-22)/60))/(-2). Is s less than z?
True
Let f(n) = -n**2 - 4*n + 283. Let y be f(16). Which is greater: -31 or y?
-31
Let q be (-3)/((-6)/26) + 2. Let c(l) = l**2 + 15*l - 26. Let s be c(-16). Let h be q/s*2/(-24). Is h >= -1?
True
Let w = -718 - -671. Is -139/3 >= w?
True
Let r = 17.9812 + 0.9748. Let z = 0.044 + r. Do z and 1 have the same value?
False
Let x be ((-3)/(-3) + (4 - 5))/1. Which is smaller: x or -11/173?
-11/173
Let a = -16 - -15.7. Let i = -23 + 22.9. Which is smaller: i or a?
a
Suppose 0 = -6*n + 3*n - 843. Do n and 0.1 have different values?
True
Suppose 15*o - 12 = 12*o. Let d be o/20 - 2/10. Which is bigger: -2/11 or d?
d
Let h = 1997/3 - 665. Is -0.041 smaller than h?
True
Let q(r) = r**3 - 8*r**2 - 10*r + 8. Let x be q(9). Let n be -74*(x + 4/8). Let y = -263/7 + n. Is y >= 0.4?
False
Let d = 11 + -7. Suppose 3 + 4 = -h - d*s, -2*s = 4*h - 14. Which is greater: 3 or h?
h
Let d = -29 - -77. Suppose -5*r + 2 = 2*o - 2, 2*o + 16 = 5*r. Suppose -3*i + 34 = r*g, 5*i = 4*g - 3*g + d. Are 10 and i nonequal?
False
Let m(y) = 3*y**2 + 7*y**2 + 9 - 7*y - 10*y**2 + y**2. Let h be m(6). Suppose -3 = i - 4, -3*x + h*i + 3 = 0. Which is greater: 6 or x?
6
Suppose -3*r + 5 = -4. Suppose -r*g + 4*g - 2 = 0. Which is greater: 14 or g?
14
Suppose 10 - 2 = 4*y. Suppose 4*z + 24 = 5*s, y*s = -0*z + 2*z + 10. Which is greater: z or -4/31?
-4/31
Let o(k) = -8*k**3 - 4*k**2 + 5. Let y(z) = 15*z**3 + 7*z**2 - 9. Let w(i) = -7*o(i) - 4*y(i). Let n be w(1). Let m = -301 - -300.7. Are n and m unequal?
True
Let s = -0.9 + -0.21. Let d = s - -0.11. Is -74 at least d?
False
Let n(w) = -4*w**2 + w - 2. Let z be n(2). Let q be z/88 + 32/55. Which is smaller: 5 or q?
q
Let k be -5*(-10)/(-5)*-1. Let b = k - 45. Which is bigger: b or 1?
1
Let z = -9095/16112 - -2/1007. Which is smaller: z or 0?
z
Suppose -2*q = -g - 7, 31 = 5*q + g + g. Suppose 0 = 2*r + q - 3. Let l be -1 - (-1 - -2)*r. Is -1/8 at most l?
True
Suppose 5*s - 10 = q, -5 - 1 = -3*q + 3*s. Let m = q - 3. Suppose 2*w = 4*w + k - m, 4*k - 16 = 0. Which is smaller: w or 2?
w
Let b(m) = -2*m + 4. Let q be b(2). Suppose q = 3*g - 12*g - 9. Which is smaller: g or 1/135?
g
Suppose 0 = -l - 2*i + 3, 4*l + 3*i - 5*i - 42 = 0. Which is smaller: 17/2 or l?
17/2
Suppose -14*h - 7 - 21 = 0. Do -4 and h have the same value?
False
Let l = -0.041 + 0.093. Let z = l - -1.948. Is z smaller than -9?
False
Suppose 5*b + 3*u = 57, -3*b + 2*u = -22 + 3. Is b < 10?
True
Let s(w) be the third derivative of w**5/60 + 7*w**4/24 - w**3/3 + 3*w**2. Let o be s(-8). Suppose -r = o - 1. Which is bigger: -2 or r?
-2
Let l = -100 - -54. Let a = 58.6 + l. Let q = 13 - a. Is -1/3 at most q?
True
Let x be (5/50)/(35/(-131740)). Is x greater than -376?
False
Let p = -240 + 9356/39. Which is smaller: p or 0?
p
Let o be (-9)/(-18)*-24 - 7. Which is smaller: -17 or o?
o
Let y = 1.4 - 1.4. Let q = 7 - y. Let m = -6 + q. Which is bigger: 1/4 or m?
m
Suppose -4*y + 15 = 10*h - 7*h, -5*y - 33 = -2*h. Let b = 20 + -10. Is h >= b?
False
Let d = 1 - 6. Let h be ((-2)/(-10) + -3)*d. Suppose 0 = 114*k - 113*k - 15. Is h less than or equal to k?
True
Let k = -0.1112 + 162.1112. Is -3 bigger than k?
False
Let g be 6/11*(-737)/(-134). Let p be (-8)/33*(-9)/1. Which is smaller: g or p?
p
Let w be 172/18 + -8 - (-4)/(-18). Is 1 at most as big as w?
True
Let l = -1008 + 1008. Do 75 and l have the same value?
False
Let z = 4 + -9. Suppose -1184*a + 1173*a + 11 = 0. Is a != z?
True
Let i = 10447/90214 - -1/2098. Let a = i - 351/2279. Is a at least as big as 0?
False
Let y = -474 + 929/2. Is y at most as big as -9?
True
Let l be (-24)/(-9)*(-6)/4 + -1. Which is smaller: l or -16/3?
-16/3
Let x = -3.75 - 12.25. Let j = 1 - 0.99. Let i = -0.11 + j. Is i < x?
False
Let g = -2037 + 2037.2. Which is bigger: g or 560?
560
Let q = -366 - -366. Is -1/759 bigger than q?
False
Let r be 94/8 + (-18)/(-72). Suppose 9*y = 10*y - r. Which is smaller: 6 or y?
6
Let k = 0.6 + -1.6. Let q = 1.5 + k. Let y = q - 7.5. Is y < -1?
True
Suppose -2*c + 6*b - 5*b = -3, -c + 2*b + 9 = 0. Let n be (-3)/2 - 2/4. Let a = -35/18 - n. Is a smaller than c?
False
Suppose 0*r - r = -30. Let n = 31 - r. Is n bigger than -24?
True
Let s = -0.