*g = -c. Is x at most g?
True
Let q = -0.1 - 0.5. Let b be 269/6 + (-1)/2. Let j = b + -44. Which is bigger: j or q?
j
Let m = 128 + -74. Let b be ((-3)/(-11))/(m/4). Which is smaller: b or 0?
0
Suppose 22*d + 15 + 7 = 0. Is -2/689 >= d?
True
Let m = 621/51961 - -12/571. Which is bigger: m or 2?
2
Let t be ((-6)/(-12)*1)/(0 - -2). Is 32 <= t?
False
Suppose -2*d - 15 = -3*k, 3*d + 30 - 10 = 4*k. Suppose -272 = 2*x + 8. Let a be 77/x - 2/8. Which is greater: a or d?
d
Let t(r) = 27 + 26 - 79 + 31 - 2*r. Let k be t(-4). Is 12 greater than or equal to k?
False
Let c(i) = -i**3 + 6*i**2 + 7*i - 4. Let n be c(7). Let s be 1/n + 58*(-1)/(-8). Let o = -0.1 - -0.3. Which is smaller: o or s?
o
Let s = -1798 + 717. Is -1080 != s?
True
Suppose -2*j - 5*t + 13 = -8*t, 3*j + 9 = -5*t. Suppose 5*p + 3*x = 86, -3*x - 24 = -j*p + 2. Is 14 smaller than p?
True
Let m(a) = a**3 + 2*a**2 - a. Let c be m(-3). Let u be (2 - 2) + c/4. Let y be (-1)/(-6) - (-38)/(-12). Is y not equal to u?
True
Let t be (-30)/2*1/(-3). Suppose 24 = 13*w - 10*w. Suppose 0 = 2*a - 4*c + 4, 4*a = -w*c + 3*c + 18. Which is greater: t or a?
t
Let f be ((-28)/(-35))/(12/5 - 2). Which is smaller: -1.21 or f?
-1.21
Let g = 6.4 + -7. Let z = 6 + -3. Suppose -n + z = 2*n. Which is bigger: g or n?
n
Suppose 343 = -3*c + 4*r, 47 + 66 = -c + 2*r. Which is smaller: -1/3 or c?
c
Suppose -k = 2*a - 3, -6*a + 15 = k - a. Let x(t) be the third derivative of -t**4/12 - 7*t**3/6 - t**2. Let f be x(k). Is 3 at most f?
True
Let r be 15/(-1 - 5/(-2)). Suppose 0 = -3*p + 26 + r. Suppose 0*x + p = 4*x. Do 2 and x have different values?
True
Let j = 0.0127 - -4.0973. Let i = -0.11 + j. Is i <= -3?
False
Let d be 6/(-20)*-36*127/2. Let h = 681 - d. Suppose -b = -5*b - 16. Is b at most as big as h?
False
Suppose 36 = -4*p - 5*h, -2*p + 3*h = -p - 8. Let w = p - -7. Which is greater: 5 or w?
5
Let c(f) = -3*f**3 + 1. Let a be c(-1). Suppose -15 = -a*r + 9. Let d be (-4 - (-64)/24)/((-4)/3). Which is smaller: d or r?
d
Let b be 10*((-10)/(-4) - 2). Suppose -c + 8 = -b*c. Let i be ((-1)/3)/(-4*2/(-72)). Which is smaller: i or c?
i
Let f = 6029/9 + -675. Which is bigger: f or -5?
-5
Let s be (116/20 - 9)*5. Is 0.1 at least as big as s?
True
Let v be (-4)/8 + (-35619)/(-1356). Let f = v + -103/4. Is 0.2 >= f?
True
Let v = 4/443 + 27857/5759. Are v and 5 unequal?
True
Let a = 182 + -49. Is a <= 134?
True
Let t = -630 + 463. Which is greater: -1 or t?
-1
Suppose 10 = -2*n + 7*n. Let h(d) = d - 1. Let w be h(-2). Let g(y) = y**2 + 4*y + 7. Let o be g(w). Is o at least n?
True
Let t(a) = -8*a + 20. Let y be t(11). Which is smaller: y or -67?
y
Let v = 1.02 + -1.228. Let f = -0.128 - v. Which is bigger: f or -1?
f
Let s be (3/100)/(78/(-1105)). Let x = -1/40 - s. Which is smaller: x or -1?
-1
Let c = 143 + -141. Is c not equal to 32/11?
True
Let f(z) = -1 - z**3 - 10*z**3 + 18*z**2 - 17*z**2. Let j = 4 + -5. Let m be f(j). Which is smaller: 2/5 or m?
2/5
Let n = -109 + 177. Is n not equal to 69?
True
Let l(o) = -o**3 + 16*o**2 + 13*o - 19. Let v be l(16). Is v at least as big as 188?
True
Let x be ((-6)/4)/((-1)/2). Suppose 3*v = x*u + 32 - 8, u + 14 = 2*v. Which is bigger: v or 4?
v
Suppose -95*z = -104*z. Is -1/33 equal to z?
False
Let y be (-1)/7 - (-165)/(-168). Is y at most as big as 11/6?
True
Let t = -36.611 + 0.611. Which is greater: t or 6?
6
Let a be ((-72)/(-30))/(1050/(-309)). Let s = a - 1/125. Suppose h - 5*g = 19, h + 2*g + 0 = -9. Is h <= s?
True
Let o(w) be the first derivative of w**4/4 - 7*w**3/3 - 7*w**2/2 - 14*w - 7. Let f be o(8). Which is smaller: -8 or f?
-8
Let y = 39 - 24. Suppose -x - k = 14, 2*k - 5*k = -y. Do -20 and x have different values?
True
Suppose 5*d - 4*z + 13 = 2, z - 5 = 2*d. Let n = 2 + d. Let k be (66/26 + -3)/((-10)/(-10)). Is n less than k?
True
Let p be 8 - -1 - (-87 + 100). Is 54 != p?
True
Let o be (-36)/(-2) + (1 - 2). Suppose -3 = 3*y + 12. Let s(d) = -6*d - 12. Let g be s(y). Which is bigger: o or g?
g
Let a(q) = 92*q + 963. Let t be a(-11). Suppose 4*n - 49 = 5*n. Are n and t non-equal?
False
Let u(a) = -a**2 - 5*a - 6. Let v be u(-6). Let b = v - -11. Let g be (b/(-2))/(3/(-84)). Which is greater: g or -15?
g
Let g(b) = b**3 + 3*b**2 + 4*b + 14. Let j be g(0). Are j and 21 nonequal?
True
Let t = -1.1 + 0.1. Let s = 50 + -29. Suppose 0 = -4*k - 7 - s. Is t less than k?
False
Let o(n) = 21*n - 294. Let r be o(12). Does r = -62?
False
Let t be (3 + (-93)/(-6))/2. Let j = t - 431/44. Which is greater: j or 0?
0
Let b(k) = -k**3 + 4*k**2 - 6*k + 6. Let x be b(4). Let w be 33*-2*3/x. Suppose -w*v - 70 = -6*v. Do -14 and v have the same value?
True
Let b(x) = x**3 - x**2 + x - 1. Let h be b(0). Suppose -4 = -4*v, -2*k - 2*v + 5 + 1 = 0. Let q be k/7 + 84/49. Which is smaller: q or h?
h
Let b = 19.06 + -21. Which is bigger: b or 2/3?
2/3
Let v be (1/(-50))/(111/481). Is v at most -1?
False
Let r = 11.93 + -10.8. Let j = -1.18 + r. Let u = 0 + 0. Do u and j have the same value?
False
Let z be (2 + -48)/2 - (-8)/(-4). Let q be (z/(-20) + -1)/((-46)/(-24)). Which is smaller: 0 or q?
0
Let x = 795 + -1203. Which is bigger: -410 or x?
x
Let t(n) = 2*n + 73. Let v be t(-32). Suppose -r - 8 = 7*q - 2*q, 0 = 5*r + 4*q + 19. Let h be r/v - (-8)/(-6). Does 1 = h?
False
Let a be (2/4)/((-16)/(-128)). Let m be ((-48)/a)/(-3) + -3. Suppose -5*y + s + 1 = -m, 3*s = 5*y - 6. Which is smaller: y or -1/5?
-1/5
Let o be ((-4)/36)/((-4)/(-8)*-1). Is o equal to -2?
False
Let x = 443 + -19933/45. Let w(r) = 3*r - 13. Let f be w(4). Is x less than f?
False
Let n = -27 + 71. Let u = n - 11. Is u > -1/2?
True
Let l = -21 - -17. Let i be (-2)/l*-2*2/12. Which is greater: -1 or i?
i
Suppose 0*p = -2*p - 18. Let u be (2/(-3) + 73/(-3))/1. Let c(j) = -j**3 - 24*j**2 + 24*j - 35. Let w be c(u). Is p greater than or equal to w?
True
Suppose 0 = -2*k + 2*b + 142, 0 = -5*k + 3*b + 127 + 218. Which is smaller: 65 or k?
65
Let a = 63 + -67. Let l be -3 - (a + 44/16). Is l < 0.1?
True
Let l = 11.0707 + -0.0707. Let y be 0 - (-3)/(-30)*7. Let w = y + 1/5. Which is greater: l or w?
l
Let f(r) = 2*r**3 + 7*r**2 + r - 3. Let m be f(-3). Which is bigger: -1 or m?
m
Suppose 20 = -4*z - w - 3*w, z - 10 = 2*w. Suppose 4*b - 8*b + 12 = 0. Suppose 4*q - 8 = 4*t, -b*t = 2*q - t. Which is bigger: q or z?
q
Suppose 0 = 15*f + 6*f - 5481. Is 263 at least as big as f?
True
Let x(g) = -g**3 + 7*g**2 - 6*g + 4. Let j be x(6). Suppose -9 = -4*i + 2*w + 23, -j*i + 5*w + 44 = 0. Let o be ((-2)/i)/(1/(-9)). Is 3 less than or equal to o?
True
Let h = 12 + -5. Let f = h + -6. Suppose -2*y = -4*t + t - 6, y - 1 = t. Is y greater than f?
False
Let q = -35 + 6. Let x = 42 + q. Let j = x - 14. Is j greater than or equal to 3/2?
False
Let a be 15/235*-1*1. Let p be (7 + 0 + -7)/(-4). Is p > a?
True
Suppose 0 = 3*u - 5*f + 10, -5*u - f - 2 = -2*f. Let n be u/(-2) - (-1 - 1). Suppose -n*m = d - 5*d - 4, 0 = -4*d + m. Do -0.2 and d have different values?
True
Let x = 0.37 - 0.76. Let d = x + 0.23. Which is smaller: 1 or d?
d
Let y be 3/7 - -4*(-47)/308. Which is smaller: y or -258?
-258
Let s be 3/((-3)/2)*-2. Suppose -j + 1 = 3*x, 4*x + 1 - 5 = -s*j. Which is bigger: -4/21 or x?
x
Let n be 2/(-9) + (-6 - (-5560)/882). Which is bigger: 1 or n?
1
Suppose -24 = m + 5*m. Let t be 2*3*m/24. Which is smaller: 0 or t?
t
Let q = -337 - -281. Is q < -58?
False
Let y = 85 + -88. Are y and 20 non-equal?
True
Let d be (-18)/3*(4/(-3))/(-4). Is 2/5 < d?
False
Let n be ((-119)/21 + 3)/58. Which is greater: -1 or n?
n
Let z = 0.33 - -0.07. Let r be (5 + 21/14*-3)*-4. Which is smaller: z or r?
r
Let a be (1 - 0)*(-3 - -2). Let b be (-1)/(-9) - 44/99. Is b >= a?
True
Let x = -18 - -34. Let d be x/80 + (-52)/210. Let a = 0 + 0. Which is bigger: d or a?
a
Suppose -c - 5 = -n - 2*n, 4*c + 20 = 3*n. Let p be c/(-3)*21/(-7). Is -22/5 bigger than p?
True
Let g = 166 + -223. Which is bigger: -59 or g?
g
Let f = 0.3 - 0.1. Let a = f - 0.1. Let o = 0.07 - -0.93. Which is bigger: o or a?
o
Let u = -1.641 + 1.121. Which is smaller: u or 4?
u
Suppose s + 16 - 18 = 0. Let d be (2 - 2)*-1 + -5 + s. Is -20/13 > d?
True
Let p = -0.1101 - 22.8899. Is p greater than -8?
False
Let d = -4.8 + -1.2. Let u = -13 - d. Let b = -0.2 - -1.2. Are b and u unequal?
True
Suppose 3*a 