 = s + 2*m, 0 = s - 2*m - 1. Let j be s/(-4) + (-141)/(-12). Suppose -4*x + 18 = -34. Are x and j nonequal?
True
Let y be -2 + (2 - (-6 + 3)). Let z be (-2)/(y/(-3) - 1). Is 12/11 >= z?
True
Let v(w) be the first derivative of -w**4/4 + 5*w**3/3 - 5*w**2/2 + 12*w + 8. Let s be v(5). Is s at most -12?
True
Let h(p) = -p**3 + 3*p**2 + 14*p - 9. Let x be h(-4). Is x < 47?
False
Let j(n) = 2*n + 18. Let o be j(-7). Let p = o - 0. Let f(y) = -y**3 - 3*y**2 - 2*y + 1. Let s be f(-2). Which is bigger: s or p?
p
Let f = -17 + 14. Let z = -167559969/25283279 - 4/157039. Let g = z + 47/7. Are g and f non-equal?
True
Suppose -3*z + 5*i = -31, -5*z - i + 3*i = -39. Suppose 6 = x + z. Which is bigger: 0.018 or x?
0.018
Let t be 4*((-3)/6 - (-942)/192). Which is bigger: 17 or t?
t
Suppose -4*y + y + 5*a + 10 = 0, y + 4 = -2*a. Let q = -53.61 - -53. Let j = -17.39 + q. Which is smaller: j or y?
j
Let w be (-1)/((72/(-512))/9). Is 64 less than w?
False
Let u be (-112)/144*(-21)/(-52). Let w = 1/52 - u. Is -2/15 smaller than w?
True
Let v be 5 - (234/24 - 5). Does v = 179?
False
Let i = 1 - -1. Let m(x) = -2*x**3 + 9*x**2 - 4*x + 1. Let p be m(4). Is p at least as big as i?
False
Let d(o) = -o**3 + 3*o**2 + 9*o - 15. Let v be d(4). Suppose -16*y - 110 = -v*y. Is -10 >= y?
True
Suppose -68*w = 2*n - 64*w - 154, -5*w + 308 = 4*n. Do 77 and n have the same value?
True
Let i = -1.86 - 3.94. Which is smaller: i or -2?
i
Suppose 2*a - 7*a + 15 = 0. Suppose -9 = 3*y - a. Let x be (2*y + -1)/1. Does -3 = x?
False
Let j = -9 + 14. Suppose 21 = j*k - 14. Which is smaller: -1 or k?
-1
Let n be ((-11)/4)/((-5)/(-260)). Are n and -147 nonequal?
True
Let y = 20 - 21. Let k be (y/3)/((-2)/18). Suppose 3*l = -3*a + k, -5 = -4*l + 2*l - 5*a. Which is smaller: l or -0.03?
-0.03
Suppose -3 = -2*b - 5. Let p = 54 - 52. Let m be b/p*(-24)/(-90). Is m > -1?
True
Suppose -10*w - 20 = -10. Does w = 3/43?
False
Let f(z) = z**3 + 4*z**2 + 5*z + 6. Let l be f(-4). Let j be 2 + ((-50)/l - 2 - 3). Which is smaller: j or 2/9?
2/9
Suppose a + 43 = 37. Which is bigger: a or -25?
a
Let k(p) = -3*p**2 + 11*p - 5. Let i be k(3). Which is smaller: i or -11/178?
-11/178
Let h be 2/(-7) + (-6 - (-375)/63). Let l = 1.7 + -9.7. Is l at most as big as h?
True
Let m(w) = -w**3 + 10*w**2 - 11*w + 5. Let j be m(9). Let v(u) = 14*u + 1. Let x be v(-1). Let i = x - j. Which is smaller: -2/3 or i?
-2/3
Let c = -104.04 + 106. Let b = c + 0.04. Let z = 3 - b. Which is smaller: 4/7 or z?
4/7
Let y = -0.9 + 2.9. Let v = y - 5. Are v and 0.05 non-equal?
True
Let n(u) = u - 6. Let t be n(5). Let z be (-4 - -2)/2*-3. Which is smaller: t or z?
t
Let q(u) = u**3 + 6*u**2 + 8*u + 3. Let z be q(-5). Let x be ((-10)/z)/(6 + -7). Which is smaller: -1 or x?
-1
Let a = 45/2 + -23. Suppose -4*f + 2*m = 50, 4*f + 20 = 2*f - 4*m. Let t = -13 - f. Are t and a equal?
False
Let g = 72.821 - -0.179. Let y = g + -102. Is y not equal to 1?
True
Let l(h) = h**3 - 3*h**2 + h - 1. Let t be l(3). Let u be (996/496 - 2)*t. Is 0 >= u?
False
Let m be (-14)/(-7) + (4 - -8). Suppose 2*y - 15 = y. Which is greater: y or m?
y
Suppose 0 = -d - 4*i + 13, 3*d + 2*i - 6 = 13. Let t be 6/10 - (-68)/20. Suppose t*n - 33 = -13. Does d = n?
True
Let b be ((-98)/35 - -7)*(-20)/(-6). Which is bigger: b or 13?
b
Let p = 0.1 - -0.1. Let h = 1/11 - 13/22. Is h less than or equal to p?
True
Let r = 1/8680 + -368281/8680. Do -42 and r have the same value?
False
Let o be (1 - -7) + 2 + -5. Suppose o*c - 25 = -5. Is c <= 9?
True
Let u(n) = 2*n + 5. Let y(t) = -t - 1. Let z(k) = u(k) + y(k). Let j be z(2). Which is smaller: j or 22/3?
j
Let d(f) = -45*f + 28. Let s be d(-4). Which is greater: s or -0.1?
s
Let s = -1673 + 2062. Which is bigger: s or 3?
s
Let l = 1 + -1. Suppose 2*g + 22 = 3*w, l = -w - w - 2*g - 2. Let z(i) = -i**3 - 5*i**2 - 4*i + 5. Let f be z(-4). Which is bigger: w or f?
f
Let b be ((-2)/(6 + -4) - 35) + -1. Which is smaller: b or -35?
b
Suppose -4*p + 5*r + 261 = 0, 5*p - 105 = -2*r + 180. Is 52 >= p?
False
Let d = -1 + 1. Suppose -8*o - 4*j = -7*o + 109, -5*o = 4*j + 625. Let u = o - -1418/11. Is u at most d?
True
Let p(l) = -l**2 + 9*l + 8. Let a(r) = -r + 4. Let k be a(-3). Let b be p(k). Let v be 41/165 + (-4)/b. Are -1 and v non-equal?
True
Let m = 88 - 71. Let d = m - 21. Which is bigger: 1 or d?
1
Let c be ((-24)/(-14))/(2/7). Suppose -c*t = -5*t - 3. Suppose -5*k + k = 2*u + 24, -3*k = -t*u + 9. Is k at most -5?
True
Let q be (4/2)/((-6)/9). Let u = 7 + q. Which is smaller: u or 3?
3
Let z(i) = i**2 + 11*i + 8. Let l be z(-10). Suppose -75 = -43*a + 58*a. Which is bigger: a or l?
l
Let s = 1 - 1.1. Let y = s + -0.1. Suppose 3*d = 7*j + 8, d - 4*j - 6 + 0 = 0. Which is greater: d or y?
y
Suppose -3*i + 7 = 1. Suppose 2*b + b + 3*n = -3, n = -5. Suppose 4 = -k - i*l + 11, -b*k - l + 14 = 0. Is 2 <= k?
True
Let i be (-55)/5 + 5 - 144/(-14). Which is smaller: i or 3/5?
3/5
Suppose 52*d = 51*d - 1, -u + 77 = -3*d. Is 76 smaller than u?
False
Let a = -6.6 - -65.6. Let h = a + -63. Which is bigger: 0.3 or h?
0.3
Let v = -3542/9 + 393. Let d = -2528 - -2528. Is v equal to d?
False
Suppose -565 = -3*j - 5*z, -7*j = -2*j + 4*z - 946. Let v be (-2)/5 + 81/j. Let l = 67/342 + v. Which is smaller: l or 0?
0
Let c be (-6)/(-9) + (64/12 - 1). Let m be (45/(-15) - (-16)/c)*19. Which is smaller: 1 or m?
1
Let m(w) = w - 1. Let x be m(11). Suppose 5*g = x + 80. Which is greater: g or 17?
g
Let r(n) = -n - 2. Let o be r(-5). Suppose 1 = o*b + 13. Which is smaller: b or -5?
-5
Let x = -268918 + 130768. Let t be (3/(-40))/((-40)/x). Let n = t - -259. Which is bigger: 1 or n?
1
Let k(v) = 2*v**2 - 91*v - 16. Let r be k(46). Which is greater: 43 or r?
43
Let h be -1 - 6/(-30) - 3/(-6). Suppose q = 2*k + 4, 2*q - 2 - 2 = 0. Which is greater: h or k?
h
Let h = 411 - 388.9. Let d = -22 + h. Which is smaller: 0.5 or d?
d
Let g be (55 - 4)*28/(-21). Which is bigger: -17 or g?
-17
Let n = 18 + -21. Let p be (-11)/n + -2 - 1. Which is bigger: -6 or p?
p
Let u = -6 + -3. Let o be -1 + 3 - (u + 40). Are o and -0.1 nonequal?
True
Let u = 399 - 612. Which is smaller: u or -218?
-218
Let r = -587 + 979. Let k be 8/12 + r/(-570). Which is smaller: k or -1?
-1
Let l = -0.24 + 3.64. Let i = -3.34 + l. Let q = i + -0.06. Is q >= -3?
True
Let k be 32 - 34 - (-980)/(2*1). Let l = -10246/21 + k. Which is smaller: 0 or l?
0
Let i(b) = b + 2. Let d be i(-3). Let y be (-3 - (-84)/26)*d. Suppose -3 + 5 = 2*k. Which is smaller: y or k?
y
Let s = 142276/9 + -15780. Are s and 29 non-equal?
True
Let f be ((-7)/196*8)/((-458)/7). Which is smaller: f or 1?
f
Let d(v) = v**3 + 7*v**2 + 2*v + 7. Let n be d(-7). Let w = n + 4. Suppose -3*u = -3*a, 0 = -4*u + 5*a - 1 + 2. Which is greater: w or u?
u
Suppose -5 = j - 2*j, 2*j = -4*n + 22. Let q be 155/(-30)*(-22)/n. Let s = 38 - q. Are 0 and s equal?
False
Let b(p) = -3*p + 25. Let g be b(10). Let a be (g/3 + 2)*(-6 - -4). Do a and -1 have different values?
True
Let j(q) = 4*q**3 - 12*q**2 - 2*q - 2. Let p(o) = -5*o**3 + 11*o**2 + 3*o + 2. Let w(a) = 6*j(a) + 5*p(a). Let r be w(-17). Is -54 not equal to r?
True
Suppose -5*x = -20*x + 165. Is x at most 9?
False
Let j = -23.7 - 4.3. Let q = 30 + j. Does q = 25?
False
Let g be (-258)/12*8/5. Let d = -34 - g. Which is smaller: d or 0?
0
Suppose -5*u + 3 = -2*o - 16, 5*u - 31 = -2*o. Let g be -50 + (-15)/u + -2. Which is greater: -53 or g?
-53
Let z(g) = g**2 + 4*g. Let d be ((-8)/6)/(1/3). Let j be z(d). Let p be (-2)/(-5)*((-1000)/(-144))/25. Is j at least p?
False
Let p = 0 + 1. Let v = -0.1 + 7. Let w = v - 6.7. Which is smaller: w or p?
w
Let s = 0.442 + -1.442. Which is bigger: s or -1123?
s
Let h(f) = -f + 2. Let q be h(-5). Suppose 2*m - 7*m - 10 = -5*v, 5*m - 2 = -v. Let d(u) = -u + 5. Let k be d(m). Which is bigger: k or q?
q
Let v = -94 - -93. Are v and 0.154 equal?
False
Let q be ((-2)/3)/((-1)/(-30)). Suppose -2*t + 41 = -o - 8, -139 = -5*t - 3*o. Let y = t + q. Is 8 greater than y?
True
Let t = 22 - -14. Let a be (-2)/(-3)*t/(-1092). Which is bigger: a or 0?
0
Let y = -1009 + 788. Which is bigger: y or 1?
1
Let a = -0.2261 - -0.252. Let z = a - 5.1159. Let b = 0.09 + z. Which is bigger: 2 or b?
2
Let i = 1/91 - 2/13. Let h(o) be the first derivative of -o**2 + 15*o - 1. L