032/161 - 126/23. Which is smaller: i or 6?
6
Suppose j - 104 = 5*j - 4*r, 2*r = 8. Is -22 equal to j?
True
Let n be 9/(-90)*341/(-7). Let c = -32/7 + n. Which is smaller: -1 or c?
-1
Let k = 4.7 - 5. Let i be ((-63)/(-15))/((-3)/15). Let u be ((-14)/i)/(2/(-6)). Which is smaller: u or k?
u
Let d be (-3)/9 - (-104)/330. Let i be 1/((-20)/(-8) + 3). Let p = i - d. Which is smaller: p or 0?
0
Let t = 9 - 5. Let d be t/(-22) - 41/(-44). Which is smaller: d or 2?
d
Let w = 7 - 8. Let f = 1 + w. Does f = -2/3?
False
Let b = 11 + -19. Let s = 10 + b. Let f = s + -2. Is -2/7 <= f?
True
Let y be (-4)/18*-1*-6. Suppose 5*u + 3 = p, 4*u + 0*p + 14 = -5*p. Is y at least as big as u?
False
Let b be (-346)/(-20) - (-4)/20. Which is smaller: 17 or b?
17
Let c(s) = 29*s - 3. Let x be c(7). Suppose 46 + x = 3*a. Let r = a + -161/2. Which is greater: 3 or r?
3
Let p = -6 + 9. Let f be 1*0/p + 2. Suppose -f*a - 5*j = -j + 6, 2*a + 5 = -5*j. Is a at most as big as -9/2?
True
Let z be (-56)/(-10) - (-3)/(-5). Suppose 3*r = i + 6, 5*r + z - 4 = -2*i. Suppose -3*c = -7 + r. Is c at least 3?
False
Let l = 1 + -1. Suppose 2*i - 1 - 3 = 0. Which is greater: i or l?
i
Let q = 0.08 + -0.38. Let x = q + 0.4. Let p = -0.1 + x. Is 1/3 equal to p?
False
Let j be 3/(-3) + 1*7. Let x be (9/j)/((-15)/(-4)). Which is smaller: 0 or x?
0
Suppose 0 = t + 4*u + 18, 0*t + 5*u + 40 = -3*t. Let x = -9 - t. Which is greater: x or 2?
2
Suppose 0 = 5*f - f - 68. Which is bigger: f or 15?
f
Let c be 0*(1*-3 - -2). Let u be ((-6)/8 - c)/3. Let q = -0.1 + 0.2. Is q <= u?
False
Let y = 239/4 - 60. Let m be ((-1)/1 + 1)/1. Does y = m?
False
Let x(t) = 2*t**2 - 13*t + 8. Let z be x(7). Suppose -5*d = z, 4*i + d = 11 + 2. Which is smaller: i or 3?
3
Let p = -23 - -15. Is p at most as big as -0.4?
True
Let s be 132/21 - 2/7. Let o be (8/(-54))/(s/(-9)). Let z be 9/(-21) - (-6)/14. Are z and o nonequal?
True
Suppose 0 = d - 3 + 6, 3*w - 2*d = 3. Let f be 0/w + (-1)/(-17). Which is greater: f or 0?
f
Let n be (58/28 + -2)*-4. Let o = -7 - -5. Let p = 1.9 + o. Do n and p have the same value?
False
Suppose 5*d + 4 = 3*z - 14, -z - 10 = d. Which is smaller: d or -40/7?
d
Let z = 0 + -1. Let m = -7003/14 - -500. Which is bigger: z or m?
m
Let s = 8 + -13. Let c = 4 + s. Let h = -1 + c. Is h smaller than -2?
False
Let o = -188 - -4511/24. Which is greater: 1 or o?
1
Let n = 9.7 - 5.8. Which is greater: 2/3 or n?
n
Suppose x + 0 = -2. Let h(f) = f**3 + 6*f**2 - 2*f - 4. Let c be h(-6). Suppose 0 = -m + 2*l - 10, l = 3*m - c*m + 5. Which is bigger: x or m?
m
Let y = 0.04 + -5.04. Let x = y + 4. Which is greater: 2 or x?
2
Let m = 5.04 + -0.04. Let x = m + -5. Is -3 > x?
False
Suppose 2*t = 3*m + 13, -4*t - 2*m + 1 = -1. Suppose b + 15 = 4*b + 3*u, -t*u = -4. Which is bigger: b or 2?
b
Let u(q) be the third derivative of -q**5/60 - 5*q**4/24 + 11*q**3/6 + q**2. Let b be u(-6). Is b smaller than 5?
False
Let q = -0.015 + 0.043. Which is bigger: -1 or q?
q
Suppose -5*x + 5*m + 5 = 0, 0*x + 4*m + 2 = 2*x. Let z be (-1 - 1) + (x - 0). Which is smaller: -3/5 or z?
z
Suppose 5 = 3*t - 1. Let x = 2 - t. Let h be 5/(-30)*(-6)/(-4). Which is greater: h or x?
x
Suppose 6 = -2*h - 0. Suppose 3*j + 3*o + 9 = 0, -o + 6 = -0*j - 2*j. Is h equal to j?
True
Suppose -4*c - 4*w + 2 = c, 0 = -c - 5*w - 8. Let r be 3 - (22/26 + c). Do -1 and r have the same value?
False
Suppose 0 = 5*j - 846 - 219. Let v = 339 - j. Let o be (-8)/v - 4/(-14). Do o and -3 have the same value?
False
Let b(i) = 2*i**2 - 2*i**3 + 0*i**3 + i - i**3. Let h be b(-1). Let o(n) = -n**3 + 3*n**2 + 4*n. Let k be o(h). Which is bigger: k or -1?
k
Suppose 3*i + 2*n - n - 2 = 0, 0 = 5*i + 4*n - 15. Is -1/37 at most i?
False
Suppose 4*x + 2*x = 2*x. Which is smaller: x or 2/139?
x
Suppose l + 5 = -2*p, -4*l + 6 = -l - p. Let j = 4 - 1. Which is smaller: j or l?
l
Let h(q) = -q**2 + 6*q + 10. Let i be h(7). Let x be (-6)/(i*(-4)/6). Is x <= 1?
False
Let p(u) = -u + 23. Let v(a) = a - 23. Let w(c) = 3*p(c) + 2*v(c). Let r be w(0). Suppose 4*d = -6 + 18, -2*i - 5*d + r = 0. Which is bigger: i or 3?
i
Suppose -l - 3 = 0, -4*s + 0*l - 3*l - 5 = 0. Let b be (3 + -3)*s/(-3). Which is smaller: 14/5 or b?
b
Suppose 0 = 5*r + 3*s - 0*s + 39, 0 = 4*r - 5*s + 9. Let p be (1 - (-14)/r) + 1. Which is bigger: 2 or p?
2
Suppose -5*n = -2*i - 21, -2*n = -4*n + 10. Suppose c = -r - 4*r + 6, i*r + 3 = 5*c. Is -1 less than r?
True
Suppose 2*t + 0 = -4. Let o be (-1)/(1 + t) + -4. Is o not equal to -3?
False
Suppose -3*f - 6 = -f. Which is smaller: f or -1?
f
Let h = 100/3 + -33. Is h equal to 2?
False
Let w(k) = -8*k**2 + 1. Let m be w(-1). Let j = m + 8. Which is bigger: j or 0?
j
Let c be 189/18*(-2)/2. Do -12 and c have different values?
True
Suppose -21*f + 24*f = 36. Is -0.2 less than f?
True
Let i be 89 - (-1 + 1)/(-3). Let k be ((-1)/i)/((-3)/3). Let p = -363/623 + k. Is 0 <= p?
False
Suppose -3*s + 7*s - 8 = 0. Let k = s - 2. Which is greater: -4/9 or k?
k
Let c be -1*(-1 + (0 - -1)). Suppose 0 = -5*l + 4*j + 7, -l + 2*l + 2*j + 7 = 0. Is l equal to c?
False
Let h be (-6)/(6 - 3) + 4. Let p be (h - 1 - -3) + 1. Let g(l) = -l + 1. Let a be g(-3). Which is smaller: p or a?
a
Let a = 0.168 + -0.978. Let i = 0.19 - a. Does -1 = i?
False
Let y be -1 + 4*((-580)/(-176) - 3). Let x = 3 + -3. Which is greater: x or y?
y
Let k be 6/(-27) + 584/36. Is k < 14?
False
Let k = 2.4 - 2. Let r = 32.4 - 37. Let b = k - r. Is b != 0?
True
Let y = 58 - 288/5. Which is bigger: y or 3.9?
3.9
Let s be 16/99 + (-16)/72. Is s at least as big as 0?
False
Let m(p) = 2*p**2 - p - 1. Let v be m(-2). Let f be 2/(-7) - v/(-7). Which is greater: 8/7 or f?
8/7
Let g = 0.1 + 0.1. Let n = g + -0.1. Let z = -0.14 + 0.24. Do n and z have the same value?
True
Let w = 2 - 3. Let j = 32 + -32. Is j smaller than w?
False
Suppose 85 - 5 = -5*n. Let l = -18 + 2. Is l less than n?
False
Let j = -29/50 - -2/25. Which is bigger: 0 or j?
0
Let b = 18 + -16. Are 0.3 and b non-equal?
True
Let o = -6 + 11. Let x = o + -3. Which is smaller: x or 7/4?
7/4
Let m = -4 - -10. Let k = 12 - 4. Let l = k - m. Which is greater: l or 4/7?
l
Let g be 1/5*(-10)/(-6). Let t = -1 + 4. Let x be 0 + (-2 - (-8)/t). Is x bigger than g?
True
Let k = -18 + 13. Let u be ((-4)/3)/((-1)/(-3)). Which is greater: k or u?
u
Let b(q) = q**2 + 3*q - 1. Let s be b(-3). Let y(l) = -l**2 - 18*l - 18. Let u = 10 + -27. Let r be y(u). Is s at most as big as r?
True
Let q = 3 + -2. Let w(l) = 2*l - 14. Let p be w(11). Let r = p - 3. Do q and r have different values?
True
Suppose 0 = 2*r + 2*r - 132. Suppose -3*d = r - 3. Let y = -14 - d. Which is bigger: y or -5?
y
Let f = 17 + -17. Let g = -3 - -2.9. Is g at most as big as f?
True
Let v(w) = 2*w**3 + 2*w**2 - 1. Let c be v(-2). Let s be 11/c - (-2)/9. Let m(j) = 2*j + 2. Let o be m(-2). Which is smaller: o or s?
o
Let t(r) = r**2 + 9*r + 7. Let u be t(-8). Which is bigger: 1/13 or u?
1/13
Let o be (8/(-10))/((-1)/35). Suppose 0*j = j - o. Let g be ((-1)/12)/(2/j). Which is bigger: 0 or g?
0
Let o = 16 + -11. Suppose 3*y - 5*w - o = -0, -y + 3*w + 3 = 0. Suppose 3*b = 4*c - 8, -3*c - 11 = -4*c + 3*b. Is c greater than or equal to y?
False
Let t be 1*13*(-75)/25. Which is greater: t or -38?
-38
Let o be (1 - 0)*(-12 + 6). Let c(l) = 0*l - 5 - l + l**2 + 6*l. Let d be c(o). Is 1/7 smaller than d?
True
Let s = -8 + 6. Let p = s - -3. Are 5 and p nonequal?
True
Suppose i = -i. Let y be 0/(0 - (-1)/1). Suppose y*r - 3 = 3*r. Is r equal to i?
False
Suppose -5*o = -2*g - g + 25, -4*g - 10 = 2*o. Suppose g*l = -l. Suppose l = -f - 5 + 6. Is 0 greater than f?
False
Suppose 4*f = 3*f + x + 2, 4*f + 8 = -4*x. Are f and -3/88 equal?
False
Let u = -0.86 - -0.73. Is u greater than or equal to -4?
True
Let l = 32 - 18. Let q = l - 8. Are 7 and q equal?
False
Suppose -4*a = s + a + 5, 0 = 2*s + 3*a - 4. Suppose 0 = -i + s*z + 19, -i + 0*z + 2*z + 7 = 0. Let x be ((0 - -2) + i)*1. Is 1 at most as big as x?
True
Let j = 10 + -5. Suppose -2*y + 8 = -3*f, j*f = 3*y + 2*y - 20. Which is greater: 1/3 or f?
1/3
Suppose 0 = 4*s - 1 - 19, 4 = -f + s. Let u be (-138)/(-532) - 4/14. Is u > f?
False
Let m(u) = -u + 20. Let x be m(-23). Is x != 43?
False
Let j(d) = d**2 + 2*d + 2. Suppose 4 = 2*y - 4*y. Let a be j(y). Is 2 