e
Let u be (-6)/(-10) - 2/(-20)*-6. Suppose u = -15*l + 11*l - 44. Is 1 > l?
True
Suppose u - 2*r - 6 = 0, -6 = -3*u + 10*r - 7*r. Which is smaller: u or -31?
-31
Let j = 15 - 12. Suppose j*x = -4*a - 13, x + 9 = 4*a - 6*a. Let p be 27/(-4) + (-2)/8. Is a at least as big as p?
True
Suppose 5*z - 28 = z. Let d = z + -4. Suppose -3 = -4*o - 3*c - 7, 0 = o + d*c + 10. Which is smaller: o or 6?
o
Suppose -g - 3 = c, 2*g + 0*g - 5*c = -6. Let i = -9 - -13. Suppose 8*q - 3*q + i = 3*x, 4*q + 13 = x. Is g <= x?
False
Let r be (-45)/60*8/(-18). Let n(i) = i**3 - 4*i**2 - i + 3. Let w be n(4). Is w > r?
False
Suppose 0*l - 3*l = -45. Suppose z - l = -v + 4*z, 4*v - 28 = -4*z. Let x be ((-8)/v)/(5/(-15)). Is x equal to 3?
False
Suppose 2 = 2*s - 4. Let b(q) = q**3 - 2*q**2 - 4*q - 1. Let d be b(s). Do -4 and d have the same value?
True
Let f be 30/(-10) - -3 - 2/911. Which is smaller: f or 0?
f
Let k(m) = -m**2 - 6*m + 1. Suppose 2*c + 19 = c. Let w = c + 13. Let g be k(w). Is 1/19 not equal to g?
True
Let k be -5 - (-44)/9 - (-833)/(-7245). Is k less than -1?
False
Let m be (-191)/(-1)*(-6)/10. Let n = m + 115. Let g = -8014/5 - -1603. Is n at least as big as g?
True
Let s = 1535 - 1538. Which is greater: -3/2 or s?
-3/2
Suppose -3*h = -5*v + v + 8, -4*h = -5*v + 9. Let k = 23 - 24. Which is bigger: h or k?
h
Let k = -39 - -39. Suppose 4*v = -k*v + 3*v. Is v != 1?
True
Let f = -583/3 - -193. Which is bigger: f or -1/4?
-1/4
Let b(q) = q**2 + 8*q + 14. Let r be b(-4). Let u be ((-93)/72 - 0) + r/(-12). Does -1 = u?
False
Let q(o) = -o**2 - 6*o + 9. Let u(i) = i**2 + 6*i - 9. Let v(t) = 5*q(t) + 6*u(t). Let k be v(-8). Does 5 = k?
False
Let n(f) = 10*f + 30. Let i(o) = 10*o + 30. Let g(r) = -4*i(r) + 3*n(r). Let w be g(-4). Let q(x) = x**2 + x + 11. Let m be q(0). Which is smaller: w or m?
w
Let r be (-8)/(-52) + 802/26. Suppose 0 = -p + 4*h + 10, 0*p = -5*p + h + r. Let k be (-1*2 + -1)*-1. Which is greater: p or k?
p
Let q = 5/191 - -6997/2674. Let y = 15/7 - q. Is y greater than or equal to 0?
False
Let p be -4 + (7 - (-1 - -2)). Suppose 0 = -l + 2*l - p, -10 = -5*k - 5*l. Let z = 4/131 - -71/1965. Is k bigger than z?
False
Let l = -17 + 19. Let u be (-1 - (-3 + 2)) + l. Suppose -u*p - 2*h + 4 = 0, p + 4*h = 6*p - 1. Which is greater: -1/15 or p?
p
Suppose 4*v - 5*s = -105, -2*v - 2*s - 18 = 30. Which is smaller: -26 or v?
-26
Let z(d) = 6*d - 6 + 1 + 33*d**2 - 28*d**2 + 3*d**3. Let j(k) = -4*k**3 - 4*k**2 - 6*k + 6. Let t(s) = 2*j(s) + 3*z(s). Let v be t(-6). Is v bigger than 0?
False
Let g be ((-18)/(-16) + -1)*-2. Let h = 11 + -5. Let d be (-24)/h + (-6)/(-2). Are g and d nonequal?
True
Let p(n) = 5*n - 1. Let y be p(2). Let a be (51 - 59)*(-1)/(-2). Let z = a + y. Are z and 5 non-equal?
False
Let x = -21 + 41. Which is bigger: x or 22?
22
Let c = -45 + 44.9. Let q = -2.4 + 2.1. Is q != c?
True
Let z(s) = -s**2 - s - 4. Suppose 3*g - 5*w = -1 + 56, 0 = 2*g - 5*w - 45. Let d = -10 + g. Let q be z(d). Which is smaller: -5 or q?
-5
Let g(j) = -j**3 - 17*j**2 - 52*j - 8. Let b be g(-13). Is -102/13 less than b?
False
Suppose 0*w + 2*w = -14. Let u = -9 - w. Suppose -9 = 2*q + q. Which is smaller: u or q?
q
Let b = -607 - -440. Which is greater: 0.2 or b?
0.2
Suppose -3*b = -5*p - 42, 0 = -0*b - 2*b - 4*p + 6. Let j(f) = f**3 - 9*f**2 - 12. Let z be j(b). Suppose 4*x = -4 - 40. Which is smaller: z or x?
z
Suppose -2*z = -4*c - 22, -2*c = c + 4*z + 22. Is c equal to 6/11?
False
Let h(g) = g**3 - 10*g**2 - 9*g - 23. Let c be h(11). Which is greater: c or -1/13?
-1/13
Suppose -2*j + 32 = 2*j. Let h = 8 - j. Let k be ((25/(-30))/(-5))/3. Which is greater: h or k?
k
Suppose 3*q + 2*q - 885 = 0. Suppose 3*t + 4*n = -240, 3*n - q = 3*t - t. Do t and -84 have different values?
False
Let l(w) = 5*w**3 - w**2 - w + 33. Let h be l(-4). Does h = -297?
False
Let u be ((-4)/(-24))/((-34)/(-51)). Is -9 < u?
True
Let b be -49 - -2 - (-60)/20. Which is smaller: b or -43?
b
Suppose -7*k + 55 - 622 = 0. Which is smaller: -241/3 or k?
k
Let w(k) = -2*k + 8*k + 69 - 70. Let j be 1*(4 + 0 - 1). Let p be w(j). Is p smaller than 2/5?
False
Suppose 0 = -3*c - 87 + 408. Which is smaller: c or 105?
105
Let o be 124/(-322) + 18/42. Let w = o + -55/207. Is 1 > w?
True
Suppose 107*d - 95*d = -72. Do 87 and d have different values?
True
Suppose -5*k + 50 = 4*t, 0*k + k + 3*t + 1 = 0. Suppose 0 = -2*b + 4*q + k, 1 + 0 = 3*b - q. Is b > -2/69?
False
Let s = 408 - 405. Which is smaller: 0.083 or s?
0.083
Let g be (9 + -7)/(6/27). Suppose 5 = v - g. Suppose 56 = 5*i - v. Which is smaller: 12 or i?
12
Let c be -1*(-10)/25 - (-58)/(-195). Which is bigger: c or 0?
c
Let x(m) = -m**2 + 4*m + 5. Let s be x(5). Suppose -c = 76 - 77. Which is smaller: c or s?
s
Suppose -3*x = 175 + 11. Is x greater than -70?
True
Suppose -4*f = 5*n - 116, 12*f + 88 = 4*n + 14*f. Is -2 not equal to n?
True
Let i be (-63)/(-15) + (-8)/(-10). Let k(y) = -i*y + 14*y**2 + 12*y + 11 - 13*y**2 - 1. Let g be k(-4). Is -2 not equal to g?
False
Let o = -104 + -37. Which is smaller: -143 or o?
-143
Suppose -2 = w, 5*j + 2*w - 562 = 3*w. Suppose 9*m + 1193 = -j. Is m > -146?
True
Let i be 74/60 - 380/456. Which is bigger: i or 709?
709
Suppose -q + 19 = -3*k, -k = -5*q - 2*k + 15. Suppose 4*c + 2*h = 0, -q*c = -h + 2*h - 4. Let p be 40/(-48) - c/4. Do 0 and p have the same value?
False
Let q be (-2 - 0)*(5 + 38/(-4)). Let h be q/(-30)*(-20)/32. Suppose -2*w = -3*w. Does w = h?
False
Let w be (-1)/(28/(-22)) + -1. Suppose -3*r = -p + 10, 2*p - 4*r = -0*r + 14. Which is smaller: w or p?
w
Suppose 3 + 133 = 8*p. Suppose s + p - 4 = -4*k, -4*k = 3*s + 15. Which is smaller: s or -2/103?
s
Let b = -0.086 + 0.028. Let n = b + -3.942. Do n and 3/2 have different values?
True
Let f be (-214)/700 + (-10)/(-35). Let i = 14/75 + f. Suppose n + 2 = 1. Which is bigger: n or i?
i
Suppose 3*j + 0*j + 3*n - 24 = 0, -4*j = -3*n - 32. Suppose -j*q = -12*q - 88. Which is greater: q or -20?
-20
Let t be 1/((-2)/(-558) + 0). Let l = t - 3629/13. Is 12 greater than l?
True
Suppose j = 4*j - 3. Suppose 3*p = 4*p - j. Let v = -37 - -41. Is v at least as big as p?
True
Suppose 1201 + 1781 = 21*p. Is p greater than 140?
True
Let c be -2 + (-1)/((-3)/6). Let u be (-2)/(-8) + 30/264 + 0. Which is bigger: c or u?
u
Let v be 7 + (5 - 8 - 4). Is -1/44 at least v?
False
Suppose -2*d - 4*q - 2 = q, 0 = -4*d - 2*q - 4. Which is smaller: d or -5/434?
d
Let r = -2/33 + -7/33. Let t = r + 23/44. Let u(g) = -85*g - 341. Let i be u(-4). Which is smaller: i or t?
i
Let b(n) = n**3 + 12*n**2 + 15*n + 32. Let m be b(-11). Suppose -8*r + 55 = -13*r. Does m = r?
False
Let c = 18 - 18.32. Let d = c - -3.32. Which is smaller: -9 or d?
-9
Let w be (-1 + 1)*1/2. Let f = -221/8733 + -5/213. Is w greater than f?
True
Suppose 0*f + 24 = 4*f. Let u = 283 - 278. Let y be (f/(-4))/(u/(-2)). Is 0 greater than or equal to y?
False
Let q be (4 - 17)/((-1)/2). Suppose -126 = 2*v - 4*z, 2*v - 52 = -4*z - 186. Let t be q/v*(-5)/3. Which is greater: 0 or t?
t
Let o be 38/(-7) - (-15)/35. Suppose 0 = -5*b - 2*d - 42, 4*d = -2*b - d. Let j(s) = -s**3 - 10*s**2 + 2*s + 15. Let m be j(b). Is m <= o?
True
Suppose 3*n - 7 - 2 = 0. Suppose 0 = -0*y + n*y. Let w = 1635 + -1638. Which is bigger: w or y?
y
Let d(w) be the second derivative of w**4/12 - 2*w**3/3 + 2*w**2 + 41*w. Let z = 10 - 7. Let t be d(z). Is t at most as big as 1/29?
False
Suppose -w - 2 = 15. Let r be 4/38 - w/19. Which is smaller: 8/15 or r?
8/15
Let v(u) = -u**2 + 6*u + 5. Let a be v(8). Let h = 11 + a. Let r(p) = p**3 + p**2 + p - 1. Let q be r(h). Is -2 <= q?
True
Let a be -12 - ((-1)/(-2) + 42/(-12)). Let y be (3 + -1)/(a/18). Is -21/5 <= y?
True
Let o be (-52)/(-26)*22/100*1. Which is smaller: o or 0?
0
Let f = -1957 - -5911/3. Suppose 4*i - 20 = s - 46, 0 = -2*s + 5*i + 43. Are f and s unequal?
True
Let b = -50 + 49.931. Let r = -0.669 - b. Do r and 3 have different values?
True
Let i = 128 - 133.45. Let b = -5.4 - i. Is -1 greater than b?
False
Let y = 38 - 19. Suppose -3*x - 35 = 2*x - 5*m, -5*m = 4*x + y. Let r be (-6)/(-4) - 3/x. Are r and 9/7 nonequal?
True
Let z(y) = 10*y + 7. Let m be z(-4). Let x be (m/6 - -4)/(-3). Is 0.5 greater than or equal to x?
True
Let i = 476/3 + -6218/39. Let b be (-2)/(-7) - (