pose 0*y = -4*y - 3*a + 1018, -1006 = -4*y + 3*a. Is y smaller than 252?
False
Let a = 134 + 314. Is 447 < a?
True
Let d(v) = -v**3 + 4*v**2 - 3*v + 2. Let p be d(3). Let f be 8/16 + 1/p. Let q = -374 - -19072/51. Do q and f have different values?
True
Let x = -18 - -24. Let v = 0.025 - -0.015. Which is bigger: v or x?
x
Suppose -3*b + 118*i = 117*i + 1364, -472 = b + 4*i. Is b bigger than -457?
True
Suppose -3*n - 10 = n + 2*m, -1 = -m. Let r be (n/66)/(-1 + 3/2). Which is smaller: -1 or r?
-1
Let z = -1.41 - 0.19. Let u = 9.6 + z. Which is greater: u or 1/4?
u
Let p = -802.1 - -802. Are -225 and p unequal?
True
Let w(u) = -2*u**2 - 34*u - 12. Let b(r) = r**2 + 11*r + 4. Let o(n) = -11*b(n) - 4*w(n). Let a be o(5). Which is smaller: a or 0?
0
Suppose -17 = -h + 5*b + 4, h - 3*b = 21. Let x = -4 + h. Suppose t - 6 = -2*r - x, 14 = t - 3*r. Which is greater: -1/13 or t?
-1/13
Let l(p) = -p**2 + p - 6. Let j be l(0). Let o be ((-176)/(-66))/(2/j). Is -6 smaller than o?
False
Let a = 7941011/35 + -226864. Let f = -113/5 + a. Suppose -2*y + 2 = -9*j + 4*j, -4*j - 5*y = 28. Are f and j non-equal?
True
Let i = -57 + 41. Let p = -15.4 - i. Let j = p + -0.6. Is 0.1 less than j?
False
Let t be 2/(-5) + 11/40. Let p(w) = -w**3 + 8*w**2 - w + 9. Let x be p(8). Let o be -2 + (3 - 1/x). Is t bigger than o?
False
Suppose t = 5*t + 12. Let g be 28 - (4 + -1) - -3. Let y = -29 + g. Which is bigger: t or y?
y
Let s = -5398/36801 + -2/1363. Let h = s - -46/189. Are h and 1 equal?
False
Suppose 0 = -5*i - 5*m - 20, -3*m - 9 = -3*i - 27. Which is greater: i or -22/7?
-22/7
Suppose -25 = -3*f - 3*s - s, -2*f - s = -10. Let w be 45/10*24/(-9). Let b be (w/9 - -1)*0. Which is smaller: b or f?
b
Let x(j) = 5*j + 39. Let k be x(-3). Which is greater: 2 or k?
k
Let a = -1.56 + -3.44. Is -2/13 less than or equal to a?
False
Let n be 62/(-3) + (-7)/21. Let u be -6 - (0 - 0)/2. Let v be u/n + (-74)/14. Are -7 and v equal?
False
Let n = 337/2 - 162. Does n = 7?
False
Let u = -11 - 0. Let b = 340 + -351. Is b at least as big as u?
True
Let t be -1*(-14)/(-4)*-2. Suppose -4*v + z + 25 = 0, -z + 14 = v + 4. Are t and v equal?
True
Let q = -47.4 + 1.4. Let z = -46 - q. Which is bigger: -3/5 or z?
z
Suppose 15 = -4*n + 5*k, 1 = 2*n + 2*k - 5. Let h = -312636/163 - -1918. Which is smaller: h or n?
h
Suppose 5*s + 3*n - 5*n = -64, -58 = 4*s - 5*n. Which is smaller: s or 2?
s
Suppose 2*s - 22 + 14 = 0. Let v = -4 + 12. Let i = v - 3. Is i less than s?
False
Let o be (-4)/(-14) - (-675)/63. Let r be 1404/(-462) + 2/o. Is r greater than -4?
True
Let w be 2/(-4) - 826/4. Let s = w + 4139/20. Suppose -2*l + 8*g = 5*g - 4, 0 = 2*l + 2*g + 6. Is l bigger than s?
False
Let k = -9.58 - -9.3. Let o = -3.02 + 3. Let a = o + k. Is a less than or equal to 1?
True
Suppose 3*x - 5*x = 0. Let y be 1/((-16)/(-1252)) + 2. Let c = y + -80. Which is greater: c or x?
c
Let x be 9/6 + (-378)/(-12). Let y be 4 + (-46)/(-11) + (-6)/x. Which is bigger: y or 4?
y
Suppose -z = -4*w + 16, 2*w - 35 = -3*w + 5*z. Suppose w = 4*k + 11. Which is greater: k or -1?
-1
Let d(j) = 0*j + j**3 + 3*j - 11 + 6*j**2 + 0*j**3. Let i be d(-5). Do -2/35 and i have the same value?
False
Let q(b) = -b**2 + 2*b + 1. Let j be (-2 + 1)/(1/(-2)). Let f be q(j). Which is greater: 2/111 or f?
f
Let q = 18 + -18.3. Let m = 0.01 - q. Let p = -0.21 + m. Which is bigger: 15 or p?
15
Let x = 16119/13 - 1239. Which is bigger: 2 or x?
2
Let w = 29 + -20. Let r = 8/5 + -1/10. Is w at least r?
True
Let d = -157 + 222. Which is greater: d or 64?
d
Let m be 15/(-10)*-4 - 3. Suppose -2*h = -m*h + 5*q - 6, 5*q = 3*h + 38. Is h not equal to -16?
False
Suppose 546 = 8*k - 2*k. Let n(b) = 25*b - 9. Let c be n(4). Do k and c have different values?
False
Suppose v + 1674 - 1468 = 0. Which is smaller: -205 or v?
v
Let h = 620/9 + -69. Let g = 34/9 + h. Is 4 != g?
True
Let w be 1/2 - 33/(-22). Suppose -3*z = -2*z - r + 15, -4*z - 3*r = 39. Let u be (-14)/(-12) - w/z. Which is bigger: u or 0?
u
Let o = 101 + -8. Let t = o + -107. Let m = 2.9 - 3. Which is smaller: t or m?
t
Suppose -68*m + 4642 = -90*m. Is m > -211?
False
Let x = 0.1709 - 0.1909. Are -1/13 and x equal?
False
Let d be (-3)/((-12)/(-7))*-4. Let w = d - 4. Let c(f) = -f**2 + 23*f - 88. Let y be c(18). Which is greater: w or y?
w
Let l be (-2)/(-2)*201/12. Do l and 16 have the same value?
False
Suppose 9*c - 5*c + 3*l + 5 = 0, 0 = -4*c - l - 7. Let w be ((-9)/(-66))/((-6)/56). Which is smaller: w or c?
c
Let b(u) = -u**3 + u**2 - u + 1. Let g be b(-2). Let c be ((-15)/(-4))/g - 2/(-8). Is 0 greater than c?
False
Let d(r) = r**3 - 2*r**2 - 15*r - 10. Let t be d(6). Is 400/9 greater than or equal to t?
True
Suppose -5*i + 20 = -0*i. Suppose 5*u + 4 + 0 = 3*a, 0 = -i*a + 4*u. Which is smaller: 1 or a?
a
Let u(q) = -q - 10. Let g = 8 - 16. Let m be u(g). Let t(y) = y**3 + 8*y**2 + 18*y + 76. Let v be t(-7). Which is bigger: v or m?
v
Let n(l) = -l**3 + 9*l**2 - 2*l + 25. Let s be n(9). Let i(b) = b**2 + 9*b + 10. Let c be i(-8). Which is smaller: c or s?
c
Let w(d) = 65*d - 4. Let o be w(-4). Which is smaller: -266 or o?
-266
Let l be 13/(-21) - 72/108. Is l >= -0.1?
False
Let t = -40.861 - -41. Let v = t + -12.249. Let f = v + 0.11. Which is bigger: 0.2 or f?
0.2
Suppose -4 = -0*k - k. Suppose k*g - 17 = 95. Let l be ((-8)/24)/(g/(-3)). Is 1 < l?
False
Let i be (-3*(-4)/(-24))/(16/464). Is -4 not equal to i?
True
Let t = -10 - 12. Let i be 29*(-2 + -1)/(-3). Let p = i + t. Do 7 and p have different values?
False
Let q(p) be the third derivative of -p**6/120 + p**5/6 - 3*p**4/8 + p**3/2 - 2*p**2. Let n be q(9). Let d be n + (-93)/18 - -2. Which is bigger: d or -1?
d
Let a = -5855 + 64465/11. Let k = -371/66 + a. Which is smaller: 0 or k?
k
Let l = 23 + -20. Suppose 1 = 4*g - 4*k + 9, -g - k = 0. Let c be (g/(-9))/(l/(-9)). Is c less than or equal to 4?
True
Let i(g) = g**2 + 7*g - 43. Let t be i(4). Is t greater than or equal to -2/153?
True
Let w(x) = 4*x**2 + 66*x - 35. Let u be w(-17). Is 733 greater than or equal to u?
True
Let p(a) = 11*a + 39. Let t(r) = -4*r - 28. Let k be t(-6). Let m be p(k). Which is greater: m or -6?
m
Let y = -29.3 - -31. Let z = -0.57 - 0.13. Let k = z + y. Which is smaller: k or 5?
k
Let k be (-8)/14 + ((-4920)/70)/(-4). Is k greater than 21?
False
Suppose -2 = -2*x - 102. Let r = -1401/28 - x. Is r smaller than -1?
False
Let s = -143 + 271. Is s at least as big as 127?
True
Let r be 9/4*(-48)/(-9). Let l = r + -9. Which is bigger: l or 2?
l
Suppose 0 = 18*u - 9*u - 18. Which is smaller: 10/7 or u?
10/7
Suppose 9 = 2*t - 5*t. Let i be (30/(-9))/(5 - 2 - 2). Is i <= t?
True
Suppose -5*d = 85 + 60. Let y = d + 7. Is y greater than -22?
False
Let g = -328 + 336. Which is smaller: -16 or g?
-16
Suppose -24 = -5*p - b, 3*p - 8*p - 2*b + 28 = 0. Let i be (p/12*6)/(38/8). Are i and 0 non-equal?
True
Let c be 12880/(-105) + (-2)/6. Is -123 greater than c?
False
Let q(s) = -2*s**3 + 4*s**2 - 3*s + 2. Let b be q(2). Let j be b/12*(-1422)/(-5140). Let l = j + -2/257. Is -1 smaller than l?
True
Let n = -45/98 + -2/49. Let v(h) = -h**3 - 7*h**2 + 9*h + 64. Let o be v(-7). Is o not equal to n?
True
Suppose 50*l = 63*l - 130. Let f = 3 - 6. Do f and l have the same value?
False
Let c = -12/7 + 29/21. Let u be (-6)/15 - 33/105. Let a = -3/7 - u. Are a and c equal?
False
Let f = 8.5 - 0.5. Suppose -26*g + 20*g = -18. Which is greater: g or f?
f
Let t(h) = 23*h - 2. Let g be t(2). Suppose 2657 = u + 2612. Which is smaller: g or u?
g
Let i = 70.484 - -1.516. Are -7 and i equal?
False
Let i be (-2 - 5/(-3))*-1. Let j = -0.011 + 155.011. Let x = 142 - j. Which is bigger: x or i?
i
Let w be 2/(-6)*(19 + (-10 - 7)). Let r = 0.3 - -0.7. Let l = 1.02 - r. Do w and l have different values?
True
Let r = 76.9036 - -0.0964. Which is greater: r or -2/7?
r
Let c = -97/214 - 5/107. Which is smaller: -4 or c?
-4
Suppose -2*w + t + 177 = -205, 776 = 4*w + t. Are w and 193 non-equal?
False
Suppose -4*b = -16 - 16. Let s = -0.5 - -0.3. Let r = s + 0.1. Which is smaller: r or b?
r
Suppose 3*u - 2*p = u + 6, -12 = -4*u - 5*p. Suppose 0 = u*n - 2*n - 4. Suppose 22 = -3*z + d - n, d = 4*z + 36. Which is smaller: z or -8?
z
Suppose 1 = -o - 4. Let a be (-2)/24*-50 - (-1)/(-6). Suppose 0 = 2*f + 10