 smaller: -1 or n?
-1
Let x = 133 - 146. Let g = -24 - -11. Is g < x?
False
Let f = -16 - -15. Is f greater than -1?
False
Let f(t) = -2*t - 1. Let j = 5 - 2. Suppose 0 = -j*y + 1 + 2. Let r be f(y). Is -2 at most r?
False
Suppose -3*o = -9, 2*o = 4*p - 2*p + 20. Which is bigger: -6 or p?
-6
Let q = 192 + -200. Suppose 6*f + 24 = 3*f. Is f not equal to q?
False
Let x(h) = 9*h + 2. Let v be x(2). Suppose -17*k = -v*k. Which is smaller: 1/6 or k?
k
Let u = -16 - -21. Suppose 7*j = 2*j - 4*y - u, -3*y = 2*j + 2. Is j equal to -4?
False
Let j = -0.04 + -0.06. Let v = 2 + -2. Is j smaller than v?
True
Let n be (1/((-4)/(-8)))/(-2). Which is bigger: 3/7 or n?
3/7
Suppose -5*g + 20 = h - 3*h, h = -3*g + 1. Suppose g*i = -2 - 2. Is -2 greater than i?
False
Suppose 2*c = 9 + 7. Suppose a = 4*l - c, -2*l + 6*a - 2*a + 18 = 0. Is l equal to 1?
True
Let l be -3 - (12/(-3))/1. Is l less than or equal to -3/10?
False
Let u = -0.08 - 0.22. Let l = -2.1 - -2. Which is bigger: u or l?
l
Let g be (44/(-2))/(1 + 0). Let r be (-4)/(-8) + 7/g. Is r at least as big as -1?
True
Let p = 15 + -8. Let m be 0*(14/4)/p. Is -2/7 equal to m?
False
Let l(u) = 2*u + 19. Let p be l(-9). Which is greater: p or 1/5?
p
Suppose -2*k + 5*k - 18 = 0. Suppose l + 3 = k. Let d = l + -4. Which is greater: 2 or d?
2
Let f = -3/1549 - 27825/29431. Let b = -2/86357 - 14075887/13126264. Let w = f - b. Is w equal to 0?
False
Let u = 1/692 - 1413/20068. Is -0.3 <= u?
True
Let o = 3 + -2.9. Let m = 2807 - 5771/2. Let q = -76 - m. Do o and q have the same value?
False
Suppose 3*l - 7 + 1 = 0. Suppose 2*n = l - 0. Let t be (-2 + 1)*(-1)/5. Is t greater than or equal to n?
False
Let y be 4/(-10) - 524/(-10). Let x = -35 + y. Is 16 less than x?
True
Let b = 15 + -10.1. Let t = b - -1.1. Let z = 5 - t. Which is smaller: -0.3 or z?
z
Let k(f) be the third derivative of -f**6/120 + 2*f**5/15 - f**4/4 - 4*f**3/3 + 7*f**2. Let n be k(7). Are n and -7/5 non-equal?
True
Let p = 11.8 - 12. Is p smaller than 4?
True
Let c = -0.67 - -0.7. Let h = c - -0.03. Which is smaller: 0 or h?
0
Let t = 31 + -19. Let h = -47 + 59. Is h < t?
False
Let f be (6 - 6) + -4 + 4. Which is bigger: 5/66 or f?
5/66
Let z = -4.2 + 4.11. Suppose -2 - 1 = -3*y. Which is greater: y or z?
y
Suppose h = 4*t - h - 14, -3*h - 3 = 0. Let z(c) = -c**2 + 2*c - 3. Let b be z(t). Is -5 < b?
False
Let f = -100.3 - -100. Which is smaller: f or -7?
-7
Suppose 5*g = 4*g + 26. Suppose -3*a - w = -2*w - 9, 2*w = -5*a + g. Is 5/2 at least a?
False
Let j(b) = -b**3 + 9*b**2 - 7*b - 11. Let z be j(8). Let g(v) = v + 9. Let f be g(-4). Suppose 4*h - n + 20 = -4*n, 0 = -f*h - n - 14. Are z and h equal?
False
Let x be 27/4 + (-4)/(-16). Let j = x + 14. Is 21 greater than j?
False
Let j be 6/(-12)*(0 - -12 - -2). Let r be (-8)/28 + (-47)/7. Does r = j?
True
Let z be (2 + 1 + -2)*-1. Which is bigger: z or 1?
1
Let s = -3284 + 594402/181. Which is smaller: 1 or s?
s
Let c = 4 + -7. Let y(p) = p**3 - 11*p**2 - 2. Let t(r) = -r**2 + 11*r + 11. Let d be t(11). Let k be y(d). Is k != c?
True
Let b(x) = -5*x + 6. Let g be b(8). Let f be g/10 - (-13 - -10). Which is greater: -1 or f?
f
Let a(o) = -7*o. Let x be a(-2). Let s = x + -6. Let u = s - 8. Is -2/3 at most u?
True
Suppose -3*s - 12 = -5*s. Let r = 20 - s. Is 14 equal to r?
True
Suppose -22*y - 15 = -17*y. Does -9 = y?
False
Suppose -j = o - 10, 5*j = 9*o - 5*o + 95. Suppose 5*g - 70 = -5*l, -g = -5*l + 40 + 36. Is l smaller than j?
False
Let s = 0.25 - 0.15. Is s at most as big as 2?
True
Let x = -0.092 + -4.908. Are -11 and x unequal?
True
Let d = -18001/10 - -136303/30. Let r = d + -2609. Let v = -133 + r. Is v at least as big as 0?
True
Let n be (-38)/(-8) - 1/(-4). Let o be -2 + 3 - n/7. Let l = -4 + 3. Which is smaller: o or l?
l
Suppose 2*k + 12 = -5*o, 0 = k - 3*o - 5. Which is greater: -2/209 or k?
-2/209
Suppose -3*p - 4*p = 84. Which is smaller: p or -13?
-13
Suppose -k - 4*r = -10, 8 = -k + 5*r + 45. Let u be 1 - (0 + k/30). Which is greater: u or -1?
u
Suppose -52 = 2*q + 2*q. Which is greater: q or 0.1?
0.1
Let s be ((-156)/(-65))/(9/10). Which is smaller: s or -2?
-2
Let q be (-36)/((-9)/3) - 2. Suppose -q = -5*n + 5*a, -n + 3*n - 3*a = 4. Suppose -20 = -3*c - 4*y, -n*c - 10 = c - 2*y. Is c greater than 1?
False
Let c be (-6)/(-8) - 77/28. Do -3 and c have different values?
True
Let l be (0 + -1)*80/48. Is l not equal to -0.06?
True
Let v(x) = -x**3 + 2*x**2 + 6*x + 1. Let i be v(-3). Let f = i - 23. Which is smaller: f or -2/5?
-2/5
Let n be (-4)/2 + -1 + 2. Let u be (-15)/(-6) + 6 + -8. Is u > n?
True
Let c = 11 + -8. Suppose 4*w - 2 = -2*d, 2*d + 14 = w + c*w. Let t = -1 - 1. Are d and t equal?
False
Let t be 11/(-55)*(-10)/(-6). Let r = 0.38 - -0.12. Which is smaller: t or r?
t
Let t = -17 - -46. Do -1 and t have different values?
True
Let m be (-12)/(8/(-2)) - 1 - 1. Which is smaller: 1/58 or m?
1/58
Let q = -18 + 27. Let o be 4/6 + 3/q. Let u = -22 - -152/7. Which is bigger: u or o?
o
Let o = 140 - 703/5. Which is bigger: -3 or o?
o
Let c(o) = -13*o - 8. Let d(b) = -b**2 + b + 1. Let v(z) = -c(z) + 2*d(z). Let x be v(8). Is 3 at least x?
True
Let h(v) = -2*v - 2. Let j be h(-2). Let k = -6 + j. Is -4 less than or equal to k?
True
Let h(z) = -z**3 - 10*z**2 - 3*z + 54. Let f be h(-9). Which is greater: -2/49 or f?
f
Let a = -2/635 - -77/254. Which is bigger: a or 1/4?
a
Let i be (-170)/684 - (-2)/9. Which is greater: i or 0.1?
0.1
Let f be 1 + -2 + 1 + -1. Let y(a) = -a**2 - a + 2. Let o be y(2). Let w be (0/(-2))/(o/2). Which is smaller: w or f?
f
Let k = 16 - 10. Let w be (1 + (-2)/k)*-1. Let b be 6/16 - 2/(-16). Is w greater than b?
False
Let z = -5 + 4. Let t = z - -1. Which is greater: -3/2 or t?
t
Suppose 4*i = -5*h - 37 - 8, -20 = 3*h + i. Is h greater than or equal to 2/3?
False
Suppose -3*r + 4 = -2*k - 2*k, 0 = -5*k - 4*r + 26. Let i(z) = -z**2 + 2*z + 5. Let g be i(4). Let h be (-2)/(-7)*(-7)/g. Which is greater: k or h?
k
Let g(z) = z - 5. Let x be g(-3). Is -8 at most as big as x?
True
Let z = -10 + 12. Is 5/3 at least z?
False
Let i be 5 + 95/(-20) - 0. Suppose -h + 16 = -3*h. Which is bigger: h or i?
i
Suppose 2*o = -o. Which is smaller: -12 or o?
-12
Let s = -20 + 2. Let f be 32/(-144) - (-11)/s. Suppose -3*o = -0*o. Is o at least as big as f?
True
Let k be (-8)/(-36) - 6/27. Is k less than -0.13?
False
Suppose -19 - 5 = 3*s. Which is smaller: s or -2?
s
Suppose -3*t = -2*p - 0*t - 20, -4*p + t - 20 = 0. Let d = -3 - p. Is 2 < d?
False
Let b be (0/2 + 1)/1. Suppose 27 + 7 = 4*p - 2*x, 31 = 4*p + x. Let j = 8 - p. Are b and j nonequal?
True
Let v = -2 - -6. Suppose -2*x - o - 5 = 0, 5*o + v + 1 = 0. Which is bigger: -1 or x?
-1
Let h = 306 - 5200/17. Which is bigger: h or 1?
1
Let u(a) = a + 5. Let l be u(-5). Let y = 3 - 5. Let i = y - -3. Are l and i equal?
False
Let f = 5.88 + 0.12. Let b = f - 6.3. Let d = 0.2 + b. Which is bigger: d or -1/7?
d
Let j = 3/10 + -341/70. Let h = -466/105 - j. Which is smaller: 1 or h?
h
Let v = 304 - -14. Let l = v + -4772/15. Let o be ((-4)/14)/((-4)/28). Which is greater: o or l?
o
Let j = -3 + 1. Let f = 0.19 + -0.37. Let b = 0.02 - f. Are j and b non-equal?
True
Let l = -7 + 14. Let x = l + -10. Let w be 6/(-9) + (-4)/x. Do 2 and w have the same value?
False
Suppose -4*l + 80 = -8*l. Does l = -20?
True
Let t = -12 - -15. Suppose -f = -c - t, -f = 3*c + c + 12. Is f <= 1?
True
Let c = 11 - 7. Are 1/2 and c nonequal?
True
Let d be (-8)/(2*(-1)/27). Let m = d + -44. Let a = m + -323/5. Which is bigger: -1 or a?
a
Let n(q) = q - 1. Let g be n(4). Suppose -g*l + 0*h + 14 = -h, h = -5*l + 26. Let p be 1/20 - (-1)/l. Which is bigger: -1 or p?
p
Let d = 1 + -2. Let p = -0.7 - -0.6. Which is smaller: d or p?
d
Let m be ((-6)/(-4))/(14/(-56)). Is -4 != m?
True
Let b = -0.8 + 0.7. Let f = 2.9 - b. Is -1 != f?
True
Suppose 3*h - 2*h + p = -1, -4*h + 5*p - 13 = 0. Let c = -7 + 5. Is c at most as big as h?
True
Let s = -46 + 31. Let x = -9 - s. Let h be (-1)/x + 116/408. Which is bigger: 0 or h?
h
Let q be 48/(-36)*3/23. Are q and 0 equal?
False
Let q be (6 - 1)*(-4 - 21/(-7)). Let l = 6 + -11. Let y = 1 + l. Is y greater than or equal to q?
True
Let b = -181/60 + 11/4. Suppose 4*h = -3*m + 11, 5*h + m = 2*m - 10. Is b smaller than h?
Fal