 3*u**2. Let h(o) = -i(o) - 4*v(o). Let f be h(7). Is f equal to -16?
False
Let p be (-2)/((42/45)/7). Let o(r) = r - 7. Let i = 199 - 209. Let m be o(i). Which is smaller: p or m?
m
Let n be (128/(-2592)*-108)/((-8)/(-18)). Let c = -23 - -42. Which is smaller: n or c?
n
Suppose -18*f - f = 7*f + 1430. Which is greater: -52 or f?
-52
Let r(d) = d**3 + 6*d**2 - d + 4. Let x be r(-6). Suppose -6*c + 60 = -x*c. Let l be (-1)/(-2) + c/(-40). Which is smaller: l or 1?
l
Let s = 47 - 44. Let z = s + -2.9. Let c = -57.81 + 58. Which is smaller: z or c?
z
Suppose -136*l - 3751 - 7341 = -2524. Which is bigger: l or -89?
l
Suppose m - 39 = -4. Let a = m + -49. Let g = a - 0. Is -0.1 < g?
False
Let b = -132 + 131.9831. Let o = -4.6769 - b. Which is smaller: -1 or o?
o
Suppose 3*x + 5*l - 2832 = 3150, 0 = -x - 4*l + 2001. Which is bigger: 17888/9 or x?
x
Let v(b) = -b**2 - b + 4. Let t be v(-3). Let z be -69 - (-11 - (5 + -15)). Let d be (2/40 - z/(-272))*5. Which is greater: t or d?
d
Let s = -6.4 - 1.6. Let k = s - -22. Let m = -490/11 + 1448/33. Is k smaller than m?
False
Let a(w) = -10 - 50*w**2 - 61*w + 6*w**2 + 46*w. Let o be a(-3). Which is smaller: o or -360?
o
Let u(c) = 3*c**2 - 13*c - 6. Let k be u(5). Let g be (549/36)/((-2)/(-8)). Suppose -f + k*s = -3, -5*f - 3*s = -0*f - g. Which is greater: 15 or f?
15
Suppose -4*m + 4*t + 20 = -24, -5*m = 2*t - 76. Suppose -b = -0*b - 2*r + 9, 3*r + m = -b. Let v be (-6)/(-4)*1452/(-198). Do b and v have the same value?
True
Let g be 36/(-30)*((-75)/(-6))/(-5). Let p(m) = -7 - 14*m**2 - 3 + m**3 + 2*m**2 + 0*m**g + 12*m. Let i be p(11). Which is smaller: i or 1/17?
1/17
Let g(p) = -p**2 - 2*p + 27. Let y be g(0). Suppose 0 = 28*v - y*v - 5. Suppose 7*x = v*x + 4. Which is bigger: x or 18/7?
18/7
Let o be -4 - (-7)/343*198. Let t be -2 + (3 + 0)/(-3) + 2. Which is smaller: o or t?
t
Let u be 0 + -8 + 8 - (27 - 0). Let a be 4 - (4/(-10) - u/5). Which is smaller: 1/212 or a?
a
Let h be 2 + (-42)/18 + (-8773)/(-1047) + -8. Are 0 and h non-equal?
True
Let g = 221 - 129. Let t = g - 92.16. Which is smaller: t or 12?
t
Suppose 0 = 19*u - 22*u + 27. Let a be ((-2)/(-11))/(u/216). Which is bigger: a or 3?
a
Let r = 0.5486 - 0.2786. Is r at most -0.037?
False
Let j = -713.973 - 7.027. Is j bigger than 0.1?
False
Let w(y) = 25*y**2 + 623*y - 51. Let m be w(-25). Is m greater than 2/3855?
False
Suppose 14*r - 90 = 11*r. Suppose 0 = 5*k - 5*i - r, k - 2*i = -4*k + 15. Do k and 10/21 have different values?
True
Let z = 2166 - 2157. Let q be (-1)/((-1)/18*-2). Let s = z + q. Which is greater: s or -1?
s
Suppose 4*t + 124 = 4*d, -648*d + 650*d + 4*t - 50 = 0. Which is smaller: d or -3?
-3
Let x = 12544 - 5958382/475. Do 1 and x have different values?
True
Let s be 1*2638/4*(-7)/(-84)*40. Is s greater than 2199?
False
Let x be (2 + 198/(-96))*(-20)/(-15). Suppose -f - 1 = 4*o - 2, 0 = 2*f - 4*o - 14. Suppose f*h = 3*h. Which is greater: x or h?
h
Let g = -323 + 331. Do g and 98/15 have different values?
True
Let y(x) = 57*x - 1849. Let h be y(37). Which is smaller: -33 or h?
-33
Suppose -r - 12 = 5*w + 6, 0 = -3*r + 4*w + 41. Suppose -r*m - 72 = 12. Is m != -5?
True
Let h = -9 - -11. Let q = h - 3. Let v = -10.33 + 10.37. Is v smaller than q?
False
Let u be (10/(-12))/5 + -12 + 718392/59040. Is 0 not equal to u?
True
Let i = -8.9 - -0.9. Let l be 5/(-6 + -4)*(1 - -3). Let g be (l/(-4))/(2*(-3)/24). Which is greater: i or g?
g
Let l = 13766 - 15183. Does l = -1418?
False
Let h(d) = 2*d**2 - 61*d + 24. Let s be h(30). Let y be 2 + 1*(s + 1). Is y bigger than -7?
True
Let z be (-3)/(-351)*12/(-10). Suppose 4*g - 3*b - 104 = -117, 4*b = 4*g + 16. Which is smaller: z or g?
g
Let z be 1*(-11)/(-4)*4. Let b = 4025/4 - 996. Is b > z?
False
Let y(z) = z + 3. Let r be y(-4). Let m be 1232/(-11050) + (-20)/(-850)*5. Is r at least m?
False
Let a be 0/(0 + -4 + 4 + 5). Suppose 2*c + 3*b + 14 = a, 5*c + 3*b + 11 = -6. Which is smaller: c or -5/18?
c
Let n be (-88)/(-104) + 6/39. Let c be (n - 0) + (-374)/(-18). Let y = -22 + c. Are y and -1/9 non-equal?
True
Let c = -13063 - -13116. Is -15/37 < c?
True
Suppose 3481 + 1889 - 1603 = l. Is l equal to 3767?
True
Let o be 2 + -5 + (-7)/1. Suppose 16*s = 35 - 3. Let v(z) = z**3 - 7*z**2 + 5*z + 3. Let j be v(s). Which is greater: o or j?
j
Suppose 0 = -72*m + 16 + 56. Which is greater: -46/335 or m?
m
Let z = -1749 - -954. Let c = z + 1133. Is 340 smaller than c?
False
Let r be (1 + (2 - 1))*24/9. Let a = r - 61/12. Let x be ((-12)/9 - -3)*2. Is x <= a?
False
Let k(m) = -m**2 - 14*m - 55. Let h be k(-10). Suppose 2*p + 60 = -5*g, 2*g - p + 9 = -24. Let x = h - g. Are -5 and x non-equal?
True
Let j = -49 + 25. Suppose -3*l = a - 8*l - 4, 5*a = -2*l + 47. Suppose 0 = -19*k + a*k - 230. Which is smaller: j or k?
j
Let q(y) = -y**2 - 7*y + 65. Let z be q(5). Let b be (53*(-30)/z)/(-2). Is 159 bigger than b?
False
Let q(g) = -g**3 - 14*g**2 - 7*g + 34. Let s be q(-13). Is s greater than or equal to -133/3?
True
Let d(m) = -187*m - 79. Let r be d(-3). Let v = r + -648. Is -166 at least v?
True
Let o(k) = -93*k**2 + 256*k + 507. Let m be o(-2). Which is greater: -372 or m?
-372
Let j = 2202/11 - 200. Let w = -0.393 - 0.037. Let l = w - -2.43. Which is bigger: l or j?
l
Let n(u) = 4*u - 7. Let i be n(3). Suppose h - i*h - 8 = 0. Let q be (-300)/864 - h/16. Which is smaller: -3 or q?
-3
Let t = -17 - -17. Let l = 246 + -239. Let w be (-19)/(-22) + l/(-7). Is w bigger than t?
False
Let b = 0.2 - 0.3. Let c = -0.982 + 0.417. Let n = c + 0.325. Which is smaller: n or b?
n
Let i = -1405 - -9867/7. Let x(a) = -a**3 - 66*a**2 - 194*a - 311. Let n be x(-63). Which is smaller: i or n?
n
Let z(w) = 11*w - 17. Let v be z(1). Let g(q) = -q**2 - 4*q + 5. Let n be g(v). Which is smaller: n or -10?
-10
Let c = -23805/90133 + -19/521. Is c smaller than 1?
True
Let i = 9.618 - 9.565. Is i at least 75?
False
Let x(f) = -f**2 + 20*f - 21. Let j be x(19). Let r be (12/15)/(j - (-45)/25). Which is greater: r or -5?
r
Let z = -105 + 16. Let u = z + 88. Is -8/29 at least as big as u?
True
Let r = 433 + -476. Which is smaller: 29 or r?
r
Let g be 250/(-264) - (0 - -3)/(-3). Is 1 less than g?
False
Let y(d) = 3*d**2 + 37*d + 9. Let f be y(-19). Let x = -389 + f. Is 2/281 > x?
True
Suppose -3*w - 3*x + 3 = -4*w, -39 = 3*w + x. Let f be ((-80)/w + -6)*(-3)/2. Is f at most as big as 8/115?
True
Let l(i) = -i**2 - 71*i - 1475. Let m be l(-20). Which is smaller: m or -453?
m
Let l = 103 - 57. Suppose 42*z - l*z - 4 = 0. Are z and -2/345 non-equal?
True
Let n = -261 + 261. Suppose n = 10*g - 2*g + 360. Does g = -45?
True
Let k = 11352/5 - 2260. Which is greater: k or 0?
k
Suppose 5*n + o = 6*o - 55, 51 = -5*n + 4*o. Let m be n/(84/16)*(-9)/6. Let l be 3*(2406/(-90) + m/5). Which is smaller: l or 2/7?
l
Let n(p) = -p**3 + 5*p**2 - 2*p + 8. Let v be n(0). Let d(r) = -2*r + 5. Let t = 6 + -9. Let i be d(t). Which is bigger: v or i?
i
Let s be 44/28 + (-6)/(-14). Suppose -s*h + 144 = -5*b, -8*b - 3*h + 21 = -9*b. Which is smaller: -152/5 or b?
-152/5
Let n be 414/(-832) - (-2)/4. Let i(d) = -2*d**2 + 20*d + 289. Let t be i(-8). Do t and n have the same value?
False
Let f = -0.047 - -0.006. Let r = -0.121 - f. Let c(y) = -5*y + 27. Let x be c(6). Which is greater: x or r?
r
Let u be ((-1058)/(-1052) - 1)*-2. Let g = -25389921 + 40065294005/1578. Let j = u - g. Do j and 0 have the same value?
False
Let x(n) = 14 + 0*n**2 + 7*n**2 - 18*n**3 + 0*n - 9*n - 18. Let j be x(2). Is -683/5 greater than or equal to j?
True
Let r = -2131.773 - -2134.773. Let d = -47 - -45.1. Let n = d - -1.2. Which is greater: r or n?
r
Let u = 70 + -40. Let a be (-2)/6 - (-2 + u/18). Suppose a = d - 2*d. Which is smaller: -3/35 or d?
-3/35
Suppose r - 31*c + 29*c = 3610, 3*c + 10818 = 3*r. Which is greater: 3601 or r?
r
Let k be (-35 + -1)*(14896/21)/(-14). Is k >= 1831?
False
Let c = 257.34 + -257.34. Which is greater: 1100 or c?
1100
Let m = 19241 + -19286. Which is greater: m or -25?
-25
Let l = -10 + 10.038. Let q(b) = 4*b - 1. Let k be q(1). Suppose 3*g = s - 0 + 1, -3 = -3*s + k*g. Which is bigger: s or l?
s
Let m = 32546/31 + -1050. Let u be -1 + (0 - (-6 + -1)). Suppose -4*r + t - 8 = 0, r + 7 = 3*t - u. Are m and r equal?
False
Let t(g) = g**3 + g