 Which is smaller: -2 or y?
-2
Let i(v) = -v**3 + 6*v**2 - 2*v - 1. Let x be i(5). Let c be (-25)/30*(-4)/x. Let j = -23/21 - c. Is -0.1 not equal to j?
True
Let i = 2 + -4. Let y = i - -3. Which is smaller: -1 or y?
-1
Let c = 12 + -12.1. Which is smaller: 0.7 or c?
c
Let m be 3/5 - (-69)/(-15). Let d = -3 - m. Which is greater: d or -3?
d
Suppose -5*y = -4*y + 3*d - 21, -3*d + 3 = -2*y. Suppose -y = -5*x - 1. Which is greater: x or 6/13?
x
Let s = -48.61 + 48. Let i = s + 0.11. Which is smaller: -2/7 or i?
i
Suppose -2*g + 14 = -14. Let k = -9 + g. Suppose -4*n + k*f = 15, 1 = 4*n + f - 2. Which is smaller: -2 or n?
-2
Let r = 8 - 2. Let n be 7/4 - r/(-24). Which is smaller: 0 or n?
0
Suppose 4*x = -5*i + 104, -i + 93 = 5*x - 4*i. Suppose 5 = -2*d - 3*g - 5, 5*d - 4*g = x. Let u = 18/7 - 104/35. Is u at most as big as d?
True
Let o = -3 + 2. Let y = 160 + -162.06. Let b = y - -0.06. Is b equal to o?
False
Let y = 31 + -31. Are y and -8 equal?
False
Let m be ((4 - 9/4) + -1)/(-9). Which is bigger: m or -1?
m
Let u(t) = -t**2 + t + 1. Let g be u(0). Suppose 2*x = -0*i - 3*i + 2, 3*i = -4*x + 4. Is g at most as big as x?
True
Let i = -1/383 + -353/11490. Which is smaller: 0 or i?
i
Let v = 4 + -4. Suppose 0 = 3*y - 6*y - o + 6, v = y + o - 2. Let p = 34 + -100/3. Which is smaller: p or y?
p
Let j = 152 - 149. Let q = 3/10 - -6/5. Is j at least as big as q?
True
Let p be 8/(-12) + 48/(-9). Is -7 at most as big as p?
True
Let c = 8.33 + -1.23. Let d = -7 + c. Which is smaller: d or 3?
d
Suppose -5 + 2 = -4*v + u, 4*u - 8 = -4*v. Is v less than or equal to -2/29?
False
Let n(t) = -9*t - 8. Let d(h) = 5*h + 4. Let k(l) = -11*d(l) - 6*n(l). Let y be k(5). Let f = 0 + y. Which is bigger: -3 or f?
f
Let f = -59/4 - -53/4. Let a be -1 - 4 - (-2 - 1). Which is greater: f or a?
f
Let g be 12/(-30)*13/5. Let k be (-3)/(150/62) + 1. Let p = g - k. Is -2 at least as big as p?
False
Let y be 2800/12 - 6/(-9). Suppose -y = 3*t - 612. Let j = 632/5 - t. Which is bigger: j or -1?
j
Let k(h) = 2*h**2 + 7*h - 2. Let n be k(-5). Let y be 2/n + 41/(-13). Which is smaller: -5 or y?
-5
Suppose f = -f - 18. Let b = -216 + 208. Which is smaller: f or b?
f
Suppose -4*t + 24 - 98 = 2*q, -4*t = -4*q + 44. Is -17 at most as big as t?
True
Let w = 320 + -4804/15. Do w and -1 have the same value?
False
Let t = -3 + 4. Let o = t - 0. Suppose -2*z - 3 = -o. Which is smaller: 0 or z?
z
Let a(h) = -h**2 - 3*h - 2. Let k be a(-5). Is -10 less than k?
False
Let m be (-1 - -5)*(-1 + (-15)/(-18)). Let z(d) = d - 1. Let k be z(4). Suppose -3*y = -g + 11, k*g + 7 = -4*y - 12. Is m less than or equal to g?
False
Let b = -14 - -26. Which is smaller: b or 13?
b
Let c(d) = -9*d - 75. Let w be c(-16). Is w > 68?
True
Suppose 0 = 5*f + 3*u - 376, f + 0*u + 2*u - 78 = 0. Which is smaller: f or 75?
f
Let v be (-1)/2*2 + 2. Are 0 and v equal?
False
Let a = 1972/21 + -94. Is 0 at most as big as a?
False
Suppose -5*f + 4 + 21 = 0. Suppose 3*u + 3*a - 15 = 0, 5*u - f*a + 28 = 3. Let w = -215 + 3227/15. Which is greater: w or u?
w
Let t be 1/((-2)/(-4)) + -4. Are -3 and t equal?
False
Let b = -8 + 15. Let q(c) = -c - c**3 + 2*c**2 + b - 5*c**2 + 9*c**2. Let a be q(6). Which is bigger: a or -2/9?
a
Let a = 2 + 8. Let m be ((-8)/a + 2)/2. Which is smaller: m or 0?
0
Suppose -3*k + 8 - 2 = 0. Suppose k*g = 2 - 4. Do -4 and g have the same value?
False
Let o = 7058/11 + -646. Let i = -435/77 - o. Is -1 less than or equal to i?
False
Let b be (-530)/280 - (0 + -2). Which is smaller: -1 or b?
-1
Let v = 8 - 26/3. Which is bigger: v or 0.3?
0.3
Let h = -0.9 + 1. Which is bigger: h or 4/7?
4/7
Let w = 0 - 8. Let n be 2/(-1*(-1 + w)). Let v = 0 + 0. Which is bigger: v or n?
n
Let g = -2 + 4. Suppose g*y + n + 0*n = 5, -6 = -2*n. Which is smaller: 2/31 or y?
2/31
Let c be (6/(-45))/(18/(-15)). Which is smaller: 3 or c?
c
Suppose 5*r + 11 + 184 = 0. Is r not equal to -38?
True
Let q(p) = 4*p**2 - 2*p + 8. Let w be q(5). Is w smaller than 99?
True
Let r(a) = -2*a - 4. Let s be r(-4). Suppose -5 = -s*y + 3. Let w be 0/(-2) - y/(-5). Which is bigger: -2 or w?
w
Let u = 7 - 7. Is u equal to 0?
True
Let b = -7 - 3. Let s = 9.9 + b. Let i = 0 - 0.2. Which is smaller: i or s?
i
Let c be (16/4 + -6)/2. Let n = 14 + c. Is 14 <= n?
False
Let p be (-8)/(-24) + 19/(-3). Let s = 8 + p. Which is greater: -5 or s?
s
Let x = -0.07 - -0.08. Let o = 0.99 + x. Which is bigger: -1 or o?
o
Let s be 1/(-4) + ((-7)/(-8))/7. Which is smaller: s or -1/2?
-1/2
Suppose g = 2*g + 3. Let j = g + -8. Is -11 bigger than j?
False
Suppose -3*b + 15 = 2*b. Suppose b*d = 3 - 0. Suppose 2*w + 4*i - 8 = 0, 3 - d = 3*w - 4*i. Is 2 at least w?
True
Let r = 2 + 1. Suppose -y + r = -4. Let u = 10 - y. Do u and 3 have different values?
False
Let f(h) = -h**3 - 5*h**2 - h + 6. Let c be f(-5). Suppose c*j - 9*j = -4. Is -3/5 at least as big as j?
True
Let u = 689/18 - 77/2. Let t be 26/12 - (-9)/(-6). Which is bigger: u or t?
t
Let k be (0/(-2) + 1)/(6/(-30)). Is 1 smaller than k?
False
Let n = -2 - -3. Is 2/19 greater than or equal to n?
False
Let v(b) = 4*b. Let o be v(2). Let u(r) = r - 1. Let a(s) = 4*s - 1. Let w(n) = -a(n) + 5*u(n). Let m be w(o). Is 0 bigger than m?
False
Suppose 0 = -f + 2*o - 3, -2*f + 8 = -7*f + 3*o. Which is bigger: f or -7/8?
-7/8
Let x = -85 - -31. Is x less than -53?
True
Let g = 4 + -9. Let k = g + 8. Let o = k + -3.2. Which is smaller: o or -1?
-1
Let y = 0.89 + -0.79. Do -7/22 and y have different values?
True
Let s = -0.09 + -5.91. Let o = 109 + -979/9. Which is smaller: s or o?
s
Let r = -27.9 - -39. Let q = r + -10. Let h = q - 1. Is 2 less than h?
False
Let q(r) = -1. Let w(y) = 11 - 3*y + 6*y - 2*y. Let h(p) = 5*q(p) + w(p). Let o be h(-4). Which is smaller: 1 or o?
1
Suppose 2*y + 2 = -j - 4, -2*y = -3*j + 6. Is j greater than -1/52?
True
Let q(l) = -l**3 - 4*l**2 + 5*l - 3. Let u be q(-5). Let n be u/21 + 9/112. Which is smaller: n or -1?
-1
Let i(d) = -3*d**3 + 1. Let h be i(1). Which is smaller: 1/4 or h?
h
Suppose 0 = 6*n - 9*n - 3. Is n less than 1/3?
True
Let n = -2.05 + 2. Which is bigger: n or 1?
1
Let p = 24 - 11. Which is bigger: p or 0.1?
p
Suppose -4 = 5*k - 2*l - 24, 4*l + 10 = -5*k. Suppose -3*y + k = 17. Let o = y + 7. Is 1 smaller than o?
True
Let r = -0.09 + 14.09. Let f = 14.1 - r. Is f smaller than -0.9?
False
Let w = 70 - 494/7. Is -2 at most w?
True
Suppose -18 = -q + 2*n, 5*q - 29 = -2*n + 37. Is q bigger than 19?
False
Let f(o) = 4*o**2 + 5*o. Let c be f(-2). Is 4 at most as big as c?
True
Let a = -137 + 136. Which is greater: 10 or a?
10
Let n = 326/9 + -36. Suppose 2*z = -v - 4, -z + 5 = -5*v - 4. Which is smaller: n or z?
z
Let r be 2/3 + (-4)/6. Suppose 13 = -f + 15. Suppose -3*s - f*p - 13 = r, 0 = -0*s - 4*s - 4*p - 20. Which is smaller: -1 or s?
s
Let v = 3 + 2. Suppose -19 = 3*h - 4*s, 15 = -h - h + v*s. Let u be 2/(-4)*(-1)/h. Is u > -1?
True
Let f(y) = 2*y - 2. Suppose g + 3*g = -8. Let x be f(g). Are -6 and x equal?
True
Let z = 1 - -2. Are z and 29 unequal?
True
Let b = -3/230 + -733/230. Let h = 37/10 + b. Does h = 2?
False
Let n = 0.39 - 0.29. Is 11 greater than n?
True
Let w = -0.27 + 0.17. Which is greater: 21 or w?
21
Let p be ((-1)/(-2))/(4/8). Let f be -3 + -8*1/(-3). Which is greater: p or f?
p
Suppose 6*w - 6 = -24. Let f be (0 + 2)/(-2 - 0). Let h be 33/(-6) + w/f. Which is smaller: h or -4?
-4
Let t = -3/49 - 83/245. Let g(y) = y**2 + 5*y + 6. Let c be g(-3). Let w be 4 + (1 - c)/(-1). Which is smaller: w or t?
t
Let a be 1 - -2 - (5 + -7). Suppose -7 = -a*t - 2*p, -3*t - 2*p - 2*p + 7 = 0. Is t < -0.3?
False
Let f be (1991/(-60))/11 - -3. Which is bigger: 1 or f?
1
Let l = 814 + -817.93. Let y = l - 0.07. Which is smaller: y or 2?
y
Let l = -2 + 2. Let h = 740 - 26635/36. Let s = h - -1/12. Which is smaller: s or l?
l
Let d = 10 - 10.6. Let y = -0.2 + -0.1. Let t = y - d. Are 0.2 and t non-equal?
True
Let q be (-2 - 5/(-2))*2. Let j(r) = r**2 - r. Let k be j(-1). Which is bigger: q or k?
k
Let u be ((-204)/16 - -2) + 2/(-8). Is u smaller than -8?
True
Suppose -2*a + 10 = 3*a. Suppose -3*j + 20 = a*j. Suppose 0 = 5*m + 3*s - 27, 2*m - j*s + 25 = 5*m. Is m greater than 2?
True
Let a be (6/(-4))/((-33)/22). Let n be a/(-3) - 35/(-231). Which is smaller: 0 or n?
n
