). Let w be b(o). Let j = -53/4 - w. Which is bigger: j or 0.06?
0.06
Let b = 106 - 92. Suppose 5*p + b = 34. Is p < 1?
False
Suppose -5*o - 5*z + 10*z = 0, -3*o - 4*z = 7. Let g = -2801/180 + 61/4. Which is greater: g or o?
g
Let u = 4655 + -4651. Is 133/26 greater than or equal to u?
True
Let y be (-6)/(-14)*(-6)/(-27). Let k be (-9)/12 + 1 + (-469)/476. Let p = 4/17 + k. Which is greater: p or y?
y
Suppose 5*w - 45 = -0*w. Let j be ((-1)/(-4)*-2)/(w/(-414)). Let o = 129 + -106. Is j bigger than o?
False
Let h(m) be the second derivative of -m**3/6 - 9*m**2 - 76*m + 1. Let k be h(-29). Which is smaller: 13 or k?
k
Let o = 70 - 58. Let l be -10 + o - (-1 + 3). Let q be (-2)/(-7) + (-1344)/(-98) - l. Is 6 greater than q?
False
Let t = -279 - -75. Let r = t - -204. Let h be (24/(-220))/(3/(-10)). Is r greater than or equal to h?
False
Let h be (-9)/63 + (1 - (-24)/21). Let j be 1*((-16)/6)/(h/3). Let s be (-12)/(-14)*(-3 + -4). Which is greater: j or s?
j
Suppose -v - 101 = p, 4*v = 12*p - 10*p - 404. Are v and -511/5 non-equal?
True
Let d be 76 + 9 + (7 - 12). Suppose -d*q - 3 = -83*q. Which is smaller: q or -2/1835?
-2/1835
Let p(m) = 2*m**2 - 1. Let o(l) = 12*l**2 - 3*l + 6. Let i(u) = -2*o(u) + 14*p(u). Let k be i(5). Which is smaller: k or 103?
103
Let d = 792.99 - 797. Let z = -3.01 - d. Is -2/105 equal to z?
False
Suppose 2416*v = 2346*v + 935550. Does v = 13365?
True
Let y(a) = -a**3 - 16*a**2 - 17*a + 20. Let l be y(-15). Suppose 7*r + 6 = -l. Is r at most as big as -11?
False
Let v = -275 - -263. Let w(t) = t**2 + 10*t - 15. Let x be w(v). Suppose k = -2*g - 2*g + 12, -5*k = 4*g - 44. Is x at least k?
True
Let j be (4 - (-24)/(-5)) + (-3598)/(-4460). Is -1 at least as big as j?
False
Let l = 24794/9 + -2758. Let q = 591/5 - 118. Is l at most as big as q?
True
Suppose 3*w - 4*y - 5 + 6 = 0, y = w. Let o be ((-4)/220)/(w + 22/(-30)). Is 1 greater than o?
True
Let f(b) = 67*b - 316. Let c be f(-24). Which is smaller: -1927 or c?
-1927
Suppose 19*n = -20*n + 51*n + 1248. Which is smaller: -116 or n?
-116
Let a(v) = 16*v - 385. Let g be a(24). Do g and 8/251 have the same value?
False
Let g = -551371/55 - -10025. Which is greater: g or -26?
g
Let d = 219 + 114. Which is smaller: 331 or d?
331
Let q(w) = -w**3 + 13*w**2 - 14*w + 10. Let k be q(12). Let o be (-6)/(-14) + (-582)/k. Suppose 0 = 5*j + 7 + 3, -2*v - j - o = 0. Which is greater: -18 or v?
-18
Let t be 2/(8/6) - (-82)/4. Suppose 5 = -2*i - 2*r + 11, 0 = 2*i - 5*r + t. Let s = -8/11 + 642/913. Which is greater: s or i?
s
Suppose 129*z = 20*z + 170149. Which is bigger: z or 1554?
z
Let g = -44 + 84. Suppose -4*f = 4, -26*f - 123 = -4*c - 27*f. Which is smaller: g or c?
c
Let b = -58 - -122. Let j = 8 + b. Let w = 61 - j. Which is smaller: w or -12?
-12
Suppose -22 = -13*x + 30. Is -0.3 <= x?
True
Let p = -1463 + 21953/15. Suppose 8*q - 44 = -36. Is p > q?
False
Let t(z) = z**2 + 10*z - 2. Let w be t(-5). Let k be 9/6 + (-1770)/(-4) + -5. Let r = 412 - k. Does r = w?
True
Let g be (-60)/(-27) - 6/27 - 5. Let k(h) = -46*h + 48. Let f be k(g). Is f bigger than 186?
False
Let m be (-42)/(-18) - -5 - 8. Let i(s) = -s**3 - 6*s**2 + 8*s + 6. Suppose 3*y - 1 = 4*y + 2*w, 5*w - 15 = 0. Let p be i(y). Is m greater than p?
True
Let h be 6088/(-2283) - (66974/(-14349) + 2). Which is smaller: 1 or h?
h
Let n = -194613 + 1380390007/7093. Do n and 0 have different values?
True
Let h = 27 - 26. Let m be 210/50 + h/(-5). Suppose -m*i = -7 - 1. Is 2 >= i?
True
Let f be (-85332)/85314*1 + (27 - 26). Which is bigger: f or 1?
1
Let c = 104 + -2129. Let k = -575099/284 - c. Which is smaller: k or 1?
k
Let c(u) = -80*u - 321. Let i be c(-4). Is 20/709 > i?
True
Suppose -28 = 4*u + w, 6*w = 2*w - 16. Let o be (1 - 7)*105/(-70). Suppose o*x + 15 = -21. Which is bigger: x or u?
x
Let g(z) be the first derivative of -2*z**2 + 34*z - 50. Let a be g(5). Let f be (-280)/520*1/(a/(-20)). Which is bigger: 0 or f?
f
Let z = 0.552 + -0.5. Let y = -0.007 + z. Let p = y - 0.005. Is 1/4 bigger than p?
True
Let i be ((-7)/(-154))/((-2)/216). Let g be -7 + (-75)/(-10) + (-26)/4. Is g < i?
True
Suppose 4*z - 859 = -a - 100, 5*a + 955 = 5*z. Is z >= -9?
True
Let a = 1065 + -1025. Is a at most -3?
False
Let w = -797032566/5179 - -153897. Do 1 and w have the same value?
False
Let h = -2 - -1. Let u = -23.256 + 23. Let m = 0.756 + u. Is h < m?
True
Let g = -3/8 - -383/1000. Let n be (-133)/38*(-4)/(-14). Is g not equal to n?
True
Let v = 4804 + -5024. Suppose 4*g - g + 657 = 0. Which is smaller: g or v?
v
Let v = -16 - -5. Suppose -1692 = -0*t + 4*t. Let c = t + 420. Which is smaller: v or c?
v
Let n = 0.02 - 0.82. Let k = 5753/7 + -51763/63. Is k bigger than n?
True
Let m = 2331.92405 + 0.07595. Are -3 and m non-equal?
True
Let k = -454 + 467. Suppose 11*d - 3*l = 12*d - 17, -3*d = -5*l - 37. Are k and d non-equal?
True
Suppose -1726*h - 49 = -1677*h. Is -1/7244 less than h?
False
Let i = -108 + 117.46. Let w = -0.64 - i. Which is smaller: w or 2?
w
Let l = -212 + 218. Let n be l*3/(-220) + 78/(-130). Is -2 < n?
True
Let u be (1/(-1))/((-4 - -12)/(-360)). Let o be (7/115)/1*u/(-6). Is o > -1?
True
Let r(q) = 2*q**3 + 5*q**2 + 3*q + 7. Let t(u) = -2*u**2 - 5*u - 4. Let f be t(0). Let l be r(f). Which is bigger: -155/3 or l?
-155/3
Let r = -67.57 + 1.57. Let w = 84 - 141. Let t = w + 56. Which is bigger: t or r?
t
Let v be 3*-296*1/(-6). Let g be (-1)/(v/30 - 0 - 5). Is g >= 140/9?
False
Let b be (7 + -2)/((-12)/4). Let y = -3513 + 3512.88. Is b at most y?
True
Let y be (-3 + (-110)/(-60))*6. Is y at least -73/9?
True
Suppose -2*m - 98 = x, -2*x - m = -7*x - 545. Are x and -101 equal?
False
Let q = -26149 - -62626858/2395. Is 1 less than q?
False
Let c be (172/295238)/((-10)/1724) - 1/(-10). Which is smaller: c or -1?
-1
Let i = 0.472 + -1.122. Let b = i + -5.95. Which is smaller: 2/3 or b?
b
Let f(z) = -z**3 + z**2. Let k(x) = 7*x**3 + 6*x**2 + 6*x - 25. Let u(c) = 6*f(c) + k(c). Let s be u(-12). Let o = s + 101. Is o >= 29/7?
False
Let p = -67.492 + 44.52. Let n = 23.6 - 0.6. Let s = n + p. Which is smaller: s or 1?
s
Let a = -22712 - -55530842/2445. Which is smaller: a or 0.1?
a
Suppose 5*y - 1254 = 86. Let s be (2/(-2))/4 - 22449/(-84). Is y greater than or equal to s?
True
Let g be (-5888)/(-1012) - 4/(-22). Which is smaller: g or 115/21?
115/21
Let f(x) = x**2 - 19*x + 41. Let m be f(19). Suppose -47*a + 6 = -m*a. Is 0.54 >= a?
False
Let z = 99.18 - 98. Let k = 0.58 - z. Let g = 2.6 + k. Is g smaller than 1?
False
Let t(s) = -14*s + 80. Let b be 1/(-6*6/(-144)). Let r be t(b). Which is greater: r or 26?
26
Suppose 0 = -8*i - 7*i - 1260. Let d be 1/7 - 72/i. Do d and -1/73 have different values?
True
Let i be 136/10 - 6/10. Let b(x) = -38*x - 3. Let h be b(-5). Let u be (-2)/i - h/(-286). Are u and 1 equal?
False
Let g(y) = -y**3 + 16*y**2 + 2*y - 32. Let b be g(16). Suppose 3*x + b = 3, 0 = -3*a - 3*x + 57. Which is greater: -1/4 or a?
a
Let v be (-119)/(-444) - (10 - (-39)/(-4)). Let n be 2 + ((-3)/9 - (-6)/(-9)). Which is smaller: v or n?
v
Let f be 1 - 2*(-4 + (-12)/(-8)). Let u be f/18*3 - (1 - -1). Do -1/75 and u have the same value?
False
Let y(l) = 267*l + 177. Let r be y(0). Is r less than -5?
False
Let l = -680.9 - -681. Is l greater than or equal to 9/79?
False
Let m = 616 + -657. Let g = m + 1026/25. Let h = -3.9 + 4. Is h at most as big as g?
False
Let v be 158*(-8)/32538*200/(-2218). Let w = -2/32161 - v. Which is smaller: -1 or w?
-1
Suppose 46 = 6*z + 16. Suppose -7*m - z = -40. Are m and 42 nonequal?
True
Let x(a) = 16*a**3 - 4*a**2 + 5*a + 30. Let r(k) = 6*k**3 - k**2 + 2*k + 10. Let p(q) = -11*r(q) + 4*x(q). Let c be p(-3). Which is greater: 27 or c?
27
Let b be (-8 - (-16182)/1476) + -3. Let l = 0 - 0. Which is smaller: b or l?
b
Let l(t) = -72*t - 5027. Let j be l(-70). Is j > 0.111?
True
Suppose 2*h - 5*u = -16, 5*h + 5*u - 27 = 3. Let y be -1*h*18/4. Let n be 2/(-21)*(y + 6 + 0). Which is smaller: n or 0.52?
n
Let g = 37 - 77. Let s be (-2)/6 + g/(-12). Suppose 0 = 2*a - 3*d - 10, d - 7 = -s*a + 30. Which is smaller: 14 or a?
a
Let x = -96 + 101. Suppose m = -x*y - 390 + 89, -y = 2*m + 62. Are y and -59 unequal?
True
Let g = -354 - -331. Let r be 45/g*8/12*-1. Is 1 greater than r?
False
Let b b