))/((-48)/32). Do q and i have different values?
True
Let t(j) = -j + 0*j**2 - 2 + j**2 + 3. Let c be t(2). Let h be (-2)/4 + c/(-6). Which is smaller: 0 or h?
h
Let a = 0.55 - -0.51. Let w = a + -0.06. Which is greater: w or 0.4?
w
Let f be -3 + (2 - -2) + 1. Suppose -5*p - 2*r + r = -14, -4*p + 9 = 3*r. Is p not equal to f?
True
Suppose 0 = -2*b - 19 - 11. Let z be b/(-10)*4/(-42). Suppose 3*q - 6 = -3*n, -2*q + 4*n - 6 = 2. Which is smaller: q or z?
z
Let q(j) = -j**2 + j - 1. Let a(r) = -r**3 - 4*r**2 + 5*r - 4. Let l(k) = -a(k) + 3*q(k). Let t be l(-2). Let f = -19/3 + 98/15. Which is bigger: f or t?
t
Suppose -5*z - 2 = -3*z. Let h be -1 - z/((-51)/(-57)). Is 0 not equal to h?
True
Let a = -19 + 37/2. Let g = -1.81 - -0.11. Let u = g + 0.7. Which is smaller: u or a?
u
Let u be (-4)/14 - 790/(-70). Suppose -a = 2*j - 1, 0*a + 2*j = a - 13. Let t = u - a. Is 2 smaller than t?
True
Let b(i) = i + 1. Let u be (-14)/35*(-1 + 11). Let x be b(u). Does -2 = x?
False
Let h = -407 - -6917/17. Is 0.1 smaller than h?
False
Let t be (0 - -1) + -2 + 1. Suppose -7 - 1 = -2*n. Let q be (-35)/(-75) - n/6. Which is smaller: q or t?
q
Let z be -3 + 13/3*3. Are z and 10 equal?
True
Let v be 3/(-3) - (-66)/(-8). Let t = v - -19/2. Let j be -1*(2 - 1) + 1. Which is smaller: t or j?
j
Let x = -27 - -27.4. Suppose -9 = s - 5*z, -z - 5 = -5*s - 2. Is x > s?
False
Let d = -1 - -1. Let a be -2 + 1/1 + 2. Suppose 4*m + 7 + a = d. Which is smaller: m or -3?
-3
Suppose 0 = -8*b - 56 + 336. Which is greater: 106/3 or b?
106/3
Let o be (0 + 5/15)/((-40)/(-15)). Which is smaller: o or 0?
0
Let r = 7.11 - 0.11. Let p = 8 - r. Is p >= 0?
True
Let h = 72 + -72. Are 52 and h nonequal?
True
Let b be 7/(-2) - (-2)/(-4). Let o = 3 + b. Let f be 3/(-3) - 6/(-8). Which is greater: f or o?
f
Let g = 7 - 5. Let l = 618 + -16688/27. Which is bigger: l or g?
g
Let a(x) = -x**2 - 9*x - 4. Let r be a(-8). Suppose -4*l + r = -0. Which is greater: 1/4 or l?
l
Suppose 0 = -3*m + p - 10, -2*p + 8 = -0*p. Let f(h) = 2*h**2 + h - 1. Let q be f(m). Suppose 5*n + y = 3*n + q, -25 = -5*y. Which is smaller: n or 3/7?
n
Let p = -837/5 + 15868/95. Do p and 0 have the same value?
False
Let m = -14 + -2. Let a = 31/2 + m. Is a < -0.6?
False
Suppose -230 = -5*t + h - 3*h, -5*t = 4*h - 240. Suppose 3*a + t = 7*a. Which is bigger: a or 10?
a
Let o be (-775)/10 - 2/(-4). Let f be 50/o + (-12)/(-42). Which is bigger: f or -1?
f
Let v(n) = 11*n - 35. Let m be v(5). Which is greater: m or 22?
22
Suppose 2*n = -5*b - 5 - 10, 3*b + n + 9 = 0. Which is greater: b or 21?
21
Let d = 16.4 + 4.6. Let w = d - 15. Which is bigger: w or 2/3?
w
Let w = 0.2 - 0.2. Suppose 4*b + 81 = h, b - 2*h - 38 = 3*b. Which is bigger: b or w?
w
Let u be (2/8)/((-63)/12). Which is smaller: u or 0?
u
Let a(w) = w**3 + 7*w**2 + 4*w - 3. Let k be a(-6). Let i = -7 + k. Let f be 1/i + (-5)/(-10). Is 3 smaller than f?
False
Let m be (2 + 10/(-6))*3. Suppose -w + 2*w - 3 = 0. Suppose -4*h + 4*q = -6 - 14, -w*q - 15 = -5*h. Which is smaller: h or m?
h
Let i be ((-4)/30)/((-2)/10). Suppose 0 = -15*b + 20*b. Is i < b?
False
Suppose -5*i = -i + 16, 4*r + 3*i + 8 = 0. Let t(o) = o**2 + o - 7. Let y be t(-3). Which is bigger: r or y?
r
Let x = 161 - 89. Is x at least as big as 72?
True
Suppose 5*x - 4*d = 0, 4*d + d = 5*x. Suppose -4*g + 3*r + 9 = 0, x*r + 6 = g - 2*r. Let m = 79/96 - 5/32. Is m != g?
True
Suppose -5*q + 31 = -2*x, x = -4*q - 0*x + 30. Let z = 4 - q. Which is bigger: -2 or z?
-2
Let f = 0.09 + -0.06. Let q = 1.84 + -2.87. Let b = q + f. Which is smaller: b or 0.4?
b
Suppose 4*i + 3*y = 5*y, 2*y = i. Is i <= 2/9?
True
Let g = -25 - -49/2. Let y(o) = -o**3 - o**2 + 1. Let d be y(-2). Suppose 0 = d*x + u - 2, -5 = 5*x - 3*u + 1. Is x at most as big as g?
False
Suppose -3*v = -7 - 5. Suppose -u = -2*u - 2*l - 7, -v*u + 2*l = -22. Let b(y) = -y + 8. Let s be b(6). Which is greater: s or u?
u
Let c(a) = -9*a**3 - 2*a + 2. Let g be c(1). Let u be (g/10)/((-6)/10). Which is greater: u or -0.1?
u
Suppose -1 = -4*n - 17. Let g be -36*(3/(-2))/3. Suppose y - 4*b - g = 0, -3*y + 4*b = -5*y - 24. Is y greater than n?
True
Let b = 6 - 7. Let j(p) = p**2 + 2*p + 1. Let s be j(b). Is s > -2/39?
True
Let i(f) = f**2 - 2. Suppose -m = -0*m - 5*x + 10, 5*x = -5*m + 10. Let o be i(m). Is o less than or equal to 0?
True
Let d = 2 + 7. Let i = d - 5. Let s = i - 5. Is s smaller than -0.3?
True
Let h(f) = 2*f - 4. Let d be h(4). Suppose -7 + 3 = d*x. Let c = x + -1. Which is smaller: c or -3?
-3
Let r = 1 - 3. Suppose -h + 31 - 10 = -3*z, 4*h = -2*z + 70. Let f = -35/2 + h. Which is smaller: r or f?
r
Let f(x) be the second derivative of x**4/12 - 7*x**3/6 + x**2/2 + 8*x. Let b be f(6). Which is greater: b or -4?
-4
Let j = -1 + 4. Let x be ((-2)/(-3))/(j/27). Suppose -3*g = -12 + x. Are 0.2 and g unequal?
True
Let i = 150 + -151. Is -3 < i?
True
Let u be ((-12)/(-3)*-1)/(-2). Let p(g) = g**3 - 7*g**2 + 9*g - 15. Let q be p(6). Is q smaller than u?
False
Let r be (-3)/2 - 2/(-4). Let n = -101/924 + 2/77. Is n at most as big as r?
False
Let m = -376/1719 + -2/573. Is m > -1?
True
Suppose 0 = -8*y + y + 49. Which is smaller: y or 5?
5
Suppose -12 = 2*o + 2*o. Let i = 1 + -1. Suppose i = f + 6 - 1. Which is smaller: o or f?
f
Let v = -3.95 + -0.05. Let u = -47/6 - -8. Is v less than or equal to u?
True
Suppose -19*c + 6 = -16*c. Is 3 at least as big as c?
True
Let i = -2 + -7. Let s = i - -13. Let u = -10 - -10.1. Which is greater: s or u?
s
Let b = 27 - 25. Which is bigger: b or 0?
b
Suppose -2*h - 3 = h. Let c = -1.5 - -0.6. Let q = c - -1. Which is smaller: q or h?
h
Let y = -4.032 + 0.112. Let a = y - -4. Is -1/4 < a?
True
Let z be -3 - (-1 + 0) - -7. Suppose 0 = -x + z*u - 19, -5*x + 9 = 4*u - 3*u. Which is smaller: x or -1/8?
-1/8
Let q = -7 - -11. Suppose -w + 5*w + q = 0. Is w less than or equal to -1/3?
True
Suppose 3*y - 5 = -q, 0 = -2*y - 3*y + 3*q - 1. Let u = -2 + y. Are u and -1 unequal?
False
Let r = -1 - 0. Let h = -787/6 - -131. Which is bigger: r or h?
h
Let d = 5 + -7. Let p be 4/(-16) + d/(-8). Is p != 7/5?
True
Let y(m) = m**3 - 3*m**2 - 5*m - 2. Let z be y(4). Let c be ((-2)/z)/(220/(-24)). Which is smaller: 1 or c?
c
Let p = -45 + 38. Which is bigger: p or -8?
p
Let x = -13/2 + 25/4. Suppose 5*r - 5*p = 0, 1 = -r + 2*p - 0. Which is smaller: r or x?
x
Let r be 18/63 - (-733)/7. Are 105 and r equal?
True
Let l = -0.06 - -0.26. Is -16 > l?
False
Let j = 6 + -3. Suppose j + 3 = 3*z. Let u be (z/5)/((-4)/(-20)). Which is bigger: 3 or u?
3
Let j = -3 + 10. Let u = j + -6. Is 0.1 != u?
True
Let v be (4 + (-6)/4)*-2. Is v equal to -5?
True
Suppose -2*n - 3 = -21. Which is smaller: 11 or n?
n
Let q be 0 + -2 + 2/1. Let h = 2 - q. Suppose 11 = 3*r + 2*k - 0, -k = -2*r - h. Is r < 0?
False
Let f = -0.28 - 0.12. Which is greater: -2/9 or f?
-2/9
Let u = -17.1 - -17. Which is bigger: 2/9 or u?
2/9
Let y = -6 - -9. Let j = -0.01 + -0.59. Let d = -0.7 - j. Which is greater: y or d?
y
Let d = 5 - 4.9. Let g = -39.83 + 40. Are d and g non-equal?
True
Let o = 25 - 21. Which is smaller: 5 or o?
o
Let r = -0.82 + 1.7. Let y = r - -0.12. Which is greater: y or 3/11?
y
Let g = 35 + -59. Let p be -9*(g/9 + 2). Let x be 46/(-42) + 4/p. Which is smaller: -1 or x?
-1
Let w = -163 + 3095/19. Suppose -2*m + b - 5 = -1, 2*b = -4*m. Does w = m?
False
Let x(j) be the first derivative of -j**4/4 + 2*j**3 + 4*j - 3. Let v be x(6). Let z be (-2 + v)/2 - -1. Is 0 >= z?
False
Let o = 56 - 389/7. Which is greater: 0 or o?
o
Let n be 10*((-75)/(-24))/(-5)*4. Is -23 greater than or equal to n?
True
Let o = -54 - -1020/19. Which is greater: -2/7 or o?
-2/7
Let w(i) = -i**3 - 2*i**2 + 4*i - 7. Let p be w(-5). Suppose 0 = j + 2*j + p. Which is smaller: j or -15?
j
Let o = 0 + 8. Let x = -7 + o. Is x greater than or equal to -1?
True
Let d(v) = -v**3 - 2*v**2 + 3*v - 2. Let l be d(-3). Let h(p) = 5*p - 33. Let s be h(7). Which is bigger: l or s?
s
Let j = -1022105/9 + 113454. Let w = 113 + j. Is -0.1 smaller than w?
False
Let g = -11 + -1. Which is smaller: -13 or g?
-13
Let g be ((-70)/1)/(10/((-5)/1)). Which is smaller: 34 or g?
34
Let s be (-2)/1 + -4 + 7. Are s and 4/7 equal?
False
Suppose 14*v - 210 = 7*v. Is v greater than 32?
False
Let w = -7.3 + 6.9. Is w b