d. Is v < -2?
False
Let i = 4 + -7. Suppose -7*g + 12*g + 2 = -m, 4*m - 12 = 0. Which is smaller: g or i?
i
Suppose 0*u - 3*s - 375 = -5*u, -5*u = 2*s - 350. Suppose 2*o - u = 4*y, 8*y - 5*y - o + 56 = 0. Let t be (y/(-8))/((-91)/(-14)). Which is bigger: -1 or t?
t
Let v be 3/33*(75 - 0). Let c = -37386 - -37393. Which is smaller: c or v?
v
Let u be 22*((-1)/(-5) - 0). Let f = 138 - 215. Let i = f + 78. Which is greater: u or i?
u
Let u(k) = k**3 - 7*k**2 - 7*k - 7. Let y be u(8). Let t be -1 + -1 - y/(2/(-6)). Suppose -2*i + 7 - t = -f, 4*i = 3*f + 24. Are -2 and f unequal?
True
Let o = 77.2 - 72.2. Let r = 6.6 + -4.6. Let t = r + -11. Is o at least t?
True
Let s(t) = -207*t + 19. Let k be s(2). Let l = k - -1561/4. Let q(y) = y**3 - 6*y**2 - 7*y - 6. Let m be q(7). Is m at least as big as l?
False
Let r = 0.07 - 22.07. Let f = 452.963 - -1.037. Let g = -456 + f. Which is smaller: g or r?
r
Let o(q) = -q - 40. Let k be o(-43). Suppose -17*c - 2*r = -18*c + 2, 4*c + 2 = k*r. Is c <= 9?
True
Let p(a) = -a**2 + 18*a - 3. Let i be p(18). Let c be (-286)/66 + (-1)/i. Which is bigger: c or -1?
-1
Suppose -16*g - 27405 = -31*g - 48*g. Is g not equal to 447?
True
Let u(a) = a**3 - 26*a**2 - a + 23. Let p be u(26). Suppose d + 0*r + 2*r = -6, 4 = -4*r. Let m = d - p. Which is bigger: m or 0?
0
Let s be ((-105)/10)/((-6)/(-8)). Let k be (-11)/(-44) + 237/(-4). Let y = k - -46. Is s < y?
True
Let o be (19/6)/1 + (-53)/318. Suppose -12*j - o*t - 364 = -17*j, 2*j + 4*t - 130 = 0. Is 71 <= j?
True
Let s be (2/4 - 0)/(2046/7170548). Which is bigger: 1752 or s?
s
Let b be -21 + (16 - -7) - -5*(-569 + -2). Is -2847 bigger than b?
True
Let o = -3827 + 2133. Does 1 = o?
False
Let g = -55/3 + 2359/129. Let v(z) = -5*z**3 - 4*z**2. Let l = -126 + 125. Let f be v(l). Which is smaller: f or g?
g
Let x = -183 + 193. Let z be (38/x - 1)*30/66. Do z and -0.1 have the same value?
False
Let m = -6414 + 6426. Which is smaller: m or 1?
1
Suppose 3*f - 4*x = -17, -5*f + 5*x = 16 + 9. Suppose -20*v - 3*v - 241907 = -241838. Is v greater than f?
False
Let r be (-27)/(-6)*7/((-63)/(-66)). Let v = r - 51. Let s be (-2)/(-6)*v/(-492). Is 0 >= s?
False
Let m = 91/4449 - 1957003/1712865. Let t = m - 9/55. Which is bigger: t or 0.1?
0.1
Let q = 551 - 547.8. Let o = -19.8 + 23. Let l = o - q. Are -2/7 and l equal?
False
Let h = 1091/7 - 154. Let f = 1/7 - h. Is -3 != f?
True
Let m = -327 + -54. Let l = m + 381. Which is bigger: 22/3 or l?
22/3
Let i = 947312537/76944 - 86182/7. Which is smaller: i or 0?
i
Suppose -41*s + 20*s + 357 = 0. Let j be (s/68)/(1*(-2)/232). Which is greater: j or -113/4?
-113/4
Suppose -16174*f + 16113*f + 9394 = 0. Which is greater: 141 or f?
f
Let n be (-1 + (-10)/(-4))*22/(-33). Let l be (8*(-6)/24)/(n + 2). Is 45 bigger than l?
True
Suppose 3*r - 35 = -5*h, -2*h + 0 - 10 = 0. Suppose r = 5*t - 0*t. Suppose t*v - 91 - 9 = 0. Is v smaller than 25?
False
Suppose -7*u - 4*u = -4741. Let h = 430 - u. Let s = -1/131 + -124/917. Which is greater: s or h?
s
Suppose 2*n + 3*u + 12 = 0, 0 = n + n + 5*u + 24. Which is smaller: n or 2.02?
2.02
Suppose 0*i - 28278 = 99*i + 43101. Is i at most as big as -2?
True
Let i = -550/19 - -29. Let k = 584 - 666. Let h = 81 + k. Is i equal to h?
False
Suppose -53 = -5*k - 4*c, -c + 10 + 26 = 3*k. Let l be (14 - k) + (4 - 0). Let m be ((-2)/l)/((-4)/30). Which is greater: m or 10?
10
Let i = 42/149 - 2494/4619. Let v be 1558/1722 + (-2)/(-42)*2. Which is bigger: v or i?
v
Let h = 65135499/107440 + 1/107440. Let n = h - 16383/28. Is 22 at most n?
False
Suppose 209*j - 771885 - 72005 = 94938. Is j less than or equal to 4493?
True
Let t be (-388)/(-2231)*(0 + -2). Suppose -5*s - 4*a + 2*a = -14, 0 = -3*s + 5*a + 27. Suppose 4*l + s = -0. Which is smaller: t or l?
l
Let x = 6940561/929 - 7471. Which is greater: 0 or x?
x
Suppose 0 = -7*y + 6*y + 9. Let c(d) = -2*d**3 + 16*d**2 + 19*d - 8. Let r be c(y). Let h be 286/385 - r/(5/(-2)). Which is smaller: 1 or h?
1
Let p be 13/(-195)*3020/8. Let r = p + 49/2. Let c = -6 + -1. Are r and c nonequal?
True
Let n = -8.9 - 37.1. Let w be 3/((-3)/4) + 6. Let a be ((-36)/(-81))/(w/3). Which is greater: a or n?
a
Suppose 6129 = -151*w + 58224. Which is smaller: 1728/5 or w?
w
Let a = -185 + 190. Let p = -2.6 + 0.9. Let m = 1.5 + p. Which is greater: a or m?
a
Let v = 52 - 47. Let y = v + 47. Let h = 49 - y. Which is bigger: h or -4?
h
Let r be (-1)/(3/(30/(-2))). Suppose 61 = 7*o - 9. Let h be (2/o)/(1/18). Is r at least as big as h?
True
Let z = -9.4 - -12.05. Let h = z + -1.95. Let k = 1.9 - -0.1. Which is smaller: k or h?
h
Let l be (-99)/198*(1 + (-86)/(-6)). Suppose 0 + 48 = 8*w. Suppose -n = -w*n - 40. Which is smaller: l or n?
n
Suppose r = -5*s, -3*s = -4*s. Suppose 5*f = -2*j + 300, r*f - 4*f = -j - 227. Which is greater: 57 or f?
f
Let u(t) = 6*t**2 - 21*t + 4. Let p(w) = -7*w**2 + 21*w - 5. Let f(n) = -5*p(n) - 6*u(n). Let z be f(21). Let v = 979/2800 + 3/400. Which is bigger: z or v?
z
Let l(j) = -j**3 - 11*j**2 - 8*j + 22. Let m be l(-7). Let p = 135 - 255. Is m bigger than p?
True
Suppose 0 = -5*o + 5*j + 40, -16 = -4*o - 2*j + 40. Which is bigger: o or -1/35?
o
Let x = -0.3 - 0.29. Let w = 0.39 + x. Let a = 0.55 + -0.65. Which is bigger: a or w?
a
Let f = 6657 - 9453. Are f and -2796 non-equal?
False
Let k be 2/(-24) - (196311/(-27684) + (5 - -2)). Which is smaller: k or 0.1?
k
Suppose 0*y - 34 = -4*y + d, -4*y + 42 = -5*d. Let m be (-260)/y*-1*6/5. Let q = -10 - m. Is -50 at most as big as q?
True
Let p be (3/((-6)/(-15) + (-522)/630))/61. Are p and 1 equal?
False
Let p = 213 + -363. Let w be ((-1)/3)/(10/p). Suppose -465 = w*o + 5*d, 6*o = 3*o - d - 277. Is o equal to -91?
False
Suppose 83 - 15 = -m - 9. Let c(r) = -3*r**2 - 15*r - 1. Let s be c(-5). Which is smaller: m or s?
m
Suppose 5*s - 4*z - 92 = -2*z, -5*z - 40 = -3*s. Let u = 35 + s. Let r = 47 - u. Is r at least -6?
False
Let q(w) = w**2 - 7*w - 26. Let y be q(10). Suppose 5*g = -3*i - 250, y*i - 6*i - 245 = 5*g. Let t = g + 46. Is t at least 5/21?
False
Let m = -2422 - -5874. Is m >= 3453?
False
Let n(h) = -h**3 - 33*h**2 - 119*h - 1258. Let r be n(-30). Which is greater: r or -398?
r
Suppose 0 = -2*b + 23 - 65. Suppose -14 = 5*h - 4, -1 = q - 4*h. Let t be (2/(-4))/(q/(-396)). Are b and t non-equal?
True
Suppose 0 = 5*s + 7935 + 6775 - 5525. Which is smaller: -1836 or s?
s
Let k = -11 + 8.8. Let r = k - -3. Let b(f) = -512*f - 3071. Let l be b(-6). Is r greater than l?
False
Let j = 127 + -91. Let q be ((-66)/j)/11 + (-879)/18. Which is smaller: -51 or q?
-51
Suppose -4*l + 280 = 4*s, 4*l + 285 = -2*s + 577. Is 7/6 at most as big as l?
True
Let m = -0.5 + -0.9. Let b = 11512/39 + -3846/13. Which is bigger: m or b?
b
Let q = -189808/14729 + -30/1339. Is q equal to -14?
False
Suppose -1715 = 125*l + 1995 - 1210. Is -101 not equal to l?
True
Let d = -7450266/44285 + 2860/17. Do d and 0 have the same value?
False
Let s = -1.154 - -0.554. Let d be 2/(-5) - 81/(-15). Let n = 3 - d. Which is smaller: s or n?
n
Let y = -8043 - -8041. Which is greater: -17 or y?
y
Suppose 77 = -12*n + 149. Is -0.414 >= n?
False
Let c = -2669 - -2658. Let j = 28.8 + -18.1. Let i = c + j. Is i > 3/7?
False
Let d = 44 + -48. Let r(t) = -2*t**3 - 4*t**2 + t - 6. Let u be r(d). Is u < 53?
False
Let d be ((-4)/4794 + 0)*(-178 + 181). Let s = 3749/98277 - d. Which is smaller: -1 or s?
-1
Let g be 69/(-15) + (-2448)/(-680). Which is bigger: -1476 or g?
g
Let d = -589/387 + 73/387. Which is smaller: d or -1177?
-1177
Let c be 14/(56/(-12)) + 10 + -1. Let f(p) = -p**2 + 5*p + 18. Let l be f(c). Let h(q) = -q**3 - 4*q**2 + 9*q - 4. Let v be h(-6). Which is smaller: v or l?
l
Let r(w) = -6*w**3 + 30*w**2 - w + 8. Let z be r(5). Let t be (-1)/(1/(-166)) - -2. Suppose 5*i - 240 = 5*l - 2*l, -z*l + t = 3*i. Is 52 < i?
False
Let f = -15 - -43. Let g be (-18)/(-15)*10/f. Let c(i) = -i**2 - 2*i + 2. Let b be c(-3). Which is bigger: b or g?
g
Suppose -2*q + 9 - 5 = 0. Suppose -11*x - q = 9. Let y = 234 - 2562/11. Does y = x?
False
Let t = -19 - 12. Let i = -133637/4359 - 13/1453. Is i less than or equal to t?
False
Suppose 3*b - 3*y = 99, b + 2*y - 19 = 29. Suppose -b*x - 4*x = -756. Is x bigger than 0?
True
Let x(p) be the second derivative of -p**5/20 -