
Let y be (3/(-6))/(350/28). Suppose 0 = 6*w - 2*w. Suppose 0 = -3*a - w - 3. Which is greater: a or y?
y
Suppose 0 = 5*z + b + 28, 4*z + 3*b + 21 = 3. Let k be 24/8*(0 + z/(-9)). Which is smaller: 19/8 or k?
k
Let q(s) = 489*s + 7. Let d be q(4). Let c = d - 2932. Let f be c/(-85) + 4/(-10). Is f greater than 11?
False
Suppose 0 = 4*b + 4*u - 2*u + 38, 0 = 5*u - 5. Let y = b + 8. Is y < 0?
True
Let o = 160 - 210. Which is smaller: -49 or o?
o
Suppose -4*g - 5*n - 4 = 0, 0 = 4*n - n. Let t be 55/(-5) - g*1. Suppose 18 = 7*s - 9*s. Is t <= s?
True
Let l be 8/((3 - 7)/(-4)) + -4. Which is greater: 2 or l?
l
Suppose 4*q = -16, 4*b + 5*q - 192 = 3*q. Suppose 5*n = -0*n - b. Let o(u) = 2*u + 15. Let c be o(n). Which is bigger: c or -4?
-4
Let n be -6 - (-11)/(330/324). Which is greater: 0.2 or n?
n
Let u(x) = -x**3 + x**2 + 2*x. Let s be u(0). Suppose -3*r + 4*l - 8 = s, 3*l - 6 = -0*l. Suppose c = 5*c - 16. Is r smaller than c?
True
Let l = -15 + 18. Let s be 62 + (-2 + l - 4). Suppose -4*m = s + 41. Which is bigger: -24 or m?
-24
Let q be -1*5*48/(-48). Suppose 0 = 3*a - 7 - 14. Is q at least as big as a?
False
Let k = 11/65 - -29/1365. Suppose 5 - 1 = -4*b. Which is greater: b or k?
k
Suppose -n + m = 3, -2*m + m = 3*n - 11. Suppose -10*x - n*x + 108 = 0. Is 9 at most as big as x?
True
Suppose -12 = r + 2*r. Let v be (2/r)/(2/20). Is v > -6?
True
Let r(l) = l**2 - 3*l - 6. Let g be r(5). Suppose -g*d - 69 = 3*y - d, 2*d = y + 17. Suppose 2 = -18655*h + 18651*h - 2. Is y >= h?
False
Suppose -3*c = -177 - 87. Suppose -2*d + c = -2*a + 12, -194 = 5*a - 3*d. Let v be ((-2)/(-5))/(a/250). Is v not equal to -3?
True
Suppose 0 = 2*t + 5*w - 106, -2*t + 74 = -9*w + 6*w. Which is smaller: 23 or t?
23
Let k be 7 + (13971/(-1074) - -6). Which is bigger: 1 or k?
1
Let s be (-6 - 1408/(-24))*(-6)/4. Is -79 less than s?
False
Let h be 12 - 0 - (-22 - -20). Suppose 6*k - 3*k - 45 = 0. Which is smaller: h or k?
h
Let a be (6 - 3) + 3 - 3. Suppose x + 8 = a*h - 3*x, 0 = 2*x - 2. Let i = 39 - 37. Which is smaller: h or i?
i
Let w be 8988/24*2/1. Is 750 at most as big as w?
False
Let i be -4 - (-90)/35 - 12/21. Let h be 700/550 + 0 + 1*i. Which is greater: -1 or h?
h
Suppose -62 = 23*c - 39. Which is smaller: -24/121 or c?
c
Suppose 0 = 8*n - 4*n + 8, 2*x + 5*n + 10 = 0. Which is smaller: -2/877 or x?
-2/877
Let g = 45 + -44.6. Let o = -3.5 - -4. Let y = o - g. Which is bigger: y or -5?
y
Let y = 12.3 - 39.1. Let z = y + 4.8. Let p = z + 13. Is p >= 0.1?
False
Let h = -31.99 - -30.69. Let i be ((-1)/(-5))/(12/(-30)). Is h at least as big as i?
False
Let w = 7211 - 50984/7. Is -71 less than w?
False
Suppose 9*t - 1000 = 10*t - 2*h, -2 = -2*h. Is -998 > t?
False
Suppose -113*y - 44 = -124*y. Which is smaller: 24/5 or y?
y
Let s = -50 - -23. Let b be s/9 - (1 + 51/(-12)). Which is greater: b or -0.15?
b
Let x = 617 + -614. Is x less than or equal to 12/5?
False
Suppose 0 = -4*b - y - 10, -16*y - 8 = 5*b - 17*y. Is b at most -25/16?
True
Let u be (-3 - (-70)/12)*2. Suppose -4*m + 15 = -3*m - 3*q, 3*q + 27 = 3*m. Which is smaller: m or u?
u
Let j = -5 + 10. Suppose j*s + 30 = 5*m, -2*m + 4*s - 7 = -29. Let h be (4/(-12))/(m/(-18)). Is 5 <= h?
True
Let l(c) = -14*c - 43. Let j be l(-3). Is -1/126 greater than or equal to j?
True
Let n = -959/1914 - -1/957. Which is smaller: 48/13 or n?
n
Let q(f) = -f**2 - 8*f - 10. Suppose 0*o - 4*o - 16 = 0. Let p be q(o). Let t be 33/(-6) - (-7 + p). Does -5 = t?
False
Suppose -3*x - 3 = -r, x - r + 3 = 5*x. Suppose x = -2*w - 1 + 9. Which is smaller: w or 2?
2
Let p = -149.9 + 142. Let j = 9 + p. Let i = j + -1.2. Is i greater than -2/9?
True
Let z = -1354 + 44672/33. Which is smaller: z or -1?
-1
Suppose 5*k + 5*p = 354 - 74, -5*p = -k + 44. Let a = k - 38. Let w be (14 - a)*25/(-2). Do 26 and w have the same value?
False
Suppose 4*t = 5*q - 36, 4*t + 36 = 4*q - t. Suppose 4*a - 30 = 2*a - q*j, -3*j = -5*a + 23. Let n = 4 - a. Is n greater than or equal to -4?
True
Let p = 716 + -532. Which is greater: 0.1 or p?
p
Let m = 289 - 265. Let d = 339.3 + -315. Let n = m - d. Does n = 0.05?
False
Let h(x) = 4*x - 5 - 5*x + 2*x. Let n be h(-4). Let g(q) = q**2 + 7*q + 2. Let m be g(-5). Do m and n have the same value?
False
Let z = -3.23 + 3.23. Let d = 0.3 + 0.3. Which is greater: z or d?
d
Let v = 2 + -5. Let j = v - -2. Let u = -815/3654 + 1/1218. Which is greater: j or u?
u
Let s = 191 + -190.6. Is s at most as big as 3/7?
True
Let d = -168 - -5711/34. Suppose -4*u + 8*u - 8 = 0, 0 = -5*l + 5*u - 15. Do d and l have different values?
True
Let l = 451 - 2253/5. Which is smaller: -1.1 or l?
-1.1
Let z(p) = -12*p + 4. Let u be z(-2). Suppose 4*a + u = -0*a. Let q = a - -14. Is 7 > q?
False
Let b be -1 + -96 + 9 + -11. Which is smaller: b or -97?
b
Let d be (-39)/(-169)*16/(-24). Is d <= 13?
True
Let j = -18 - -15. Let o(l) = -l**3 - 6*l**2 - 6*l + 4. Let m be o(j). Which is smaller: m or -27/7?
m
Let m = 642364 - 5791213/9. Let r = 1103 + m. Is 1/4 > r?
True
Let h(w) be the second derivative of w**4/6 - 11*w**3/2 + 9*w**2/2 - 22*w. Let d be h(16). Is d at least as big as -11/2?
False
Suppose -4*m = -2*i - i - 7, -3*m + 3*i + 6 = 0. Let l be 4/(208/21) - 12/78. Does m = l?
False
Let g be 7/(-21)*(-5 - -2). Suppose 0*j - 10 = -2*j, -g = p - 2*j. Suppose p = u + 11. Is u greater than -3/4?
False
Suppose -5*t + 2*t = 0. Let q = 419 - 249. Let g be (-6 - q/(-30))/((-2)/12). Which is greater: t or g?
g
Let z = 12723/5 + -2545. Is 218.5 < z?
False
Let h = 2/2105 + 10437/92620. Suppose -5*k - x = 1 + 3, -16 = -5*k + 4*x. Is k smaller than h?
True
Let f be -22 - (1 - (1 - 2)). Let c be (f - 0)*1/(-3). Let x be (-6)/33*(-2)/c. Is x != -1?
True
Let c be 12/5 - 8/20. Suppose -4*s - 14 = c*q + 12, 11 = -4*s - 5*q. Let t = -691 - -682. Is s at most as big as t?
True
Let d be (-6 - 1) + (-72)/(-12). Let n = 3643/10 + -365. Which is bigger: d or n?
n
Let w be (17 + -17)/(4/(-1)). Is w <= -10/291?
False
Let g be 4/24*(-5 - (7 - 808)). Which is smaller: g or 134?
g
Suppose 2*n - g + 2047 = 0, 0 = -2*n + 3*n + 2*g + 1036. Is n < -1026?
False
Suppose k = -5*f - 35, 0 = -0*k - 2*k + 2*f - 82. Let s be (2 + 14/(0 - 7))/3. Which is greater: k or s?
s
Let v = 1107/13 + -85. Suppose -4*m - 2 = -2*y, -2*m - 7 = 4*y + m. Is y at least v?
False
Let b(z) = z**3 + 17*z**2 - 19*z - 37. Let r be b(-18). Do r and -170/9 have the same value?
False
Let l(x) = -x**3 - 8*x**2 + 7*x - 1. Let u be l(-9). Suppose -5*i + 3*f + u = 0, 0*f - 4*f - 12 = 4*i. Let c = -15 - -74/5. Are i and c nonequal?
True
Let c(l) be the second derivative of -l**3/6 - l**2 - 2*l. Let m be c(-6). Suppose 5*b + 1 = m*b. Is b <= -5/4?
False
Let r = -0.0388 + -1.8612. Which is smaller: 2/29 or r?
r
Let c(h) = -46*h - 15. Let a be c(-4). Suppose 4*z - z + 143 = -p, a = -4*z + 3*p. Is z <= -45?
True
Let h be (-3)/4 - (-69)/(-276). Is 2/855 greater than h?
True
Let v(z) = -4*z + 3*z**2 - 2*z**2 - 3*z**2 + 8. Let k = -19 + 15. Let n be v(k). Which is bigger: n or -6?
-6
Let q = -122.12 + 122. Is q less than or equal to 5?
True
Let p be ((-1)/(-4)*-241)/(415/332). Does p = -48?
False
Suppose 0 = 2*d - 2*g - 260, 0 = -5*d + 3*g + 250 + 396. Which is greater: 127 or d?
d
Let g be 0 + (-1)/2*0. Suppose g*x = -3*x - 4*v + 11, 0 = x + 4*v - 9. Which is smaller: x or 3/79?
3/79
Let g be (16/(-12))/(2/(-12)). Suppose -9*f + 20 = -g*f. Is 19 > f?
False
Let v be ((-11)/(-11))/(0 + 2/(-24)). Let r be -1*(0 + v/(-39))/2. Which is bigger: -0.08 or r?
-0.08
Suppose -2 = 6*v - 8*v. Let h be ((-6)/(-1))/3 + -2 + v. Is -1/4 at least h?
False
Let t = 118 + -106. Let c be (t/(-36))/((-2)/(-6)). Which is bigger: 1/26 or c?
1/26
Let m = -11 - -14. Let r be m + 1*(-8)/20. Does 2 = r?
False
Let w = 732 - 535. Which is greater: 198 or w?
198
Suppose -5*f = -0*f + 3*v - 41, -4*f + 34 = 3*v. Let r(h) = -h + 14. Let y be r(f). Which is greater: y or 5?
y
Let p be 10*-1*76/8. Let x be 31 + -31 + (-2)/p. Which is smaller: x or 1?
x
Let b be (2 - -8)*6/(-4). Let f(x) be the second derivative of x**3/6 + 7*x**2 + 4*x. Let t be f(b). Is 2/53 smaller than t?
False
Let w = 31 + -29. Suppose -w*a = p + 2*a + 18, 0 = -3*p + 4*a + 10. Which is greater: -3 or p?
p
Let s = 719 - 719. Which is smaller: s or -1/82?
-1/82
Suppose -u + 4 = -0*