150. Let o(f) = -18*f + 151. Let b(h) = -6*l(h) - 5*o(h). Let z be b(12). Are z and 7/3 non-equal?
True
Suppose -2*a + 1 = -a. Let l = -3068 - -113522/37. Is l at most as big as a?
True
Suppose 18010 = 107*f + 3458. Is 138 at most f?
False
Let c = 0.36514 + 1.53486. Is -287 less than or equal to c?
True
Let w be (-48)/14*(86/(-5))/(28/245). Is w less than 517?
True
Let a be ((-32)/14)/((-12)/6). Let h = -14215/2 + 7107. Is h greater than a?
False
Suppose -17560 = 69*f - 85 + 33792. Is -741 >= f?
True
Let w be 54280/413 - (-3)/(-7). Which is bigger: 126 or w?
w
Let h(y) = -161*y - 901. Let s be h(3). Is 0.1 equal to s?
False
Let u(i) = -3*i**2 + 143*i + 196. Let j be u(49). Let c be ((-15)/1850)/(6/(-5)). Which is smaller: j or c?
j
Let y = -16281.8 - -16291. Is y at most -0.033?
False
Let k = -0.772 - -118.772. Let x = -102 + k. Which is smaller: 2/15 or x?
2/15
Let o be (2/(-30))/((-8)/10). Let w be (-26)/78*0/(2 + 0). Let d = o + w. Does 0 = d?
False
Let d be 263467/(-22181) - 1*-1. Is -10 not equal to d?
True
Let i = -567 + 574. Let f(x) = x**2 - 5*x + 6. Let w be f(3). Suppose w*g = -2*g + 10. Is g at least i?
False
Let y = 0.6 + -0.7. Suppose -o + 0*o + 6 = 5*m, 4*m - 24 = -4*o. Let a be -3 + (-15)/(-1)*2/o. Is y greater than a?
False
Let p(q) = 6*q**3 - q**2 - 2. Let g be p(2). Let t be (8/128*40)/(5/82). Which is smaller: t or g?
t
Let o be (48/(-88))/3 + 20862/(-88). Let w = 236 + o. Is w <= 2/19?
True
Let z = -217648866667/90305 + 2410153. Which is bigger: z or 0?
0
Let y = 13071 - 6261007/479. Suppose 3*v + 3 = -j + 2, v - 5*j - 5 = 0. Which is bigger: y or v?
y
Let h = 4928 - 2626630/533. Which is bigger: 0 or h?
0
Suppose 129*b = -112*b + 14942. Is -10 equal to b?
False
Let n be (((-192)/(-18))/(-8))/((-6)/(-18)). Let h be (-198)/(-132)*n/10. Which is bigger: h or 2.2?
2.2
Let i = -506.5 - -506.4. Are i and 0.53 non-equal?
True
Let h(c) = 3*c + 17. Let a be h(-5). Let u be ((-4)/12 - a)/((-1)/(-3)). Which is smaller: u or 4?
u
Let s = 9/53 + 103535/159. Is s at least 652?
False
Let r = 2009/10 + -134203/670. Which is smaller: r or 0?
0
Let d(r) = 6 + 4*r - 1 + 2. Let c be 1806/(-1505)*(10/4)/1. Let a be d(c). Which is smaller: a or 0?
a
Let b = -10/9 + 88/63. Let d = -30 + 27. Let q be 5 + d - (18/(-8))/(-1). Is q < b?
True
Let k(j) = -j**3 + 5*j**2 - 2*j + 1. Let s be k(3). Suppose -z = 3*o + z + s, -25 = 5*z. Let x = -27125/22 + 1233. Do x and o have the same value?
False
Suppose -42 = -914*u + 921*u. Let w(h) = -5*h - 7. Let v(r) = -20*r - 27. Let o(c) = -2*v(c) + 9*w(c). Let j be o(u). Is 22 bigger than j?
True
Suppose 7*l + 2 = 4*n + 2*l, -l = 3*n - 11. Suppose -3*j + h = 5*h + 453, 3*j + 474 = n*h. Which is bigger: -157 or j?
j
Let n = 15429 + -15692. Which is bigger: n or -266?
n
Suppose 4*f - 11 = 5*n, 41*f = 42*f - 4. Which is smaller: n or 59?
n
Let q(x) = x**3 + 11*x**2 + 14*x + 39. Let y be q(-10). Let n be -9 + 11 + (y - -2). Which is bigger: 5 or n?
5
Let p = -52 + 73. Let u = p - 137. Let b be (-1)/3 + u*(-1)/(-3). Does -39 = b?
True
Let a = -61 + 49. Let c = a - -20. Let i be ((c/(-38))/4)/(4 + -3). Which is smaller: i or 0?
i
Suppose -2*s = -2*v - 65 + 5, 0 = 2*s - 4*v - 66. Let w = s - 27. Suppose 30 = -3*t - w*t. Which is greater: t or -12?
t
Let p = 1204738/7143 - -16/2381. Let s = 169 - p. Are s and -19 non-equal?
True
Let a = 22147 + -22185. Let t = 21 + -60. Is a smaller than t?
False
Let o = 0.34 - 46.34. Let n = -149 - o. Let a = n + 102.7. Is 0.23 bigger than a?
True
Let b(k) = -588*k**3 - k**2 + 22*k + 23. Let q be b(-1). Is q > 586?
True
Let f = 35.6886 + 0.0114. Let l be 12/(-27)*(-3)/(5 + -11). Are f and l nonequal?
True
Let c be (-1)/(-7 - (-78)/12). Let u(x) = x**2 + 5*x - 16. Let z be u(c). Which is bigger: -15/13 or z?
-15/13
Let d = 16.385 - 16.285. Is 0.117 != d?
True
Let c = -55.888 + -0.112. Let t = c + 32. Let w = -24.03 - t. Which is greater: w or 2?
2
Let w be 1*(-3)/(-6) + 969/6. Suppose 3*f = -4*b + 472, -2*b = -7*f + 3*f + 644. Suppose w*u - 24 = f*u. Is 16 at least as big as u?
True
Let o = 80 - 52. Let v = -34 + o. Let d be (68/6)/(4/v). Which is bigger: d or 2/3?
2/3
Let q = -0.1316 - -0.0316. Which is smaller: q or -0.608?
-0.608
Let h = -66 - -70. Let d(m) = -7*m**2 + 40*m + 2. Let f be d(h). Which is greater: f or 49?
f
Let r = 70 + -69.856. Let c = r - -0.086. Let k = c - 0.25. Is k < 2?
True
Let c = -570 + 273. Let d = -293 - c. Is d != -72?
True
Let a be (-23)/3 + (15 - 19). Let t be ((-1)/(-9))/((-8)/(-1092)). Let g = t + a. Is g less than or equal to 4?
True
Let o = 363 + -361. Let g be 3/o*24/(-13734)*-7. Suppose -2*m - 3*m = 0. Is m greater than g?
False
Let q be 42/(-18) - -2*(-60469)/(-51918). Suppose -2*p = -v, 0 = 4*p - 3*v + 2 - 0. Which is greater: p or q?
p
Let t = -16943 + 2117891/125. Which is greater: 1 or t?
1
Let w = 436 + -348. Let i = -0.06 - -0.06. Which is greater: w or i?
w
Let v = 42.23 - 42. Let c = 0.77 + v. Let u(d) = 2*d**2 - 4*d - 45. Let p be u(0). Which is greater: c or p?
c
Suppose -2166 = -12*g + 2190. Does g = 365?
False
Let b = 86 - 88. Let x be b/(-18) + (-3836)/(-144). Which is greater: 28 or x?
28
Let s be (21 - (-63 - -98)) + 14 + 1. Let i be 51/(-54) + (-1 - -2). Which is bigger: s or i?
s
Let l = 19 + -21. Let i = l + 1. Let h = 0.27 + 0.03. Which is greater: h or i?
h
Let k be ((-5)/(-10)*(7 - -1))/4. Which is bigger: k or 74/49?
74/49
Let x(f) = 2*f**2 - 37*f + 253. Let w be x(7). Let a = -87 + w. Which is greater: 96/19 or a?
96/19
Suppose -l + 3*l - 4*a = -12, -5*l - a + 25 = 0. Suppose l*b = 2 + 2. Let f = -4/27 - -82/189. Which is greater: b or f?
b
Suppose -19*q + 15*q = -48. Let w be (-30)/q*((-408)/(-105) + -4). Are -1/5 and w equal?
False
Let u = -31 - -41. Let c(s) = 8*s + 32. Let r be c(5). Let f be (2/(-4))/((52/r)/(-13)). Which is greater: u or f?
u
Let m be 0/((-84)/6 + 13). Which is bigger: m or -9/518?
m
Let a = -2130.8 - -2119. Let t = -10 + 2.8. Let k = a + t. Is 0.1 at most k?
False
Let s = -3983 - -2468. Which is smaller: -1/4 or s?
s
Suppose -3*z + 3 - 6 = 2*q, -7 = 2*q - z. Let f be 8 + -11 - (q - 1). Is 6 <= f?
False
Let r = -7713 + 7694. Suppose 3*f + 64 = -2*m, 0*f - 44 = 3*f - 2*m. Which is bigger: r or f?
f
Let n = 0.1418 + -0.0418. Is n < 4/2703?
False
Suppose 4*b + 2296 = 6*b + 5*u, 0 = -5*b - 7*u + 5762. Does b = 1158?
True
Let l(m) = -m**3 - 13*m**2 - 13*m - 15. Let z be l(-12). Let p be 92 + -2*(z - -2). Suppose 5*u + 39 = p. Is u not equal to 14?
True
Let v be (4*5 - 1)*-1. Let m = 11 + -6. Let z be 5*-3*8/30*m. Is v at most z?
False
Let o = -2114 - -2138. Which is bigger: o or 71/3?
o
Let z(p) = -p**3 - 7*p**2 + 11*p - 16. Suppose 0 = s - 4*w + 25, w - 14 = 2*s + 8. Let c be z(s). Which is bigger: c or 45?
c
Let w = 12370/4775223 - 4/3207. Is 1 > w?
True
Let p = -581063/13 + 44669. Is 0 smaller than p?
False
Suppose -2*t - 34 = -4*c, -29*c + 34*c - 5*t = 45. Let y be ((-220)/19272)/((-10)/c). Which is greater: y or 0?
y
Let i = -2628.64 + -0.36. Which is smaller: i or -1?
i
Let t be 0/(-15)*(-2)/6. Let m(v) = -v**3 - v**2 + v - 15. Let n be m(t). Let l be (n/(-21))/((10/4)/(-5)). Is l <= -2?
False
Let s be ((3 - -39) + -4)*(-11)/22. Let v be (-434)/(-24) - 2/(-8). Let z = v + s. Is -1/9 at least z?
True
Suppose 2*y + 3*z - 20544 = -3*y, -5*y = -5*z - 20520. Is y >= 4107?
True
Let x(t) = -2*t**3 - 2*t**2 + 2*t - 2. Let w be x(2). Let s = -35342 - -35345. Is s greater than or equal to w?
True
Let u be 1*(5 - (17/(-5) + 8)). Is -1.5 smaller than u?
True
Let z(x) be the second derivative of 2*x**3/3 - x**2/2 - 21*x. Let m be z(1). Suppose -5*r - 4 - 16 = 5*h, m*r + 12 = -5*h. Is h equal to -3?
False
Let i be (-8)/(-10) - (-58552)/8060. Does i = 9?
False
Let l = 55 + -43. Suppose -4*m + m + 39 = 3*u, -l = m - 4*u. Let g be -3 + (314/106 - (8 - m)). Which is greater: 2 or g?
2
Let f(g) = -g**3 - 10*g**2 - 6. Let h be (-1680)/170 - 2/17. Let i be f(h). Let v be (2 - (i + 2))/(27/72). Is 16 >= v?
True
Let p be (-546432)/1344*28/8. Which is smaller: p or -1425?
-1425
Let q = -26 - -31. Suppose -2*w + 8 = q*s, 0 = 2*w + 2*w + 5*s + 4. Let k be (-6)/(-15) - (1 - w/(-10)). Which is smaller: k or 7/6?
k
Let m = 108 + -320. Let w = 216 + m. Which is greater: -7/4 or w?
w
Suppose -37 - 5 = -21*q. Let b(o) = -3*o. Let