 2*j + 2*j, -4*r = -5*j + 925. Let c = j - 1320/7. Let i = 0 - -1. Which is greater: c or i?
i
Let n(w) = w. Let f be n(1). Let g = 3 - f. Is 1 <= g?
True
Suppose -2*r = -2 - 2. Which is smaller: 12/5 or r?
r
Suppose -2*y + 1 = w, -w - 2*y - 3*y + 1 = 0. Let h be (-4)/14 + 12/(-7). Which is bigger: h or w?
w
Let l = -2/423 - 1670/4653. Which is smaller: 0 or l?
l
Suppose -4 = -z, -2*z - 39 = 3*s + z. Is s smaller than -17?
False
Suppose -5 = -3*o + 1. Let w be (12/(-9))/((-2)/(-6)). Let y = w - -5. Which is smaller: y or o?
y
Let l = 3 - 12. Let y be (-186)/l - (-2)/(-3). Let m be (2/(-20))/(8/y). Which is smaller: -1 or m?
-1
Suppose -5*r = -r - 8*r. Is r > 4/7?
False
Let k = -19 - -24. Which is bigger: k or -4?
k
Suppose -248 = -4*c - 4*c. Do c and 32 have the same value?
False
Let k = -0.052 + 0.152. Which is smaller: -40 or k?
-40
Let v(g) = 3*g**2 - 1. Let s be v(1). Let j be (-17)/(-4) - (-1)/(-4). Let a be (j - s)*(-9)/6. Are a and -3 nonequal?
False
Let d(v) = v**3 - 16*v**2 - 18*v + 18. Let h be d(17). Is h > -1/12?
True
Suppose -4*j - 14 + 2 = 0. Which is greater: 0 or j?
0
Suppose 4 = g + 1. Let d(i) = 2 + g*i - 3*i - 2*i. Let j be d(2). Is j at least -2?
True
Suppose -4*b - s - 14 = -61, 3*b - 4*s - 59 = 0. Let c be (-33 + 3)*(-2)/5. Is c at least as big as b?
False
Let q(r) = -r**3 + r**2 - r. Let k be q(0). Let x(l) = -l**3 - l**2 + 1. Let o be x(k). Which is bigger: 2 or o?
2
Let g(b) = -b - 9. Let p = 3 - 11. Let j be g(p). Which is smaller: -5 or j?
-5
Let z = 13.2 - 11.8. Which is smaller: -0.3 or z?
-0.3
Let i be (-52)/8 - -3 - -1. Suppose 6 = -y + 2. Does i = y?
False
Let i = 3141 + -22046/7. Let b = -9 - i. Which is smaller: -1 or b?
-1
Let h(b) = b**3 + 4*b**2 + 3*b + 5. Let c be h(-4). Let q = -429 - -422. Is q at most c?
True
Let g be (-3494)/(-2808) + (3 - 5). Let p = g + 2/351. Let u(a) = a**3 - a**2 - 2. Let t be u(0). Which is smaller: t or p?
t
Let u be 56/420 + 8*4/(-15). Let y = 13384/99 + -1624895/12078. Let v = -1/122 - y. Which is smaller: v or u?
u
Let z = 2 - 2. Let b = z + -0.1. Let x = b + -0.9. Is x at most -2?
False
Suppose -5*c - 19 = 3*a - 1, -2*a - 2*c = 12. Let p be a/(-81)*(-3)/(-2). Which is smaller: -1 or p?
-1
Let s(n) = -6*n. Let v be s(-4). Which is smaller: 23 or v?
23
Suppose q + 4 = -5. Let d be (-2 + 2)/(q - -6). Is d less than -3/19?
False
Suppose 5*z + 1 = 6. Let m be 3*z/3*0. Suppose 0 = -m*q + 4*q + 4. Is 2 greater than or equal to q?
True
Let o = 50 + -34. Suppose 6*v + 2*r - 8 = 4*v, o = 3*v + 4*r. Let d = -8/15 - -17/60. Is v greater than d?
True
Let o be 463/(-12)*-2 - -3. Suppose 240 = -3*n + 6*n. Let u = o - n. Which is greater: u or -1?
u
Let h = -2 + 2.2. Let i = -0.36 + 0.16. Let b = h + i. Which is smaller: 1/3 or b?
b
Let k(g) = g**2 - 5*g + 6. Let z be (10/8)/(3/12). Let a be k(z). Suppose 0 = -h - 5*i - 6, -4*h + 6 = 2*i - a. Is h at most as big as 3?
False
Let d = -5 + 9. Suppose 21 = d*f - 5*o, 0 = f - o - 3 - 1. Is -6/7 at most as big as f?
False
Let k(h) = h**3 + 6*h - 5. Let y be k(2). Is y equal to 11?
False
Let m(u) = u**2 + 8*u + 2. Let j be m(-7). Which is smaller: -4 or j?
j
Let z be 5/25 + (-42)/10. Is z != -5?
True
Let p = 128/9 + -14. Is 0.3 at least as big as p?
True
Suppose 5*p = 3*d + 19, 0 = -3*p + 3*d + 10 - 1. Is p less than or equal to 4?
False
Let u be 1/(-3) - 42/(-18). Suppose f + 0*f - u*k = 0, -5*k = -5*f + 5. Let t(g) = -g**2 + 2*g + 4. Let v be t(3). Is f > v?
True
Let p be (-6)/4*(-20)/3. Suppose -2*y + 3*k - 17 = 0, -3*y - p + 2 = -k. Let a be 1/4 + 34/(-40). Is a smaller than y?
False
Let t = 52.3 - 50. Let l = 0.7 + t. Let d = 2 - l. Do d and -1/3 have the same value?
False
Let i = 23 - 26. Let q = -29/19 - -1/38. Which is bigger: q or i?
q
Suppose 4*i + s - 3 - 9 = 0, 3*i - 9 = s. Suppose 0 = i*w - 6, 3*v - v + 70 = 4*w. Let b = v - -125/4. Is b <= 1/4?
True
Suppose 4*p = 4*s, -p - 4*s + 4 = -s. Is p equal to 4?
False
Let a be 25 + (-7)/(-3) + -2. Let p = 25 - a. Let k = -12 - -7. Are k and p nonequal?
True
Let t = 6 + 0. Let z be (-8)/t*(-12)/8. Suppose -z*q - 3 = q. Which is smaller: 0 or q?
q
Let r be (1 - -2) + 2475/1. Let m = r - 183375/74. Let d = -133/370 + m. Which is greater: 0 or d?
0
Suppose m - 5 = -2*l, 3*m + 5 = l - 3*l. Is l less than 3?
False
Let j = -217/715 - -4/55. Is j bigger than -1?
True
Let z(o) = o**3 - 20*o**2 - 20*o - 32. Let x be z(21). Which is smaller: -29/3 or x?
x
Let l(c) = -c**3 + c**2 + c - 3. Suppose -4*m - 4 = -4*z + 16, 5*z + 2*m + 10 = 0. Let n be l(z). Suppose g + 6 = -2*g. Which is smaller: n or g?
n
Suppose -2*v + 171 = 7*v. Which is greater: 2/7 or v?
v
Suppose 2*s = 1 + 1, 2*s = -3*w - 574. Let f be 2*(3 + w/63). Is 0.1 > f?
True
Let m = 3 - 5. Let i = 3 + m. Suppose -3*z - 9 = -5*u + i, -4*u - 29 = 5*z. Which is smaller: 1/3 or u?
u
Suppose -20 = -5*a - f, 4*a - 20 = -a - 3*f. Suppose r - a = 1. Which is bigger: -1/4 or r?
r
Let n be (-5)/(-20) - (1 + (-79)/4). Which is smaller: n or 18?
18
Suppose 3 = u - 0*u. Suppose -5*q + d = -17, -3*d = -u*q + 2*d + 19. Let z be 0/(-1) + q/(-9). Is z at most as big as -1/2?
False
Suppose a = -4*a. Let v be 24/(-56) - (-6)/14. Is a greater than or equal to v?
True
Let s be 0 - (5/7 - 1). Suppose a + f + 5 = -1, 4*f = 5*a - 15. Let u be (-4*a/(-3))/(-4). Is s <= u?
True
Suppose -z + 2*z - r + 11 = 0, z + 17 = 3*r. Which is greater: -84/11 or z?
-84/11
Let l = -16 + 17. Is l smaller than 2?
True
Let q(y) = y**3 - 8*y**2 - y + 8. Let u be q(8). Let n be -2*(u - (-2)/(-2)). Suppose 0 = 3*r + 3*o + n*o + 17, -2*o + 6 = -2*r. Is r at most -4?
True
Let s = -4/43 + 149/215. Let h(g) = g - 3. Let q be h(7). Suppose 0*z = -4*m + z + 8, -q*z - 14 = 2*m. Is m > s?
True
Let j be 1 + 6/3*15/(-10). Which is smaller: j or -12/13?
j
Suppose -3*i = 3*i. Which is smaller: i or 10?
i
Let h be 10/65 + (-42)/104. Is -18 equal to h?
False
Let j = 0 - -0.1. Let o be 18/35 - -12*11/(-165). Which is greater: o or j?
j
Let m be ((-18)/(-12))/(5/2). Which is bigger: -2/5 or m?
m
Let v = 3 + -5. Let b = v + 3. Let w be b + 3/((-27)/6). Is 0 smaller than w?
True
Suppose 0 = -3*b - 0*b - 3. Let m be b/3 + 320/24. Is 14 <= m?
False
Let b = 158/63 + -16/7. Let x = -3 + 4. Let r = x - -2. Is b at least r?
False
Let r = 1 - 0. Let a(z) = -5*z**3 - 13*z**2 - 8*z - 5. Let f(u) = u**3 + u**2 + 1. Let s(i) = -a(i) - 4*f(i). Let p be s(-8). Is p <= r?
True
Let z = 567/943 + -30/41. Let s = z + 35/92. Let k be ((-12)/(-10))/2 + (-16)/10. Is s smaller than k?
False
Let c = -489205/143 - -3421. Are 1 and c equal?
False
Suppose 0 = -r + 2, 3*h = -3*r - 2*r + 58. Is 17 > h?
True
Let s = 16 - 31. Let w be (1/3)/(-1)*s. Suppose -w*j - 3 = -4*j. Which is smaller: j or -4?
-4
Let x = -8 + 10. Let u be (x - 2)*(-5)/10. Are 2/21 and u nonequal?
True
Let y = -50 + 29. Is y equal to -23?
False
Let h = 1.7 + -2. Let x = h + 0.2. Let y = 80.2 + -80. Which is smaller: x or y?
x
Suppose 5*j - 2*m = 5, -3*j - m + 29 = 3*m. Let w = -1.1 + 0.1. Which is greater: w or j?
j
Suppose -2*m + 29 = 5*d, -4*m + 8 = -5*d + 25. Let t = -33 - -37. Is d less than t?
False
Let j be 120/28 - 2/7. Which is bigger: -0.01 or j?
j
Let h be 3/(-18)*(99 - 5). Which is bigger: h or -16?
h
Let w = 82 + -85.3. Let x = -0.3 - w. Is x greater than 0?
True
Let w = -17 + 19. Suppose -i = -w*i + 1. Which is smaller: i or 2/67?
2/67
Let u be 7/(-49) + (-71)/(-7). Which is smaller: 11 or u?
u
Let n be (-1)/7 - 3/(-21). Which is smaller: -3/13 or n?
-3/13
Let p be (-44)/(-2) + 2 + 0. Let j be 1/(p/(-51)) - -2. Which is bigger: 0 or j?
0
Let d = -3.1 + 3. Let u = 34.6 - 34.8. Is u < d?
True
Let o(y) = -2*y - 34. Let z be o(-18). Which is greater: z or 4/3?
z
Let a = 8 - 22. Which is bigger: a or -0.1?
-0.1
Let d(v) be the first derivative of v**3/3 + 7*v**2/2 - 2*v + 5. Let g be ((-28)/16)/((-1)/(-4)). Let h be d(g). Which is greater: h or -1?
-1
Let k = 1 - 4. Let g = -3.02 - k. Let i = g + 3.02. Which is greater: 0 or i?
i
Let i = 4 - 9. Which is smaller: -10 or i?
-10
Suppose -2*x - 3*l = -7, -3*l = -x + 2*x + 1. Suppose -4*t + x = -0*t. Let v be 3/2 + 7/t. Which is greater: 6 or v?
6
Let q(p) = -p**2 - 6*p - 5. Suppose 7 + 11 = 3*f + 3*v, -3*f = -2*v - 13. Suppose 0 = 2*b - j + 10, 3*b - f*j = -4 - 18. Let n be q(b). Are n and 3/2 unequal?
Tru