(((-4)/2)/(-16)). Let q be (-2)/(-12)*(475/(-14) + -4). Let r = 3/7 - q. Which is smaller: n or r?
r
Let h = -1418 + 1414. Which is smaller: -26/3 or h?
-26/3
Let y = 38403 - 42935. Is y less than -4533?
False
Let u be 733/245 + (2 - -3) + -8. Let v = -3/196 - u. Is v < -1?
False
Let k be (-1 + (-38)/(-42))/(292/219). Which is greater: k or 32/7?
32/7
Let r = -26026 + 26026.21. Is -53/3 at most as big as r?
True
Let v(a) = a**3 - 13*a**2 + 43*a - 2. Let b be v(7). Suppose 4*h = 614 + 146. Let r = -739/4 + h. Is r at most as big as b?
False
Let x = 8901 - 16760582/1883. Is 1 less than x?
False
Let r be 117/(-23) - (-4)/46. Let a be 1 + 119/(-14) - (r - 0). Is -4 at least a?
False
Let y = -537 - -395. Let d = y + 182. Are d and 42 non-equal?
True
Let n = -14872 - -14817. Suppose -165 = 3*h - 0*h. Is n at most as big as h?
True
Let p = 118 - 117. Let h = 2/913 - 6423/14608. Which is greater: p or h?
p
Suppose 14*k + 2716 = 7*k - 21*k. Which is greater: k or 9?
9
Let v(t) = 3*t**3 - 17*t**2 + 23*t - 14. Let z be v(2). Which is smaller: z or 441?
z
Let t(l) = 3*l**3 - 4*l**2 - 2*l + 6. Let b be t(4). Let d be (-3*(-7)/b)/(13/(-4)). Let v be ((-3)/4)/((-24)/32). Which is smaller: v or d?
d
Let b(m) = 4*m + 40. Let j be b(-9). Suppose 7*n - 2*n = -j*u - 224, 0 = -n - 5*u - 28. Let c = n + 26. Is -23 smaller than c?
True
Let v be 4/14 - 96/(-7). Let b be (-3)/(-4)*224/21. Suppose b*q = 5*q - 2*u + 5, 4*u = 4*q. Which is smaller: q or v?
q
Let a(o) = o**2 + 178*o - 84*o - 86*o + 14. Let y be a(-6). Suppose 2*n = -4*d + 7*n + 267, y*d - 141 = -5*n. Is 67 < d?
True
Let s be ((2*-1)/2)/(13 - 14). Let y be (3/(-6) + 0)*-2 + s. Let i be -4 + y/10*5. Which is greater: i or -4?
i
Suppose -3*v = 3*s - 54, -6*v + v = 3*s - 54. Let h be 401239/(-308) + s/24. Let c = h + 1302. Is 0.2 bigger than c?
True
Let i(l) = 8*l + 72. Let n = 13 + -22. Let c be i(n). Let k be 4 - 3 - (-249)/(-247). Are c and k equal?
False
Let z = 950 + -569. Let k = 61031 + -60649. Are k and z unequal?
True
Let h be (14 - 342/24) + (-30)/8. Let r(j) = -j**2 - 7*j - 6. Let k be r(-7). Let q = h + k. Are -8 and q unequal?
True
Let o(h) = 73*h**2 + 4*h + 2. Let q be o(-2). Let d be 928665/3240 + (-9)/(-24). Do q and d have the same value?
False
Let k = -181 + 193. Let h be (-6 - 84/(-9))/((-2)/k). Which is smaller: -41/2 or h?
-41/2
Let d = -9224.29 - -9224. Which is smaller: d or -0.104?
d
Let y(g) = -g**3 - g - 30. Let b be y(-4). Suppose -2*r + 17 = -3*p + 2*p, -3*r + 4*p = -b. Do r and -9 have the same value?
False
Suppose 0 = 6*s + 53 - 5. Let d be (s/((-32)/12) - 16) + 5. Is -65 greater than d?
False
Suppose -10*a = -11*a + 2. Suppose 0 + a = -2*h. Let u be 2 + -1 - ((-12)/(-16) - h). Which is greater: 2 or u?
2
Let v be (-3)/((-128)/(-24) - 5). Let f(a) = -5*a**2 - 39*a + 8. Let b be f(v). Which is smaller: -44 or b?
b
Let q(r) = 17*r + 2. Let a be q(-5). Let h = a + 579/7. Let x be (-14 + 6 - -5)*(-10)/30. Which is greater: h or x?
x
Let j be (-6)/(-5) - (-2)/(-10). Suppose 18*k - 2356 = 37*k. Let t = k - -122. Is t greater than or equal to j?
False
Let r(t) = -t**2 - 7*t - 4. Let f be r(-6). Let o be (-34)/(-14) - (-4)/12. Let s = -10/7 + o. Are s and f equal?
False
Let a(u) = 15*u + 65. Let l(f) = -21*f + 298. Let n be l(14). Let z be a(n). Which is smaller: z or 124?
124
Let d(g) = -47*g + 2492. Let i be d(53). Suppose 460 = -j - 3*j. Let n be (j/(-35))/i - 4. Which is greater: -1 or n?
n
Suppose -49 = -3*h - 3*g + 56, g + 31 = h. Let c be ((-2)/(-2) - -3)*(-33)/h. Let o be (-8)/44 - (-52)/165. Is o >= c?
True
Let v = -0.3549 - 396.6351. Let w = v - -397. Is w != -1/13?
True
Let m = 25687 + -25680. Do m and 92/13 have different values?
True
Let q(y) be the second derivative of y**4/12 - 13*y**3/6 + 10*y**2 - 14*y. Let s be q(12). Suppose s*l + 64 = 4*l. Is -16 smaller than l?
False
Suppose 5*j = 2*r + 7, 0 = -16*j + 13*j + 2*r + 1. Suppose -13*u = -j*u - 10. Which is smaller: 1/212 or u?
1/212
Suppose -h + 4*h + 120 = 0. Let j be (-1 + 1 + 3)*h/6. Let g be 2/(63/10 + j/25). Which is bigger: g or -2?
g
Let k = -12128 - -12125. Is k greater than -2352?
True
Let y be 810/(-105)*69/2691. Let l(z) = z - 3. Let q be l(3). Do q and y have different values?
True
Suppose 0*y - 412 = 5*i - y, -y = -4*i - 330. Let c be (i/552 - 15/(-60))/1. Which is bigger: c or 1?
1
Let a = 19 + -16. Suppose -2*o = a*f - 161, 0*f - 114 = -2*f + 2*o. Is f <= 0.1?
False
Let t be 3/2*(-150)/(-315)*7. Let l = -1803 + 2733. Let s be (31/l)/(16/t). Do 1 and s have different values?
True
Let p = -3763/4530 - 2/755. Let n(a) = -a**3 - 2*a**2 - 3*a - 4. Let v be n(-3). Suppose -15*y = v + 16. Which is smaller: y or p?
y
Suppose 5*i - 7 = 28. Let a be i + -3 - (3 + 0). Let b be (-3 - 0) + a*12. Do b and 10 have the same value?
False
Suppose 1198*d = 1195*d + 501. Let b = d + -180. Which is bigger: b or -19?
b
Let y(d) = d**2 + 16*d - 16. Let s be y(-16). Let k be ((-13)/(52/s))/1. Which is bigger: -10 or k?
k
Let u(k) = k**3 - 11*k**2 - 9*k - 9. Let h be -3 - ((-20)/6)/((-10)/(-45)). Let d be u(h). Suppose 3*g = -153 - d. Which is bigger: g or -61?
g
Let z(k) = 3*k**3 - 1 - 2*k + 5*k**3 - 43*k**2 + 45*k**2. Let n be z(1). Let x be -4*(-1 + 6) + (3 - n). Are x and -24 non-equal?
False
Suppose 4*z + 14 - 29 = 5. Suppose 3 = 2*b + 2*d - 9, 5*b - 66 = 4*d. Suppose k + 5*o + b = z*k, o = -2*k - 2. Is -2 at most as big as k?
True
Let m be (6/(-15) + (0 - 0))*-5. Let d(v) = 2 + 2 + 6 - m + 7*v + v**2. Let f be d(-8). Is f not equal to 16?
False
Let n = 36622 - 36646. Let r = -101/72 - -16/9. Which is smaller: n or r?
n
Suppose 2*m - p = 735, -4*m - p + 1473 = -2*p. Suppose 5*u + m + 361 = 0. Does -146 = u?
True
Let m(x) = 2*x + 24. Let r be m(-11). Suppose r*t - 114 = -4*o, o - 2*o - 5*t + 33 = 0. Is o > 26?
True
Let n(q) = 2*q + 2 - q - 8. Suppose 0 = -19*r + 14*r + 2*m + 20, 0 = -2*m. Let c be n(r). Which is greater: -24 or c?
c
Suppose 2 - 1 = -f. Suppose -18*w - 198 = -40*w. Suppose -12*c + 15*c + w = 0. Which is greater: c or f?
f
Let q = 1347 - 1346.94. Is -5/2 equal to q?
False
Suppose -4*f + 3*p + 1263 = 0, f + 4*f = -3*p + 1572. Which is smaller: -1 or f?
-1
Let d(m) = -3*m - 11. Let y be (2/1)/(11/(-22)). Let k be d(y). Let h = 192/31 - 36734/5921. Which is bigger: k or h?
k
Let n(t) = -t + 8. Let v(l) = 1. Let z(w) = -n(w) + 3*v(w). Suppose 70*s - 71*s - 10 = 0. Let a be z(s). Which is bigger: 0.1 or a?
0.1
Suppose 4*p - 10 = -x, -p - 4*p + 10 = 0. Suppose x = -t - t. Let f be (-42)/(-330) + t/5*2. Is f >= -1?
True
Let s(m) be the second derivative of m**3/3 - 10*m**2 - 8*m. Let z be s(9). Let r be (7 + 4)/(-3 - z). Is -12 > r?
False
Let z = -223 + 165. Let d = z + 112. Which is smaller: d or -1?
-1
Let l be ((-72)/20)/((-6)/315). Let d = 182 - l. Is -6 bigger than d?
True
Let d = -776 - -574.2. Let s = d + 202. Which is smaller: -0.3 or s?
-0.3
Let s be (-1 + 0)/2 - 5/2. Let u be ((-4 - -3) + 1)/s. Is -1/195 >= u?
False
Let d be (2/3)/(8/12). Let i be -10*(-3)/36 + d/6. Let n be i/(-3 - (-123)/42). Is n < -14?
False
Let u be 14 + -20 - (-1 - -378). Is -1922/5 != u?
True
Let i = 107/112 - 13/16. Is -966 bigger than i?
False
Let i be (222/(-14) + 21)*(-28)/6. Which is smaller: i or -166/7?
i
Let u = -4379 - -4295. Which is greater: u or 3?
3
Let k = 46.6 + 5.4. Let a = k + -117. Let s = 65.4 + a. Which is smaller: -8 or s?
-8
Suppose -3*h + p = -75, 3*p - 142 = -5*h - p. Let w = h - 29. Which is smaller: -4 or w?
-4
Let x be 10/25*-5 - (-273)/(-15). Let t = x - -6257/310. Suppose 0*b = 5*b + 5. Which is bigger: t or b?
t
Let f = 696 + -736. Let v be (2/(-660))/((-100)/f). Which is bigger: v or -1?
v
Let y be 1404/(-3406)*(42/(-12) - 1). Is 1 < y?
True
Let k = -0.12887 + -0.87113. Which is smaller: 0.175 or k?
k
Let t = -1289 - -1294. Suppose 0 = 5*p + 5*l - 345, 18*p - 20*p = t*l - 150. Let x = 72 - 6. Are x and p unequal?
True
Let x be (-3)/((-1)/(-920)*15). Let a = 735/4 + x. Is -10/7 >= a?
False
Let m = 3066311/287 + -10684. Which is bigger: 0 or m?
m
Let t(s) = 5*s**3 + 68*s**2 - 22*s + 63. Let y be t(-14). Is -160 >= y?
False
Let v = 140065112/3849 + -36390. Does v = 3?
False
Let u = -6105 + 6124. Which is smaller: 26 or u?
u
Let s(q) = -26*q + 515. Let f be s(-7). Is 3 less than f?
True
Let k = 2650 + -2