9 + -2988987/365. Which is smaller: 0 or j?
j
Let j = 6.7 - 5.7. Is -9 <= j?
True
Suppose -9*p = -4*p. Is p not equal to -9/8?
True
Let c(h) = h + 1. Let a = -5 - -3. Let w be c(a). Is w greater than 0.3?
False
Let g = 25.8 + -5.8. Is 0 > g?
False
Suppose -3*t = t + y + 4, -4*t = 5*y + 4. Is -2/257 at most as big as t?
False
Let c = 100 + -102. Is -29 bigger than c?
False
Let r = 30 - 28. Which is bigger: r or 3/4?
r
Let t = 279 - 3903/14. Let x = t + 1/126. Is 0 greater than x?
False
Suppose -3*y + 5 = 2. Let b be (-11)/3 - (-2)/3. Let g be ((b - -2)*-1)/(-5). Which is smaller: g or y?
g
Suppose x + x + 8 = 0. Let q = x - -3. Let h be (-24)/(-21) + q/1. Is h greater than or equal to 0?
True
Let v(i) = 6*i**2 + 2*i + 2. Let a be v(-2). Let q be a/6*1*-3. Let b = -7 - q. Which is smaller: b or 3?
3
Let x(m) = -m**2 + 3*m + 5. Let n be x(4). Is n equal to 4/5?
False
Let b = -48.7 - -48. Does b = -1?
False
Let z be (6 - 2 - -2)/10. Which is bigger: z or 4?
4
Let y = -5.14 - -0.14. Is y greater than -5?
False
Let u = 77/2 + -191/5. Suppose 0 = -5*f - 4*y + 7*y + 22, -2*f = 4*y - 14. Suppose 2*d - 4*d - 10 = 0, 0 = 2*z - d - f. Which is greater: z or u?
u
Suppose -6*y - 184 = 2*y. Is -23 != y?
False
Suppose 0 = -4*b - 3*a - 12, -4*a + 2*a = 8. Which is greater: b or -11?
b
Let g(f) be the second derivative of 2*f**3/3 - 6*f**2 - f. Let s be g(5). Which is smaller: 1 or s?
1
Suppose -4*a + 2 = 6. Let i be -16 - -1 - (2 + a). Let t be (1/(-4))/(4/i). Is 0 at most as big as t?
True
Let i = 0.2 + -1.6. Is 1 <= i?
False
Let u = -2/11 - -7/99. Do -1 and u have different values?
True
Let w = 99 + -98.06. Let n = -1 + w. Is -1/3 at least as big as n?
False
Let m = 0.02 + -0.12. Is m not equal to 48?
True
Let v(n) = n**2 - 2*n + 4. Let s = 6 + -4. Let z be v(s). Which is greater: 2 or z?
z
Let f be 9/(-6)*(-10)/(-30). Let r be 2 - (-1 + 3/5). Let o = r - 69/35. Which is smaller: o or f?
f
Suppose 12 = 5*x - x. Suppose -x*p + 9 = -6, 2*m - 2*p = -8. Which is greater: m or -0.1?
m
Suppose 5*x - 3*y - 2*y = 25, 0 = 3*x - 2*y - 15. Suppose -x = -c - 3. Let o be ((-1)/c)/(4/(-8)). Which is greater: o or 1/3?
o
Let k = 7 - 6.5. Let r = -0.6 + k. Do 0.1 and r have different values?
True
Let w = -0.9 + 2. Let j = -1 + w. Which is smaller: -1/3 or j?
-1/3
Let j = -5.2 + 5. Is -10 not equal to j?
True
Let q = 59/126 - -2/63. Is q smaller than -14?
False
Let i be (-12)/(-9)*6/(-4). Let g be 4/i*(-9)/(-6). Which is smaller: -2 or g?
g
Let q = -16 + 31. Which is smaller: q or 0.3?
0.3
Let m be (-5)/(-3)*(-2)/(-25). Suppose 8*g - 3*g - 25 = 0. Let x = g + -4. Is m > x?
False
Let b(a) = a**3 + 7*a**2 - 9*a - 5. Let v be b(-8). Suppose -4*u + 3*u - v*h = 0, 2*h + 34 = 5*u. Is u > 6?
False
Suppose -4*u - 36 = -4*j, j - 25 = 2*u + 6*j. Let f = u + 17. Let m = f - 6. Is m less than or equal to 1?
True
Suppose -4*i + i = 18. Is -1 at most i?
False
Let t be -17 + (1 - -1)/2. Let j = -753 - -737. Is t greater than j?
False
Suppose 5*q + 2 = 7. Let b be (0 - q)/((-3)/21). Suppose -3*f + b = -5*n, 5*n - 3*f + 4*f = 9. Is 0.2 < n?
True
Let d(y) = y**3 - 7*y**2 + 4*y. Let j be d(3). Which is smaller: -25 or j?
-25
Suppose 0 = -4*w + 3*w + 4. Suppose g - 3*z - 7 = 0, g = w*g - 2*z. Do -1 and g have the same value?
False
Let r = -8 + 4. Let s = r - -4.1. Is 4/9 at least s?
True
Let b = -14 - -15. Is -2/33 at least as big as b?
False
Suppose 2*h = -3*j + 117, h + 4*j + 24 - 75 = 0. Let l = h + -253/4. Are 1 and l nonequal?
True
Let a = 0 + 5. Suppose 3*o = 5*y - 13, 3*o = -a*y - 20 + 57. Suppose -2*g + 0*r + 5 = -3*r, -2*g = -2*r - o. Do 2/7 and g have the same value?
False
Suppose -2*u + 4*u + 1 = -5*g, -3*g + 9 = 2*u. Suppose 2*j = -2*j + u. Let x = -2 + 5. Is j at least as big as x?
True
Let m be 2/6 - 2/(-18)*-1. Which is smaller: m or 0.9?
m
Let u(g) = -g**2 + 13*g - 28. Let o be u(7). Suppose p = -3*m + 37, -3*m + 8 = 3*p - 19. Do o and m have the same value?
True
Let a = -0.13 + 0.13. Is a bigger than -96?
True
Let u be -1*(-4 + 16) + 4. Let i = 8 + u. Let v be ((-3)/((-6)/4))/(-3). Which is bigger: i or v?
i
Let a be ((-6)/4)/((-9)/12). Suppose -4*k - 71 = -5*i, 3*k + 27 = i + 4. Let q = i - 9. Is q smaller than a?
False
Let x = -0.3 + 1.9. Let g = -0.6 + x. Which is smaller: -2 or g?
-2
Let v = -0.021 - 2.079. Let t = 0.4 - -1.6. Let k = v + t. Which is smaller: -2 or k?
-2
Let a = -1.04 + 0.14. Suppose 3*c = -y - 1, 0 = -5*c + y + 1 - 0. Are a and c equal?
False
Let b = 7 - 8.6. Let a = -1.55 - b. Let h = -0.1 - 0.9. Are a and h nonequal?
True
Let l = 15 + -15. Let a be l/(-3) - (-3 + 5). Is a less than or equal to -4/3?
True
Let k be (-2)/(4 + -6)*-1. Let b = -1 + 1. Let q = k + b. Is q > -1?
False
Let r = -5 + 9. Suppose -r*w = 4*p + 2 - 10, 0 = p + 1. Suppose -5*n + 2*u = -16, 3*u - 15 = 8*u. Which is greater: w or n?
w
Let k be 1 - 0 - 9/(-3). Is k equal to 2?
False
Let w be 985/(-180) - (-2)/9. Which is greater: -4 or w?
-4
Let s be (-14)/(-49) + -2 + (-228)/(-280). Is -1 at least as big as s?
False
Let h = 8 - -1. Is 8 < h?
True
Suppose -5*n + 59 = 2*f, 5 = -2*n + 3*f + 21. Let q = -5 - -12. Suppose d - 4*w - q = 0, 0*w = d + 5*w + n. Which is smaller: 1/9 or d?
d
Let z = -98 - -99. Is 2/85 > z?
False
Let r be (-52)/14 - 26/91. Let q be (r - 0)*(-6)/36. Let j = -9 + 28/3. Which is smaller: j or q?
j
Let l = 10 + 10. Is 19 >= l?
False
Let n = 27/5 - 59/10. Let c = 1 + n. Are c and -2 nonequal?
True
Let i = -299 - -3287/11. Let g = 1 + 2. Suppose -5*y + 23 = g*a, -2*a + 4*y = -y + 18. Is i < a?
True
Let c = 2 - -11. Is c greater than 14?
False
Let z = 28 - 82. Let g be 21/z + (-4)/(-18). Let s = -5 - -4. Which is greater: s or g?
g
Let x = 0 - 0. Let m be ((-9)/(-10))/((-12)/4). Is x greater than or equal to m?
True
Let k be 3/(-6)*2/11. Let i = k + 37/44. Is -2 at least as big as i?
False
Let m = -217669 - -50934433/234. Let s = m + -2/117. Which is bigger: -1 or s?
s
Let m = -104 + 115. Which is smaller: m or 10?
10
Suppose 100 = 4*k + k. Let n = -14 + k. Let v be (4/n)/(25/15). Do v and 0 have the same value?
False
Let y be 12/(11/(22/4)). Which is greater: y or 28/5?
y
Let f = 2 + 0. Suppose h = 2*h - f. Is h at least as big as 2?
True
Let v be 38/(-10) - (-2)/(-10). Let x be 0 - -1 - v/1. Let d = 2 - x. Is -2 <= d?
False
Let g = 214 + -4916/23. Is g at least -1?
True
Suppose -5*y - 90 = 3*z, 5*y = 3*z + 2*z - 50. Let g be (-2)/10*y/(-2). Is -1 >= g?
True
Suppose 3*i = -i, 5*k - 2*i = -10. Let o be k/5 - 24/(-45). Which is bigger: o or 1?
1
Suppose -6*a - 159 = 3. Is -27 >= a?
True
Let l(k) = k**2 - 4. Let i be l(-3). Suppose i*t - 5*s + 15 + 10 = 0, 0 = -3*t + 2*s - 15. Is -4 > t?
True
Suppose -2*p = 2*p - 5*h - 4, 0 = -5*p + 4*h + 5. Is 2/15 != p?
True
Let t = 5 - 3. Let m = -0.01 + 0.31. Which is smaller: m or t?
m
Let t be 205/41 + (2 - 1 - 2). Suppose -5*j - 6 = 44. Let h be (j/4)/1*-2. Which is bigger: h or t?
h
Let t(z) = 3*z - 12. Let k be t(0). Is k at least -34/3?
False
Suppose -7*k + 2*k - 5 = 0. Let c be (-1)/(12 - (2 + 0)). Is k < c?
True
Let p(t) = -2*t + 10. Let d be p(5). Is d greater than or equal to 1/152?
False
Suppose 0 = 3*k, 0 = 4*s + 5*k - 10*k - 4. Which is smaller: s or 0?
0
Let d(b) = b**3 - b**2 - b - 3. Let l be d(0). Suppose 2 = 4*a - 5*a. Which is smaller: l or a?
l
Suppose 4*y + 6 = 18. Suppose 2*a + y*a + 25 = 0. Is a <= -5?
True
Let r be (-2)/(-8)*(-78)/(-715). Which is smaller: r or -1?
-1
Suppose 6 = -4*j + 30. Let m be (-3)/j*(1 + 1). Let u = 2.2 + -2. Which is smaller: u or m?
m
Let h(d) = -3 + 4*d**3 - 1 + 3*d**2 + 5*d - 5*d**3. Let y be h(4). Are y and -1/8 equal?
False
Suppose q = -q + 400. Let x be q/14 - 2/7. Suppose -5*m = -x - 1. Is m > 2?
True
Let o(h) = -3*h - 21. Let f(l) = l + 11. Let z(n) = 5*f(n) + 2*o(n). Let a be z(11). Let w(m) = -m**3 + 3*m**2. Let b be w(3). Which is bigger: b or a?
a
Let f = -61 - -121. Let i be -1 + (f/33 - 1). Let m(v) = -v**2 - 17*v + 1. Let b be m(-17). Do i and b have different values?
True
Let u(g) = -3*g - 6. Let x be u(-4). Let l be (-4)/22 + (-171)/(-33). Which is smaller: l or x?
l
Let l = -19 - -21. Let r be (l*4/(-136))/1. Do r and 0 have the same value?
False
Let r(k) = k**3 + 7*k**2 - 6*k + 3. Let x be r(-9). Let s be ((-20)/x)/(2/3). Which is smaller: -1 or s?
-1
Let u be (-88