 3*v + 5*l - 9. Which is bigger: v or -1?
-1
Let r(q) = -q**3 + 12*q**2 + 86*q - 81. Let p be r(17). Let l = 77 - 140. Are p and l unequal?
True
Let f(o) = 93*o**2 + 90*o**2 + 10 - 8*o - 133*o**2. Let x be f(2). Let a be (4 - (-125)/(-30))/(x/8). Which is smaller: 0 or a?
a
Let j = -6542 - 1610. Let v be j/28*(3/6)/(-1). Let l = 145 - v. Which is smaller: 1/4 or l?
l
Let y be (-30 + 39)*(-8)/3 + 12. Do y and 63 have the same value?
False
Let o = -114 + 1484/13. Let w = -18921 + 19114.87. Let u = w - 194. Is o < u?
False
Let r be ((-8)/(4/1))/(-2). Let q(m) = 3*m**2 - 1. Let h be q(r). Suppose -34 = -h*i + 52. Is i >= 43?
True
Let z = 3.853 - 3.8. Let q = z + -0.713. Let a = q + 0.64. Is 0 at least a?
True
Suppose 532*i + 103308 - 29892 = 0. Let q be (-16)/(-40) - (-1394)/(-10). Is i at most as big as q?
False
Suppose 0 = 11*s - 360 - 135. Let w be (-10)/s + 66/540. Which is greater: 0 or w?
0
Let g be 56/756 + 112/(-54). Let l be 84/24*(-8)/14. Do l and g have the same value?
True
Let g = 15.2 + -11.2. Let m = 9.9198 + 0.0802. Which is smaller: g or m?
g
Let f = -162 + 161.5. Let k(a) = 2*a - 15. Let r be k(12). Let w be 7 + -7 + r/3. Which is smaller: w or f?
f
Let m be (-3274)/7*((-735)/(-420))/(1/(-4)). Is m at least as big as 3271?
True
Suppose -4*a = -16, 2*b + 743*a + 424 = 746*a. Is b smaller than -219?
False
Let h(g) = 2*g**3 + 6*g**2 - 6*g - 1. Let x be h(2). Let z = 28 - x. Let q = 290 - 1151/4. Which is smaller: q or z?
z
Let y be 23 + -21 + (-2)/(2/(-67)). Suppose 0 = 73*v + 2687 - 7797. Which is smaller: v or y?
y
Let p = -3 - -2. Let c(f) = 3*f**2 - 4*f - 12. Let r be c(10). Let y = 995/4 - r. Which is smaller: y or p?
p
Let w be (-100)/(-239640)*10/(-25). Which is smaller: 1 or w?
w
Let h be (2/45)/(51/(-85)). Let m = 122 - 122.6. Is m less than h?
True
Let l(c) = 169*c**2 + 55*c + 59. Let u be l(-3). Is 1417 at most u?
False
Let v be 69/(-2*(-2)/4). Suppose t - 1 = 0, 2*m - 2*t - 187 = -49. Which is smaller: m or v?
v
Let g be ((-208670)/2288)/(-35) + 10/16. Let v be -3 - ((-1)/(-1) + -7). Is g at least as big as v?
True
Let f be ((-68)/6)/((-15)/9). Let u be (-7)/(-4) - 2/(-8). Suppose -18*o + 128 = -u*o. Are f and o non-equal?
True
Suppose 15 = -d + 4*f + 2, 7 = -4*d + f. Which is bigger: -9/58 or d?
-9/58
Let l be 891/(-7) + -7*(-8)/196. Let c = l - -136. Is 69/7 > c?
True
Suppose -5*r - 3013 = 4*u, -5*r = -7*u + 2*u - 3800. Are -757 and u unequal?
False
Suppose 2*u - q + 2697 = 2731, 3*q - 6 = 0. Which is smaller: u or -0.269?
-0.269
Let h(w) = -w**3 + 13*w**2 + 59*w - 631. Let q be h(14). Is q < 3/1445?
True
Let v = -3.5 - 0.5. Let z = -178 - -220. Let g = z + -40. Is g at least as big as v?
True
Let b(f) = -326 - f**2 + 696 - 352. Let i be b(-4). Does i = -22?
False
Let m(s) = -s**3 - 51*s**2 - 62*s - 3163. Let a be m(-51). Is 1/34957 smaller than a?
False
Let l be 41/((2 - (5 + -1))/((-26)/13)). Which is bigger: l or -155/2?
l
Let u = -316/477 - 2/477. Is 178/13 at most u?
False
Let a = 46 - 44. Suppose 0*z - a*z = 0. Suppose 0 = 2*y - 5*y + 3. Is z > y?
False
Let b(m) = -12*m - 188. Let n be b(-16). Let u = -102 - -72. Which is smaller: u or n?
u
Let s = 26 + -25.99. Let u = s + -0.21. Let k be 1*2/(-65)*5. Which is greater: k or u?
k
Let n = -11.4664 - -1.4664. Is n at most as big as -1/32?
True
Let a = 2/13691 + 25816/10720053. Let w be (-57)/190 + 15/50. Which is bigger: w or a?
a
Let u be (-961)/(-186) + 15/(-90). Which is smaller: u or 129/23?
u
Let n = -956.4 + 639.4. Which is smaller: n or 0.42?
n
Let t = -0.07 + -1.03. Let w(i) = -i**3 + 4*i**2 + 6*i. Let c be w(5). Suppose 0 = -g - o + c, -o + 4 + 4 = 4*g. Which is smaller: t or g?
t
Suppose 4*o - 4*i + 303 + 305 = 0, -o - 152 = 3*i. Which is smaller: o or -150?
o
Let t(q) = 83*q - 1178. Let z be t(23). Which is bigger: 730 or z?
z
Let n(y) = -44*y**3 + 5*y**2 - 32*y - 27. Let g be n(-6). Which is smaller: g or 9848?
9848
Let x = -1.56 - 36.44. Let d = -10 - x. Is 4 greater than or equal to d?
False
Let k(w) = -5*w**3 - 8*w**2 - 23*w - 173. Let f be k(-7). Suppose -3*y = 5*b + f, 1034 = -4*b + 27*y - 22*y. Do b and -261 have different values?
False
Let w = 41044/3 + -13682. Which is bigger: 89/111 or w?
89/111
Let c = 25911 + -25909. Suppose 0 = -3*x + x - 5*o + 48, 2 = -x + 4*o. Which is smaller: c or x?
c
Let n(d) = -7*d**2 - 41*d + 18. Let c be n(-6). Let x be 1*3 - (8 + -8). Let z(r) = r**3 - 2*r**2 + 3. Let f be z(x). Is c at most f?
True
Let w be (24/(-40))/(174/4). Let j = 107 + -108. Which is bigger: w or j?
w
Suppose -x + 4*c + 34 = 0, 0 = -5*x + 8*x + 5*c - 34. Suppose -x*p - 891 = 477. Which is bigger: p or -78?
p
Let d(m) = -13*m + 47. Let a be d(2). Let k(s) = -8*s + 163. Let q be k(a). Is -3.4 smaller than q?
False
Let z be 8/(-3) + (-60)/(6 + 14). Which is smaller: z or -11.7?
-11.7
Let f(z) = 3*z - 2. Let t be f(-4). Let x = 136062 - 136056. Is x at least t?
True
Let b(t) = -2*t - 46. Let z be b(-37). Suppose -12*f - z = 8. Let k = -11/7 + 1/14. Is k greater than or equal to f?
True
Let k = 247 - 328. Let q(h) = -h**2 + 2*h - 1. Let b be q(10). Is b less than k?
False
Let t = 177 + -182. Let r = -124.8 + 124.846. Is t less than r?
True
Let h(m) = 7*m - 134. Let u be -4 + (-5)/(-10)*46. Let x be h(u). Is x less than 6/121?
True
Suppose -317 + 335 = -5*x - 1462. Are x and -290 nonequal?
True
Let n be (((-20646)/16 + 0)*-2)/(165/(-440)). Is -6881 != n?
True
Let d = -24285 - -24286. Let g be 2/5 + 192/(-530). Is g equal to d?
False
Let d be (-128)/384 + 11998/102 + 2. Which is greater: d or 119?
d
Let m(o) = -o**3 + 28*o**2 - 24*o - 80. Let r be m(27). Suppose -9*y + r = -10*y. Is y equal to -5/83?
False
Let x(p) be the third derivative of -p**6/120 - p**5/15 + p**4/24 - p**3 + 25*p**2. Let w be x(-5). Suppose 10*g + 4 = w*g. Which is smaller: g or 12/11?
g
Let s(b) = b**2 - 6*b + 6. Let k be s(5). Suppose 90*d = 102*d - 36. Let h be d/(-9) + 13/45. Which is bigger: k or h?
k
Let z = -5/58 + 41/812. Let l = 504 + -504. Let n be (0 + -1)/2*l. Is z bigger than n?
False
Let y be 111624/108*54/12. Do y and 4651 have the same value?
True
Let m(c) = 2*c**2 + 4*c + 2. Let h be m(-2). Let r be (-4788)/(-138) + 1326/(-39). Which is greater: h or r?
h
Let q = -5376 + 1228. Is -4148 at least q?
True
Let p = -632085/314 - -2013. Let m = -18967596047/5338 + 3553315. Let v = p + m. Are v and 0.1 equal?
False
Let b = 289.202 - -0.798. Let x = 289 - b. Which is bigger: x or -103/5?
x
Let j be (((-2634)/(-15))/((-12)/(-30)))/(-1). Let s = -4821/11 - j. Which is greater: s or -2/11?
s
Let v = -28.2345 + 28.2. Let q = 0.0345 + v. Which is greater: q or -16?
q
Let u(b) = b**3 - 16*b**2 + 29*b - 20. Let x be u(14). Let g(j) = -j**3 - 8*j**2 - 23*j - 15. Let s be g(x). Is 50 smaller than s?
True
Let u be 1/(-2)*(4/30)/(117/(-390)). Is 393 at least u?
True
Suppose -5 = 2*c - 1. Let m be (4 - 3)/(-7)*(-2)/c. Which is smaller: 4 or m?
m
Let a = -0.0963 + -415.9037. Let t = -422 - a. Which is smaller: -40 or t?
-40
Let a(l) = -25*l**3 + 7*l**2 + 3*l - 3. Let i be a(-6). Suppose -21*f - i = -612. Which is bigger: f or -238?
-238
Let p(j) = 21*j**2 - 9*j + 2. Let u be p(4). Suppose 13*v + u = -348. Is v > -49?
False
Let a = -231067/15 - -15399. Which is smaller: -4 or a?
a
Let r = 75295611/940 - 400527/5. Let z = r - 3/47. Which is smaller: -3 or z?
z
Let o(f) = 9*f**2 - 261*f - 2504. Let l be o(-9). Is l at least 590?
False
Let y(t) = -37*t - 33. Let d be y(-2). Is d at least -1?
True
Let c = 0.0366 - -534.9634. Let r = c + -534.95. Which is bigger: 1.2 or r?
1.2
Suppose -5*z = -4*z - 3*q + 529, -5*z + 2*q - 2593 = 0. Let g = z + 635. Is 118 bigger than g?
False
Let w(t) = 2*t + 2. Let d be -10*(-2 - (-24)/10). Let b be w(d). Let o = -21835210/4094103 - 2/1364701. Is o at least as big as b?
True
Let h(m) = 100*m - 83. Let u be h(4). Let k = -314 + u. Which is smaller: 2 or k?
2
Let s = 19194 + -19194. Which is smaller: s or -3/9244?
-3/9244
Let r = -10168 + 10241. Which is smaller: r or -32?
-32
Let g = 1/20785 - 10053/36145115. Let t = g + 608656/26085. Which is greater: 23 or t?
t
Let h = 7923 - 7925. Is h equal to -5384?
False
Let m = 35.5 + -289. Let r = -255 - m. Do r and 0.7 have different values?
True
Let j = 4 - 0. Let a be 126/j*(-672)/(-49). Which is smaller: -