434. Is s smaller than -1?
False
Suppose 5*m = 2*i - 0*m - 15, 2*m = -5*i - 6. Which is greater: i or 5/16?
5/16
Let f(u) = -u**3 + 10*u**2 - 10*u + 11. Let j be f(9). Suppose -j*t = -4*n + n, -3*n = -4*t. Do -2/7 and n have different values?
True
Let y = 133 + -668/5. Which is smaller: y or -3?
-3
Let x be 21/(-116) + 8/32. Which is bigger: -1 or x?
x
Let i be 12/1*2/6. Suppose i*u = -u. Does u = -2/11?
False
Let t be 4/9 + (-3)/9. Suppose -y = -5*u + 21, -4*u - 3*y + 15 = -2*y. Suppose -7*z - 17 = -u*z + 4*h, -3 = 2*z + h. Which is greater: t or z?
z
Let q = -0.05 - -0.02. Let f = 6.03 - 6. Let c = q + f. Is 0.1 at least as big as c?
True
Let g = -2/457 - 820/21479. Are -2/3 and g non-equal?
True
Suppose -5*b - 5*o + 15 = 0, 0*b + 3*o - 9 = -2*b. Which is smaller: 2 or b?
b
Let z be 4/(-35)*(-1)/(-2). Which is smaller: -1 or z?
-1
Let t = 1 - -4. Let j(v) = -v + 7. Let o be j(t). Which is bigger: -2/5 or o?
o
Let x be 11 - (1 + -2 - -3). Which is greater: x or 8?
x
Suppose -76 = -5*y - k, 1 = y - 4*k - 10. Suppose 5*t + 0*t = -y. Let u = 1 - 4. Is u less than t?
False
Let l = -2.6 + 2. Let b = l + 0.2. Are b and -1 non-equal?
True
Let z be (-49)/(-22) - (-3)/4*-2. Which is smaller: 2 or z?
z
Let m be 1*-5*18/(-15). Let t be (1/3)/(2/m). Let v = -45/133 - -1/19. Which is smaller: t or v?
v
Let h = 0.05 - -0.05. Which is bigger: 0.2 or h?
0.2
Let w = 3 + -3.1. Let x = w + -0.1. Which is bigger: 5 or x?
5
Let d = -0.11 - -0.05. Let o = 8.94 - d. Which is smaller: o or -2/7?
-2/7
Let b(c) = -c**3 - 5*c**2 + 6*c - 2. Let u be b(-6). Let o be u + (2 - 1 - 0). Which is smaller: o or -2?
-2
Let j = 73 + -47. Is 0.3 less than j?
True
Let u be -1*((-4)/(-2))/1. Let s(i) = i - 1. Let f be s(u). Let a = 14 - 17. Is a at most as big as f?
True
Let n be -13 - ((-1 - 3) + 0). Are n and -9 non-equal?
False
Let y = -17 - -17.3. Which is bigger: -0.2 or y?
y
Let a be 3/(-5) + (-658)/(-1130). Which is greater: a or 1?
1
Let m = -1.03 - -1. Let k = m - -0.33. Let x = 7/10 + -3/10. Which is greater: k or x?
x
Let m = -18 + 17.8. Is 0 not equal to m?
True
Let o = 917/2 + -494. Which is smaller: o or -36?
-36
Suppose -21 + 76 = 5*h. Is h >= 12?
False
Suppose -12 = -3*o + 3*d - 5*d, 3*d - 9 = -3*o. Is 6 less than o?
False
Let q = -2.33 - -2.3. Which is greater: q or -8?
q
Let j(q) = q**3 - 4*q**2 - 5*q. Let t be j(5). Suppose 2*r - 4 = 4. Let m(b) = -b**3 + 3*b**2 + 4*b. Let k be m(r). Is t equal to k?
True
Let y = -109 + 1419/13. Are y and 1 non-equal?
True
Let w(b) = -b - 1. Let m be w(3). Let f = -2 - m. Let h be 1 + (60/(-26))/f. Is 1 < h?
False
Let l(f) = -f**3 - 7*f**2 + f + 9. Let u be l(-7). Suppose 0 = y + 5*t + 19, -y - u*y + 5*t = -23. Suppose 2*i - 8 = -2. Which is smaller: i or y?
y
Suppose -4*q = m, 0*m + 4*q = -4*m. Is 3/13 < m?
False
Let j be (3/23)/(3/(-12)). Which is greater: j or -1?
j
Let g = 18 - 17.9. Does g = -0.34?
False
Let g be ((-6)/(-7))/(3/84). Suppose 7*y = 9*y + g. Do -12 and y have the same value?
True
Suppose 5*s = -28 - 12. Let o = -7 - s. Let h be (3/(-4))/(5/(-8)). Which is bigger: h or o?
h
Let q = 19/51 + 5/17. Suppose -o + 5*o - 24 = 0. Suppose 2*d = -d - o. Is q smaller than d?
False
Let k = 2227 - 113608/51. Let f = -1/17 + k. Let u(p) = -p**3 + 6*p**2 + 2*p - 9. Let o be u(6). Which is bigger: o or f?
o
Let p = 7 + -2. Suppose 0 = 3*w + 3*o - 3, -2*w - 2*w + p*o = -4. Is w at most 1?
True
Let g(l) = -l - 3. Let j be g(-4). Which is greater: j or 0.38?
j
Let h = 2/87 - 95/348. Is -5 at least h?
False
Let o be (-4 + 13)*(-2)/(-114). Is o > 1?
False
Let x be (3 - (-42)/(-4))*-2. Suppose -3*q = -5*t - 11, q + 4*q - x = 5*t. Suppose -q*s + 0*s = 0. Is 0 at least s?
True
Let y = 1 - 1.5. Let t = y + 1. Which is smaller: t or 2?
t
Let h be 9/12*(-16)/14. Which is bigger: h or 0?
0
Let b be (24/(-9))/((-20)/(-114)). Let y be (2*3)/(420/1239). Let d = b + y. Which is bigger: 2 or d?
d
Let t = 5.8 + 0.2. Is 0.1 greater than t?
False
Let c = -1.99 - -2. Let i = 0.21 - c. Let b = 0.6 - -1.4. Which is bigger: i or b?
b
Let q = 118 - 84. Let y be 2/8 + q/(-8). Is y at least -5?
True
Let v be (10/(-2) - -3) + 2. Suppose 0 = 5*r + a + 12, -4 = -r + 3*a - v. Let w be (r - 4/(-6))/2. Which is smaller: w or 0?
w
Let n be (48/(-20))/(2/(-5)). Is n greater than 3?
True
Let j = -10099/2850 - -71/19. Let h = j + -2/75. Is h greater than 1?
False
Let n = -2 - -3. Let z(b) = b**3 - 6*b**2 + 8*b - 4. Let w be z(4). Let k be w/6*-3*n. Which is greater: 3 or k?
3
Let l = 9.2 - 7.2. Is -14 <= l?
True
Let r = 0.019 + 0.781. Is -0.1 > r?
False
Let h be (-2)/7 + 8/28. Suppose -2 = -2*p - h*p. Is p less than 0?
False
Let a = -1 - 1. Let q be 0 + (a - (-1 + 0)). Suppose -2*h = 3*m - 5 + 2, 0 = -2*h + 6. Are m and q unequal?
False
Let g(l) = -4*l + 5. Let s(i) = 3*i - 4. Let p(c) = -2*g(c) - 3*s(c). Let m be p(0). Suppose 2*o - 2*r = -4, m = o + 2*r + 1. Which is smaller: o or -2?
-2
Suppose -2*g + j + 48 = -2*j, -2*g - 2*j + 68 = 0. Are g and 28 nonequal?
True
Let w = 0.422 - 0.052. Let n = -0.27 + w. Which is smaller: n or 4?
n
Suppose v = 19 - 64. Which is bigger: -46 or v?
v
Let d = 0.15 + -0.18. Let p = -0.03 - d. Is p bigger than -12?
True
Let x = -8 + 15. Suppose -3*m + x*m - 8 = 0. Is -0.1 at most as big as m?
True
Let d be (-3)/(-9) - (-150)/9. Let m be (12/(-36))/(d/(-3)). Which is smaller: -1 or m?
-1
Let v = -5 + 4. Let u = 2 + v. Which is greater: u or -2?
u
Let y(c) = c**3 - 2*c**2 - c + 1. Let k be y(1). Let u be ((-1)/12)/(6/(-168)*-2). Is u greater than k?
False
Let z be 1*-4 + 442/85. Are 1 and z equal?
False
Suppose -2*m + 3*n = 8, -2*m - 2*m - 2*n = 16. Let f be (2 + 28/(-10))*5. Is m less than f?
False
Let m = -2754754/65 + 42380. Let o = m + 16/13. Suppose 0 = -0*f + 3*f - 3. Which is greater: f or o?
f
Suppose -26 = 5*n + 4. Let w = -9 - -4. Which is greater: w or n?
w
Let g be 1/(-2)*(-836)/11. Is 1 at least as big as g?
False
Let l(m) = 9*m**3 + 2*m**2 + m - 2. Let z be l(2). Let x be (-12)/z + (-2)/(-8). Is x less than or equal to 0?
False
Let l(o) = o**3 - 4*o**2 + 2*o + 3. Let q(c) = 3*c**3 + c**2 - 1. Let x be q(1). Let f be l(x). Let i = -74 - -668/9. Is i bigger than f?
True
Let m(y) = y**3 + 2*y + 2. Let h be m(0). Which is smaller: h or 0?
0
Let h = -0.9 - -2.9. Let a = 0 + 0.1. Let k = a - 0.1. Is h less than or equal to k?
False
Let c be 4*10*3/(-828). Let y = c - -122/207. Which is bigger: 1 or y?
1
Let d = -3.62 + 3.7. Which is smaller: -1 or d?
-1
Suppose 77*j + 47 = 76*j. Which is bigger: -45 or j?
-45
Let r be (-12)/48 - (-167)/380. Let t = r - -4/19. Let y = 159/4 + -40. Do y and t have the same value?
False
Let w(d) = -d**3 - 5*d**2 + 3*d + 7. Let k be w(-5). Let c = k + 49/6. Is c less than or equal to 1?
True
Let r = 11 - 11. Which is greater: r or -2?
r
Let v(o) = o**2 - 4*o + 1. Let a be v(5). Suppose -a*w + 7 = 19. Which is bigger: -6/7 or w?
-6/7
Let q(d) = 3*d**2 + 2. Let i be q(-2). Let a = -14 + i. Is a < 1/14?
True
Let s = -72 + 72. Are s and 45 non-equal?
True
Let x be 2*5/(-2) - -3. Let l be 1*((x - 1) + 2). Which is smaller: -2/9 or l?
l
Let g = 3008/25 + -601/5. Is 1 bigger than g?
True
Suppose -5*u + 2*j + 2 = 0, -u + 4*j + 0 = -4. Which is smaller: 25 or u?
u
Let x = 3 + 6. Let v = -19 + x. Which is smaller: -9 or v?
v
Let b be (-2 + 4)*(-27)/(-2). Do 0 and b have different values?
True
Let s = 8 - 13. Let g = -389 + 387. Which is greater: g or s?
g
Let d = -0.4 - -2.4. Let k = d + 0. Suppose 2*p - 4*w + 12 = -2*p, -7 = 3*p - 2*w. Which is smaller: p or k?
p
Suppose 0 = 4*k - f + 2*f - 28, 4*k - 3*f = 44. Is 6 > k?
False
Let s(n) = -n**2 - 6*n + 9. Let x be s(-7). Which is greater: 0 or x?
x
Let n be 1*2*(-4)/(-8). Let m(v) = 3*v**2 + 1. Let r be m(n). Suppose 4*i - 17 - 2 = 3*h, 0 = -r*h - 4*i + 12. Which is bigger: h or -3?
h
Let i be 2 + -1 - 11/(-57)*-6. Are i and 0 non-equal?
True
Let m be 0 - 2*1/(-8). Let r(w) = w**2 - 10*w - 11. Let a be r(11). Let c be 3 + a + -4 + 1. Which is bigger: c or m?
m
Let x(i) be the second derivative of -i**3/6 + 3*i**2/2 + 2*i. Let t(g) = 6. Let w(p) = 3*t(p) - 6*x(p). Let z be w(1). Are z and 6 equal?
True
Let h = 27.9 + -28. Do h and -20 have the same value?
False
Let a = 4 - 7. Let g = 2.9 + a. Do 6 and g have the same value?
False
Let i be 21/(-2 + 5) + -