)/((-4)/30). Which is smaller: o or v?
v
Let h = -1 - -15. Suppose -t + 24 = -4. Suppose -6*c + 70 = -c - 3*b, 2*c = -2*b + t. Is h at most as big as c?
True
Suppose -5*v = -9 - 51. Suppose -q = -f + 2, 0 = -f + 6*f - 4*q - v. Let c be f*(-1)/(-2) + -5. Which is smaller: -11/5 or c?
c
Let x = 277 - 281. Are -2/23 and x unequal?
True
Let q = -13398/67 - -200. Suppose 0 = -4*m + 12, 5*m = -0*g - g + 14. Which is smaller: q or g?
g
Suppose -28*h - 369 - 807 = 0. Let j be (12/8)/(2/(-56)). Is h > j?
False
Let j(u) = 4*u**3 - 9*u**2 + 3*u + 6. Let y be j(2). Which is greater: 66 or y?
66
Suppose 0*i = -5*i - 2*t + 216, 0 = -3*i - 4*t + 138. Let b = -46 + i. Do -4 and b have the same value?
True
Let t(k) be the second derivative of 1/3*k**3 - 1/12*k**4 + 0*k**2 + 0 - 10*k. Let y be t(1). Which is bigger: 18/11 or y?
18/11
Let o(j) = j**3 - 2*j**2 + 2*j - 3. Let c be o(2). Let q be (4 - c)/((-5)/(-45)). Let s = -407/15 + q. Is s at least as big as -1?
True
Let m = 14.627 - 0.627. Which is smaller: m or 18?
m
Suppose -3*a = -0*a - s + 36, -5*a + s - 58 = 0. Let o = a - -22. Is 11 equal to o?
True
Suppose -5*l + 12*l + 245 = 0. Which is bigger: -34 or l?
-34
Let d be -2 - (1 + 0)*-2. Suppose -3*w - 5*z + 1 = 0, -6*z + 10*z = 8. Which is smaller: d or w?
w
Let b be 4/(-6) - 290/15. Let s be -1 + -15 - (-3 + 14 + -8). Is b != s?
True
Suppose 5*l - 2*l - 5*t = -14, 32 = -4*l + 4*t. Let u = -13 - l. Let a = 1 - 2. Which is greater: u or a?
u
Let p(y) = 2*y - 18. Let o be p(9). Suppose -2*d + 12 = h, 2*h + h + 6 = o. Which is smaller: d or 13/2?
13/2
Let m be ((-2)/3*1)/2. Let o be (2 + 13053/138)*25/15. Let r = -161 + o. Which is smaller: r or m?
m
Let z be (0 - (-1 + 0))*-12. Suppose 154 = 53*x - 42*x. Let c = x + z. Are c and 2/17 equal?
False
Let u be 54 + (16 - 16 - (-1 - 2)). Are 57 and u equal?
True
Let d = -170 + 181. Is 13 smaller than d?
False
Let o = 488 - 2995/6. Let f = 11 + o. Let y = -91/12 + 22/3. Is y at most as big as f?
True
Suppose -3*i = -2*f + 190, 4*f + 81 + 35 = -2*i. Let l be 4/16 + i/280. Suppose -5*s + 2*q = 2, -4*q + 4 = -s + 3*s. Which is smaller: s or l?
s
Let l be ((-2)/(-2))/((-2)/14). Suppose -9 = -5*o - a - 44, -4*a - 7 = o. Is o smaller than l?
False
Let s = 21/34 - 325/306. Is s equal to 3/11?
False
Let p be (5/(70/8))/((-32)/112). Which is smaller: p or 36?
p
Suppose 0 = -n - 12 - 28. Let z be (1/4)/(n/(-224)). Is z at most as big as 1?
False
Let w = -4689.7 - -4887. Let m = w + -198. Let n = -3 + 3.1. Which is greater: n or m?
n
Let m = -30 - -31.4. Let v = -1.2 + m. Is v less than or equal to 0?
False
Let a = -48 + 30. Let f = -17 - a. Are f and 1 non-equal?
False
Let s be -3 - ((-30)/50)/((-16)/(-65)). Is 0 < s?
False
Let j be 10/(-6) - (-448)/270. Do j and -1 have different values?
True
Let i = -1378 + 1348. Let l(f) = f**3 + 9*f**2 + 13*f + 10. Let r be l(-8). Is r less than i?
False
Let s be (2 - (0 - -3)) + 4. Suppose 0 = 3*j - 18 + 6. Suppose 2*g = j*g, -v = s*g. Is 1/6 bigger than v?
True
Let i be (33/22)/(4/(-4)*(-3)/6). Let s = -2571/8 + 324. Which is greater: i or s?
i
Let g be 2 - -1 - (-6)/(756/(-414)). Are g and 288 nonequal?
True
Let b(w) = 4*w**2. Let d be b(1). Let z be d/2*12/(-8). Suppose 2*x = -3*x - 2*u, -4*x = 5*u. Which is greater: x or z?
x
Let n = -3.289 + -1647.711. Which is smaller: 0 or n?
n
Let s be ((-4)/(-14) - (-60)/(-14)) + 13. Let v(q) = q**2 - 7*q - 12. Let r be v(s). Which is bigger: r or 5?
r
Let f = 1.067 + -1.037. Is -64 > f?
False
Let j = -4 - -3.9. Let n be 1 + 3/17 + -1. Which is bigger: n or j?
n
Let f = 42518/75 + -1700/3. Which is smaller: 5 or f?
f
Let s = 79 + -106. Let c = s + 26.8. Is -31 at least as big as c?
False
Let f = 142 + -144. Let r be (f/(-12))/(22/(-88)). Let l(p) = 2*p**2 - p. Let c be l(-1). Are c and r equal?
False
Suppose -3*a - 3*z = -33, -34 = -4*a - z + 13. Is a greater than 12?
False
Let v(k) = -46*k - 380. Let t be v(-9). Do t and 4 have the same value?
False
Let u = -16 - -15. Let h be u + 0 - 2245/(-380). Let r = -60/19 + h. Which is bigger: r or 1?
r
Let w be (-1968)/(-1974) + (-3)/3. Which is smaller: -1 or w?
-1
Let r(k) = -k**2 + 3*k - 73. Let j(s) = -s**3 + 23*s**2 - 20*s - 44. Let y be j(22). Let g be r(y). Which is smaller: g or -71?
g
Let w = 6.397 - 6.4. Let k = -0.033 - w. Let u = -3 - -5. Which is greater: k or u?
u
Let j = -7 - -27. Let g be -16*(-3 + j/8) + -2. Which is smaller: g or 5?
5
Let t = 95 + -88. Let s be (-326)/(-14) + (-2)/t. Which is greater: 22 or s?
s
Let x be 11 - 20/(-2130)*-1164. Is x at most -1?
False
Suppose -k = 5*i - 69, 0 = k - 7*i + 4*i - 37. Let t = k + -50. Is 2 smaller than t?
False
Let b = 1 - 1. Suppose 0 = -155*p + 41*p + 684. Which is smaller: p or b?
b
Let d be (-8)/(-7) - (0 - 3/(-21)). Let q be -1 - (d/((-132)/(-260)) + -3). Which is smaller: q or 0?
0
Let r = 45397/97 + -468. Are 1 and r unequal?
True
Let y(v) = 16 + 4*v**3 - 3*v**3 - 43*v**2 + 55*v**2. Let d be y(-12). Which is greater: d or 15?
d
Suppose -4 - 2 = -3*s. Suppose -u + 2 = -s*u. Let p be (u - 1) + 3 + 0. Which is smaller: p or -3/5?
-3/5
Suppose 0 = -a + 4*c + 91, 3*a + 8*c - 273 = 13*c. Is 90 > a?
False
Let g = 434 + -17796/41. Let s = 4 + -4.1. Let d = -0.1 - s. Is g smaller than d?
True
Let s = 9695/4 - 2445. Is -1 not equal to s?
True
Let b be -1*(-3 - 19/(-7))*103. Let u = -29 + b. Is -1 equal to u?
False
Let y be (-1 - 668/32)*2. Suppose 5*i - 229 = -3*r, 5*r = 4*i - 79 - 82. Let n = i + y. Which is bigger: n or 1?
1
Let r = 3 + -43. Let h be (-3756)/r*-1 - 0. Let f = h - -375/4. Which is bigger: -1 or f?
f
Suppose -d + 2*w - 7*w = -14, 2*w = 5*d - 16. Let l be d/((-112)/76) - 0. Let g = -3 - l. Which is smaller: g or 1?
g
Let l = -380.15 - -380. Is -8 > l?
False
Let g = 228 - 154. Let p = 76 - g. Which is smaller: p or 1?
1
Let z be (6/(-8))/(6/(-4)). Let a(j) = -j**3 + 15*j**2 - 22*j - 51. Let h be a(13). Is h greater than or equal to z?
True
Let j(k) = -4*k**2 - 23*k + 41. Let g be j(-6). Is g greater than or equal to 25?
True
Let u = 2691 - 2763.64. Let g = 73 + u. Which is bigger: g or 1?
1
Let g be 5 - 1 - 3/3. Let y be (0 + -3)*(-8 + 7). Suppose 2*s - g*n = -14, -y*n + 4 + 7 = s. Are s and -3/8 nonequal?
True
Let x = 5 + -4.96. Let q = -0.34 + x. Let u be 22/(-28) + -3*(-6)/36. Is u at least q?
True
Let p(z) = -3*z**3 + 2*z**2 + 2*z. Let f be (0 - (1 - -1))*-1. Let k be p(f). Which is smaller: k or -11?
k
Let b be (-10)/(-2) + 0/(-2). Let t = 2885 + -8638/3. Which is smaller: t or b?
b
Suppose 3*t - 9 = -3*n, -5*n - 2*t + 4*t + 15 = 0. Suppose -4*c = -4*r, n*r + 5*c - 1 = 7*r. Let g = 7 + -5. Which is smaller: r or g?
r
Let q = -220 + 220. Which is smaller: -1/3 or q?
-1/3
Let r = 35 + -1577/45. Let v = 12 - 27. Let d be v/3 - (-1 + -3). Is d > r?
False
Let a be -4 + 7 + -3 - 2. Does a = -33/10?
False
Suppose 2*a + 2*t + 9 = 5, a + 5*t = -6. Is 2/97 <= a?
False
Let z = -35 - -34.6. Let q = z - 0.6. Which is greater: -14 or q?
q
Let w = 299.1 - 299. Is w not equal to -144.9?
True
Let q = 3 - 1. Let t be ((-155)/(-93))/((-1)/(-18)*5). Is q greater than t?
False
Let r be (-9)/(27/(-6)) - 1. Let w be r - -3*(-15)/27. Let z = 2.5 - 14.5. Is w != z?
True
Suppose 0 = 3*w - 2*w + 4. Let a be (0 - (-4)/w)*5. Let l be 48/(-20) + 3/a. Is 1/4 greater than or equal to l?
True
Let v be -5 - -3 - (0 - 0). Let d be (-2)/(-6)*(-13 - v). Which is bigger: d or -4?
d
Let q = -2 + -9. Let r be q/66 + (-257)/(-30). Let x = r - 109/10. Is x not equal to -4?
True
Let y(l) = l**3 - 34*l**2 - 107*l - 79. Let v be y(37). Is v at most as big as 70?
True
Suppose -h = -3*h + 6. Suppose h*o = -2*u + 17, -15 = -3*o - 0*o. Is u bigger than -5/21?
True
Let w be (3/6)/((-1)/(-2)). Let l be (0 + w)/((-354)/(-84)). Let f = -110/531 - l. Which is smaller: -1 or f?
-1
Let o = 902 - 901. Is o greater than 2/2415?
True
Let y be ((-1)/(-2))/(2/(-36)). Let n(g) = -g**3 - 6*g**2 - 5*g + 4. Suppose -3*w = 29 - 17. Let b be n(w). Is y not equal to b?
True
Let r be 278/(-4)*(14 + (-3 - -3)). Is r at least as big as -972?
False
Let r = 1/12 + 1/4. Which is bigger: 27 or r?
27
Let c be (-7)/(-1) - ((4 - -42) + -4). Does -29 = c?
False
Let r be (-4)/6*(-12)/(-8). Suppose -20 = 7*v - 2*v. Let s be (r/v*3)/(-3). Which is smaller: s or -1?
-1
Suppose 13*y + 1 = 1. Which is