t u be 1/v*4/(-2). Which is smaller: 0 or u?
0
Let h = -4 + 2. Let m = -0.28 + -0.72. Let r = m - h. Which is smaller: r or -2/7?
-2/7
Let p = 11 - 7. Which is bigger: 13/5 or p?
p
Let j = -9 + 11. Which is greater: j or 6/7?
j
Suppose 3*a = -p - 5, -4*p - 3*a - 1 = 1. Let v be (3 - 2) + (-7 - 0). Let w be (p/(-3))/((-2)/v). Are w and 5/2 unequal?
True
Suppose 134 - 78 = 4*m. Is m less than 14?
False
Let l(j) = -j**3 + 5*j + 4 - 3*j**2 + 0*j**2 - 3*j. Let w be l(-3). Are w and -1 equal?
False
Let r be -3 - (4/4)/1. Let f = r - -3. Is -2/5 at least as big as f?
True
Let u(r) = r**3 + 2*r**2 - 3*r + 1. Let h be u(-3). Let q = -3 + h. Is q equal to -4?
False
Let s be (-1*(-4)/(-3))/((-12)/18). Is 2 at most as big as s?
True
Suppose -4 = c, 2*c + 92 = -6*s + 2*s. Is -98/5 less than s?
False
Suppose 5*l + 3*w - 2*w - 58 = 0, -4*l + 44 = 2*w. Let z be (-1000)/(-28) - (-2)/7. Let x be l/16 - 19/z. Which is bigger: x or -1?
x
Let r = -0.3 - -0.2. Let h = r - -0.3. Is h > 3/4?
False
Let j be (-2 - (-18)/15)*10. Is j bigger than -8?
False
Let o(x) = -x**2 - 6. Let n be o(0). Is n < -11/2?
True
Let d be -1*(-1 - (-2)/2*-4). Which is bigger: 6 or d?
6
Let z = -57 + 58. Is 0 at most as big as z?
True
Let c = -1.16 - -1.1. Is c at most as big as 0.8?
True
Let w = 0.1 + -0.1. Let s = 5 - 5.1. Let b = s - w. Is -3 greater than b?
False
Let a = 3755/12 + -1517/4. Let n = -155/12 + a. Let v = n - -80. Which is smaller: v or 1?
v
Suppose 12*i - 10 = -22. Let j = 223/663 - 20/39. Which is smaller: i or j?
i
Let x = 49 + -60. Which is smaller: -14 or x?
-14
Let p be (10 - 6) + (2 - 162/26). Which is smaller: p or 0?
p
Let x = -98616857/31 + 3180550. Let h = x - -639. Let s = h - -36/403. Which is greater: 1 or s?
1
Let j = 0.4 + -0.4. Let n = -4.1 + 4. Let g = 0.2 + n. Is j less than g?
True
Suppose -3*a - 4*q - 18 = q, q = 3*a. Which is bigger: a or -9/4?
a
Let r be (0/(-5))/(0 - -1). Suppose -2*v - 2*v = -j - 22, r = 2*j - v + 16. Let u be (-5)/(20/j)*2. Is u equal to 4?
False
Suppose 5*y + 4*d = 4, -4*y - 4*d = -4 - 0. Let a = y - -2/5. Let c(k) = k**2 + 4*k + 1. Let z be c(-4). Which is smaller: z or a?
a
Suppose -2*m = -4*m + 4*q + 20, 22 = 5*m - 3*q. Let s = -27 - -19. Which is smaller: m or s?
s
Let y = -16 - -21. Which is greater: y or -0.3?
y
Let k be 0 - ((-4)/(-1))/4. Is k at most -1/24?
True
Let u be -1*((-14)/(-13))/1. Let o = 124/91 + u. Is 2/13 at most o?
True
Let g be (1 + 1)/(-10) - (-5 - 0). Which is greater: 5 or g?
5
Let g = -21/34 + 2/17. Is -3/4 bigger than g?
False
Let d(q) = q**2 + 2*q - 13. Let m be d(-3). Is -9 not equal to m?
True
Let n = -5 - -3. Let s be 2/n*(0 - 1). Let w = 2 - 1. Is s < w?
False
Let d be 184/520 - (-2)/(-13). Let c be 10/45 + (-4)/18. Which is smaller: d or c?
c
Let o(p) = 2*p - 41. Let m be o(21). Is -3 at most m?
True
Suppose 0 = 2*m - 2*l - l - 27, 6 = -2*l. Suppose 1 = -2*d - m. Let x be ((-2)/8)/(5/d). Which is greater: -1 or x?
x
Let o = 64 + -68. Suppose y = -3*k - 6, -4*k - 2*y - 8 = -0. Is o equal to k?
False
Suppose -81 = 6*j - 9. Is j at least as big as 1?
False
Suppose 0 = -3*l + 2*l, 0 = -3*g - 5*l + 6. Suppose -g*b = -3*i - 0*i - 10, 0 = 5*b - 5*i - 35. Which is smaller: b or 10?
10
Let x = 34317/1885 + -2/377. Suppose -5*z - 56 = 3*w + 25, 5*w = 5*z + 105. Let n = x + z. Is n greater than 0?
True
Let s = -2 - -2. Suppose 0 = -5*t - 2*c - 8, s = 2*t + 2*t - 5*c + 13. Suppose -2*q = -4*i + 2, 2*i - 6 - 15 = 5*q. Is i greater than or equal to t?
True
Suppose -d - d = -4. Let t be (8/12)/(d/(-9)). Is t != -2?
True
Let p = -623/51 + 37/3. Is 0 greater than or equal to p?
False
Suppose -63 = -27*u + 20*u. Which is bigger: u or 11?
11
Let u = 34750017 - 159016078483/4576. Let w = u + -1/352. Are -1 and w non-equal?
True
Let b = -48 + 54.1. Let v = b - 6. Do v and -2/25 have the same value?
False
Let o = -17 - -17.3. Let q be 3/69*(0 - -6). Let v = q - 41/69. Which is smaller: o or v?
v
Let s(j) = -2 + 4*j**2 + 3*j**3 - 3*j - 4*j**3 + 0*j**2 + 3. Let t be s(3). Which is smaller: 2/15 or t?
2/15
Let q(h) be the first derivative of -h**4/4 - 8*h**3/3 + 9*h**2/2 - 4*h - 4. Let a be q(-9). Suppose -2*y + y = 3. Are a and y equal?
False
Let u = -450 - -3156/7. Let p(x) = -x**3 - x**2 + 1. Let y be p(-1). Which is smaller: y or u?
u
Let v = -11 - -8. Let z be 6 + 2 + v + 2. Is 7 greater than z?
False
Let r be (-1)/(-25)*46 + -2. Let v be 6*(-8)/12 + 4. Which is smaller: r or v?
r
Let w(r) = r**2 + 2*r - 5. Let v be w(-6). Suppose -5*d + 24 = 2*n - v, 3*n = -4*d + 47. Let m(a) = -a + 7. Let g be m(n). Is -2 smaller than g?
False
Let v be (0 - -10)*-1*1. Let f be (18/15)/((-3)/v). Let d be f - 0 - 2*1. Which is smaller: d or 2/3?
2/3
Let p(n) = n**3 - 13*n**2 - 11*n - 13. Let t be p(14). Let m = t + -88/3. Which is bigger: m or -3?
m
Suppose 2*f - 5 = 5. Suppose -2*v = -f*s + 19, 4*s + 12 = -3*v + 6*s. Are -4 and v equal?
False
Let f = 0.5 + 3.5. Suppose -3*h - 3*w - 9 = 2*w, 5*h + 2*w - 4 = 0. Let y be (h - 4/6) + -1. Which is smaller: f or y?
y
Suppose 8 + 0 = 4*w. Suppose w = 2*h, 0 = 3*l - 6*h + 2*h - 47. Is l bigger than 16?
True
Let z = -7 - -10. Suppose -z = -2*d - 3*w, 5*d - 5*w = 1 - 6. Let q = 12 + -34/3. Is d smaller than q?
True
Let v(k) = k - 3. Let m be v(3). Suppose -5*q = -4*l + 175, 18 + 25 = l - 2*q. Let f be 174/l - (-1 + 5). Is f at least as big as m?
False
Let g = -0.2 - -0.1. Let k = g + 4.1. Let z = k - 4.2. Which is greater: z or 0.1?
0.1
Let t be -3 + (-1 - -6) + -2. Suppose 0 = 3*s + 3, t*d + 5*s - 7 = -3*d. Is 4 != d?
False
Let x be (17 - 15)/(4/(-2)). Are x and 1 equal?
False
Let h = 14 - 7. Let z(k) = -k**3 + 6*k**2 + 9*k - 8. Let p be z(h). Suppose s = p*s. Is s less than 2/9?
True
Suppose l + 8 = 5*l. Suppose -l*g - 3*d - 2 = 4, 5*g - 2 = d. Suppose 3*o + g = 3. Is 5/3 greater than o?
True
Suppose 11*t - 4 = -3*j + 6*t, 0 = -4*j - t - 6. Let n = 2 + j. Let w be 6/18 + n/(-2). Which is greater: -1 or w?
w
Let s = 52 + -50. Let q be (-1*3/1)/(-1). Is q < s?
False
Let w(l) = l - 5. Let q be w(5). Is q less than -2/3?
False
Suppose -3*f + 52 = 5*q, 28 = 2*f - 0*f + 5*q. Let n be (-6)/f + 1/4. Let r be (4/(-21))/((-6)/7). Is n equal to r?
False
Suppose 3*k - 41 = 2*h, -3*h - 22 = -2*k + h. Is k > 12?
True
Let d(f) = 16*f**2 + f. Let i be d(-2). Let y = -121/2 + i. Is 2/7 smaller than y?
True
Let r = -99 + 100. Let x = 0.6 - 0.3. Which is bigger: r or x?
r
Let m = 473/133 - 92/19. Is -1 less than m?
False
Let w = 7 - 4. Let j = -1 - w. Is j <= 2?
True
Let d be 3 - (0 - 12/(-4)). Is -6/13 < d?
True
Let z = 15 - 5. Let m = z - 12. Is -1 <= m?
False
Suppose 0 = -0*o - 5*o + 30. Let d(a) = a**3 - 2*a**2 + a. Let s be d(2). Suppose -20 + 8 = -s*j. Do j and o have the same value?
True
Let f(d) = d - 8. Let u be f(9). Which is bigger: -3/11 or u?
u
Let f = -0.13 + 0.03. Suppose 11*k + 9 = 2*k. Are k and f non-equal?
True
Let c = 277.99 - 280. Let r = -2 - c. Which is bigger: r or 0?
r
Let o = -2 - -4. Let y be 2*(1/2 - o). Let f = -2.5 - -2.7. Is f at least as big as y?
True
Let r(h) = h**3 + 2*h**2 + 2*h + 3. Let x be r(-3). Let a be (x/14)/((-2)/14). Which is smaller: 7 or a?
a
Suppose 5*y + 22 + 8 = 5*o, 0 = 3*o + 4*y + 3. Let p be (24/(-9))/((-4)/6). Which is smaller: p or o?
o
Suppose -3*y + 5*m - 17 = 0, -5*m + 16 = -0*y - 4*y. Are y and 1 equal?
True
Let w = 7/4 - 25/12. Let q = -4 + 4.1. Do q and w have the same value?
False
Suppose 12 = 4*h - 0*h. Suppose 4*q - h - 3 = r, 0 = -3*q - 3*r - 3. Which is bigger: 2 or q?
2
Let d = -29/2 - -14. Is -0.02 at least d?
True
Suppose -5*u + u + 120 = 0. Let o be -194*(-3)/u*-4. Let g = o - -78. Are 1 and g unequal?
True
Let g be (-2)/(-70) + 3 + -3. Let o = 32/105 + g. Which is greater: o or 1?
1
Let r be 3/(-18) + 34/(-12). Is r equal to -3/2?
False
Let i = 33 - 34. Which is bigger: i or 3/13?
3/13
Let o = -548 + 3097/6. Let d = o + 31. Which is greater: -2 or d?
d
Suppose -5*m - 135 = -5*g, -102 = 4*m - 0*g - g. Do m and -25 have the same value?
True
Let h(y) = 2*y - 8. Let d be h(8). Suppose 53 = 4*u - k, -3*u + 0*u - 3*k + 21 = 0. Suppose 4*o - 3*c = u, -d - 1 = -3*o + 2*c. Is 3 not equal to o?
False
Let a be 3 + 0 - (3 + 0). Which is bigger: a or 1/4?
1/4
Let d be 15/12 - (-3)/(-12). Let o = -2 + d. Is -2 at least o?
False
Let d = -0.3 - -0.5.