y. Suppose 3*o = 2*i - 10, 0 = 5*o + 2*i - 0*i + 38. Which is smaller: o or u?
u
Let l = 10 + -24. Let b = l - -31. Suppose -33 - b = -5*g. Do 10 and g have different values?
False
Suppose -3*r = q - 202, 0 = r - 7*q + 2*q - 46. Let o = -3 - -2. Are o and r unequal?
True
Let p = 5 + 4. Let s = -0.43 + 13.43. Let o = s - p. Which is greater: o or -2/5?
o
Suppose 32*n + 7850 = 970. Is n greater than or equal to -213?
False
Let r = -3.1 + -15.9. Let k = r - -19. Are k and -2/7 equal?
False
Let q = 67092/7 + -9498. Is 87 != q?
True
Let g(q) = -q**3 + 6*q**2 + 8*q - 8. Let i be g(7). Let l = -66 + 67. Let j be l + (-1 - (i + -1)). Is 3/2 at most j?
True
Let w be 22/55*17/(-2). Suppose -4*f = -0*f + 4*p + 4, -2*f - 3*p = 1. Are f and w equal?
False
Let z(g) = -2*g**3 + 5*g + 4. Let k be z(-1). Do -2/95 and k have different values?
True
Suppose -2*u + 1080 = 1358. Is u less than or equal to 0?
True
Let l = 0.1296 + -0.1296. Let u = -3 - -2.8. Is u greater than l?
False
Let r(p) = 2*p - 27. Let l be r(13). Suppose 3 = -0*n - n - q, 0 = 3*n + 2*q + 8. Which is smaller: l or n?
n
Let r be (-4*5/10 - -3)*-1. Do r and -9/25 have the same value?
False
Let w = 1410 - 965. Is w less than or equal to -0.1?
False
Suppose -3*h = 3*m + h - 15, 5*h = m + 14. Is -2/777 equal to m?
False
Let y(p) = 10*p - 25. Let l be y(3). Let u be (180/l)/(-2)*2/(-3). Do u and -1 have the same value?
False
Suppose 62 - 2 = -5*v. Let q be ((-18)/v)/(2 + 2 + 2). Is -1 smaller than q?
True
Let h(f) = -f**2 - 12*f + 262. Let j be h(-31). Are j and -326 non-equal?
True
Let l be 6/(-10) - (-204)/340. Which is smaller: -23/26 or l?
-23/26
Let n = -464.7 + 464. Is -9 at most as big as n?
True
Let j = -387 + 374. Suppose -4*s - 2*n = 58, -17 = 3*s - 2*n + 9. Which is smaller: s or j?
j
Let v = 1.37 - -17.53. Let z = v - 19. Which is smaller: -0.3 or z?
-0.3
Let r be (-2)/12 - (-157)/6. Suppose -r*l = -21*l - 5. Which is greater: 1/9 or l?
l
Let b = 48 + 3. Let w = b - 50.9. Is w > -10?
True
Suppose -3*n = 8*n - 44. Suppose -2*i + 4*m = -10, 7*i = n*i - m + 22. Does i = 2?
False
Let x(u) = -u**2 + 5*u - 6. Suppose -19 = -3*n - 1. Let w be x(n). Let k = 12 + w. Which is greater: -3/10 or k?
k
Let t = -0.2 + -2.8. Let u(g) = -g**3 + 3*g**2 + 2*g - 9. Let y be u(3). Let b be 21/y - (-30)/6. Which is smaller: t or b?
t
Let f be 10/(-30) + (-2)/3 - -2. Suppose -18 = 4*z + 46. Let l be (-2)/z*(-4 + 3). Is f greater than l?
True
Suppose -2*a + 1 = -3. Let k be 3 + 1/1 - a. Suppose 5*i = 5*g + 20, -2*g - 4*i = k - 18. Which is bigger: -0.28 or g?
g
Let p = 606 + -414. Let r = 201 - p. Let i = -12 + 22. Is i >= r?
True
Suppose 2*q = 7*q + 40. Let z be (-5)/2*q/5. Is z at most as big as 7?
True
Let g = 7 + -6.93. Let t = -297 + 297.17. Let v = t - g. Which is bigger: 0 or v?
v
Let z(u) = u**3 + 4*u**2 + 4*u + 2. Let t be z(-4). Let b = -15 - t. Let n = 0.062 - -10.938. Is b greater than n?
False
Let r = 281/39130 - -2/3913. Are 1 and r nonequal?
True
Let f(v) = v - 8. Let w be f(6). Let a be -2 + (2 + 4 - w). Suppose -5*x + r + a = 14, -4*x + 5*r + 2 = 0. Which is smaller: 3 or x?
x
Suppose -17*y - 16*y = -8*y. Which is bigger: y or 2/283?
2/283
Let a = -628 - -642.6. Which is smaller: -1 or a?
-1
Let k(u) = u**3 - 3*u**2 + 2*u. Let q be k(2). Suppose -3*o - 3*y = -q + 3, 5 = -o - 5*y. Let i be (-60)/(-2)*10/105 - 4. Which is smaller: o or i?
i
Let q = 30 - 30. Suppose o - 6*o + s + 8 = q, 5*o + 3*s = -4. Are o and 1/4 non-equal?
True
Let i = 137 - 140. Which is smaller: -3.4 or i?
-3.4
Let t(f) = -3*f - 5. Let i(r) = 2*r + 5. Let s(x) = 6*i(x) + 5*t(x). Let g be s(-2). Is g bigger than 19/2?
True
Let s = 16.933 - 16.9. Let l = -0.167 - s. Which is bigger: l or -2?
l
Let s = 9076/1895 + 4/379. Let f = -77/15 + s. Suppose y - 5*c = 0, 0*y - y + 3*c = 0. Which is smaller: y or f?
f
Let u = -0.004 + -0.011. Which is smaller: -1 or u?
-1
Let u be (-37)/(4/(-1 - 3)). Suppose -23 - u = 4*r. Is r at least as big as -16?
True
Let a(k) = -k**2 - 20*k - 4. Let q be a(-17). Let d = q + -43. Are 0.08 and d nonequal?
True
Let y = 355 - 369.9. Let c = y + 15. Is 2/7 bigger than c?
True
Suppose 2*h + 3*z = 50, h + z + 1 = 24. Is h != 22?
True
Suppose 17*r + 2 = 18*r. Which is smaller: r or 23/15?
23/15
Let v = -941 - -941. Is v less than or equal to 21?
True
Suppose 0 = -22*a + 6*a + 16. Do 115 and a have the same value?
False
Let c(l) = -l**3 - 10*l**2 - l - 5. Let n be 72/(-7) - 6/(-21). Let o be c(n). Suppose 3*p + 24 - 4 = 5*r, -o*r + 20 = -4*p. Is 5/4 at most p?
False
Let u(g) = -6*g - 30. Let m be u(-5). Let h be (-6)/4*8/3. Let w(t) = 2*t + 8. Let i be w(h). Do i and m have the same value?
True
Let n be (-375*3/(-27))/((-4)/(-18)). Is 189 equal to n?
False
Let t be ((-24675)/(-8448) - 0) + -4. Let v = 3/256 - t. Is v <= 0?
False
Let g = 3.91 + 0.09. Let y = g + -3.99. Which is greater: y or 0.2?
0.2
Suppose 105 = -5*r - 5*c, 4*r + 2*c + 35 = -41. Let p = r - -29. Suppose 2*m - p = -m. Which is greater: m or 2?
m
Suppose -3 = 3*f - 2*f. Let a be (-2)/f - 55/150. Which is greater: a or -1?
a
Suppose 31 = -5*m - 4*l + 36, m + l = 1. Is m bigger than 3/4?
True
Suppose 14*g = 9*g + 35. Which is smaller: 90/13 or g?
90/13
Let a = 0.353 - 0.204. Which is greater: 2 or a?
2
Let r = 5977522462/1965 + -3041996. Let l = r - 4/131. Which is smaller: 4 or l?
l
Let w be 35/14*8/(-10). Which is bigger: -24/17 or w?
-24/17
Let s be (315/(-36) + 6)/((-2)/(-12)). Is -17 bigger than s?
False
Let y = -7/136 - -185/3264. Which is bigger: 1 or y?
1
Let i be (-40)/(-5)*3/4. Suppose l = i*l. Let y = -715/4 + 180. Is y >= l?
True
Let h(f) = 2*f**2 + 103*f + 80. Let v be h(-51). Is 1 greater than v?
False
Suppose 0 = y + 2, c = y - 0*y + 4. Suppose q + 2*i - 5 = 4*q, 6 = -4*q + c*i. Is q less than or equal to 3?
True
Let v = 4 - 7. Let h be (-1)/(-8 + 13 - 3). Is h equal to v?
False
Suppose -8*j + 10 = -3*j + p, 4*p = -5*j - 5. Suppose -12*z + 28 = -20. Suppose 4*o = -8, -z*k - o + 0*o + 22 = 0. Which is bigger: j or k?
k
Let j(c) = -48*c**3 - 2*c**2 - 3*c - 2. Let z be j(-1). Let n = 70 - z. Do 25 and n have different values?
True
Let t(k) = k**2 + 7*k - 8. Let f be t(-8). Is -1/526 bigger than f?
False
Suppose 2*y = w - 0 - 1, y - 13 = 5*w. Let k be (11/6 + y)/(-3 + 0). Let c = 4 - 5. Is c < k?
True
Let t be 2 - 37/21 - (-10)/(-70). Which is greater: t or 0.1?
0.1
Let h = -4 + 3.9. Let s be 21/14 + ((-606)/(-156) - 6). Which is greater: s or h?
h
Let b(l) = l**2 - 5*l + 2. Let o be b(5). Suppose 0 = 2*p - 4*w - o - 0, -18 = -2*p - 4*w. Which is smaller: p or 6?
p
Let a = -0.608 - 0.192. Which is greater: a or 5/7?
5/7
Let n be 1/4 + 1281/28. Suppose -5*w + 8 = -2, -3*x = -w - n. Which is smaller: x or -2?
-2
Let l(q) = q**3 - q**2 + 7. Suppose -19*a = -16*a. Let r be l(a). Suppose r*w = 2*w - 5. Is -3/2 < w?
True
Let d = -14 - -7. Suppose -3 = -y, 2*y - y = 4*i - 73. Suppose -i = 3*l + 2*l - 4*k, -8 = 2*k. Is d smaller than l?
False
Suppose -2 = 4*k - 6. Let w = 509 + -6109/12. Is w smaller than k?
True
Let t = -4172123/104 - -40117. Which is bigger: t or -1?
t
Let i(l) = -l**2 - 26*l + 27. Let w be i(-27). Is w at most -154?
False
Let y = 13.35 + -13.35. Which is greater: 60 or y?
60
Suppose 25*m - 4*m - 21 = 0. Which is greater: m or 4/247?
m
Let f(s) = 3*s**2 - s - 4. Let m be f(3). Suppose -4*o + 5*l + 20 = o, -m = -3*o + 5*l. Suppose 10*w - 7*w = o. Is 1 > w?
True
Let r(x) = -x**2 + 4*x + 4. Let f be r(5). Let h = 208 - 454. Let w = -2216/9 - h. Which is greater: w or f?
w
Let c be 1 + 9 + -323 + 6. Are 0.1 and c non-equal?
True
Let n be (-4)/6 + (-5)/(-3). Let b be (8/24)/(n/6). Suppose 5 = b*h + 1. Which is smaller: h or 8/5?
8/5
Let b be 33/(-1)*(-248)/(-24). Are -341 and b nonequal?
False
Let b = 480 - 481. Is b smaller than -32/27?
False
Suppose 3*j = 13 - 7. Suppose 5*t = j*o + 41, t + 0*o + o = 4. Let n = 8 - 1. Is t equal to n?
True
Let x be (432/(-42))/((-3)/(-42)). Which is smaller: x or 2?
x
Let s be 1 + (-28)/(-6)*15/2. Let i = 6 + s. Which is bigger: i or 1?
i
Suppose w - 23 = -5*p, 2*p = -3*w + 4 - 0. Which is smaller: p or 3?
3
Suppose -3*d + w + 3*w - 927 = 0, 0 = -4*d - 2*w - 1258. Let k = d + 12832/41. Which is smaller: -1 or k?
-1
Let h = 24 + -26. Let q be h/(-20)*(7 + 133/(-14)). Is 4 smaller than q?