is bigger: 1 or w?
1
Let q(d) = -4*d - 12. Let g be q(-4). Suppose -x + g = -4*z, 0*z - 3*z + x = 3. Is 2/467 at most z?
False
Let b = 1.2787 - -2.7513. Is 2 at most b?
True
Let n be (-4)/18 + (-5)/(-63). Let u be ((-24)/132)/((-225)/(-99)) + 27/25. Is n not equal to u?
True
Let n(o) = -o**3 - 24*o**2 + 25*o - 20. Let x be n(-25). Let i be (1/2)/(x/(-350)). Let q = i - 113/12. Which is greater: q or -1?
q
Let m(y) = -y**3 + 107*y**2 - 409*y - 355. Let q be m(103). Suppose -3*a = -a + 92. Is q less than or equal to a?
True
Let y(q) = 2*q**3 + 7*q**2 + 4*q + 22. Let k(j) = -j**3 - j. Let z(b) = k(b) + y(b). Let s be z(-7). Are s and -2/773 equal?
False
Let x(h) = -34*h**2 - 6*h - 26*h**2 + 37 + 52*h**2 - h**3. Let y be x(-6). Which is greater: y or 5/19?
y
Suppose -2*g - 32 = -4*a, 124 = -5*g + a - 2*a. Suppose -3*h = 5*q - 4*q + 12, -9 = 3*h. Is g greater than q?
False
Let a(n) = n + 24. Let z be a(-20). Suppose j = -z*b + 5, -8*j - 2*b = -7*j - 5. Suppose j*h + h + 4*h = 0. Which is smaller: -0.4 or h?
-0.4
Let n be -4 + (-3)/(168/(-29323)). Let c = 519 - n. Which is smaller: -3/7 or c?
c
Suppose z + 5*q - 89 = 0, -4*z + 227 = -z - 5*q. Let k be (960/288)/((-1)/(-24)) + 3 + -1. Which is smaller: z or k?
z
Let i be (-1306609)/(-261343) - (-10)/(-2). Is 2/7 bigger than i?
True
Suppose -11*s - 5*s = -11296. Suppose 23*d + s - 62 = 0. Does d = -28?
True
Suppose -3*w - 30 = -2*d, w - 6*w = -5*d + 55. Let x be (-8787)/14948 - 6/w. Let g(z) = z**2 + 4*z + 1. Let r be g(-4). Which is greater: r or x?
r
Let t = 0.626 + -273.626. Let k = -250 - t. Which is bigger: 2/7 or k?
k
Let y be 58/(-10)*(7 - (5 - -87)). Suppose 494*p - y*p = 5. Which is greater: p or 28?
28
Let l = -305.9 - -306.02. Which is bigger: l or 35?
35
Let r(t) = 3*t**2 - 19*t + 284. Let v be r(20). Is 1 != v?
True
Let n be ((-41)/(-2132))/(46/(-8)). Is n > 1?
False
Let m be ((-2)/3)/(((-2)/(-3))/(-2)). Suppose 3 + m = -a, 0 = 2*t + 4*a + 138. Let i = t - -48. Which is smaller: i or -12?
-12
Let z be ((-9130)/26)/(4/5). Let b be 27936/64 - ((-2)/4 - 0) - -2. Let g = b + z. Which is smaller: -1 or g?
-1
Suppose -3*s - 149*y = -147*y + 224, -5*y + 25 = 0. Is -78 less than or equal to s?
True
Let a = 2406/39655 - 4/1133. Is a at least as big as -360?
True
Let o = -319/8400 + 3/175. Let p = -85/528 + o. Is -3/2 < p?
True
Let q = 394 + -387. Suppose q*s = -165 - 269. Which is smaller: s or -63?
-63
Let g(t) = -t**3 + 26*t**2 - 23*t - 49. Let m be g(25). Suppose -4*y - 15 = -5*k, 3*k + m - 8 = 2*y. Let b be ((-32)/1288)/((-18)/7). Are k and b non-equal?
True
Suppose -z + 4*z = -8*z. Let q = 19 - 18. Which is bigger: z or q?
q
Let z be (14 - -25*24/(-60))/8. Which is smaller: z or 32/123?
32/123
Let i(k) = 62*k + 1985. Let c be i(-32). Does 22/17 = c?
False
Let z(g) = g**2 - 96*g - 966. Let b be z(105). Is b >= -253/12?
True
Suppose 7*h + 43340 = 5*b + 12*h, -4*b + 5*h = -34654. Is 8667 < b?
False
Let l = -2411 + 2412. Is l greater than 1/1177?
True
Suppose 3*k - 194 + 176 = -5*b, -3*b + 2*k - 12 = 0. Is b >= 1/11714?
False
Let p = 5305 + -5936. Is p greater than or equal to -1889/3?
False
Let h = 180 - 188.5. Let t = -8.67 - h. Is -3/7 smaller than t?
True
Let y = 16/705 - 9157/413835. Which is greater: y or -1?
y
Let l be -30*706/45*9. Which is bigger: -29662/7 or l?
l
Let k = -3913 + 3892.21. Let r = k + 20.6. Is r <= 5?
True
Let s be 6/(2/8*-1). Let a be ((-88)/6 - 1)/(-26 - (-2079)/81). Let t = a + s. Is t less than or equal to 1?
False
Let z(o) = 11*o + 120. Let t be z(-8). Suppose -45*h + t = -13*h. Which is greater: h or -1/169?
h
Let u be (-6)/9 + (-88)/(-6). Let p = 2272 + -2265. Suppose 0 = -p*c + 8*c + u. Is c at least as big as -13?
False
Let a = 12.09 - 12. Let q = -2178 - -3553. Let m = q - 1376. Is m at least a?
False
Let l = 3788.218 - 3788. Is 0 smaller than l?
True
Let b be (-601)/(-469) - 1 - 22/385*5. Which is smaller: 6 or b?
b
Suppose -2*x + 4*m = 9588 - 2000, 2*x - 5*m = -7596. Which is smaller: -3780 or x?
-3780
Let y be (1 - 129)*(-12)/24. Suppose -8*u + y = -7*u. Suppose -3*z = -u - 74. Which is greater: z or 45?
z
Let q be 2 + (18620/(-847) - -18 - -1*2). Let h = 0.8 - 0.8. Let a = -0.1 - h. Which is bigger: q or a?
q
Let l(x) = -x**3 - 17*x**2 - 51*x + 12. Let u be l(-13). Which is smaller: -4/6107 or u?
u
Let h = -1 + 6. Let v be 3/1*-1 - (-132)/(-3). Let r be 1/(-16)*-2 + v/(-8). Is r less than or equal to h?
False
Let w be (11 - 9867/539) + 12. Which is greater: 6 or w?
6
Suppose -47*x = -275*x - 269496. Is -1186 less than x?
True
Suppose -7*q + 48 = -15*q. Let h be q/(-8) + (-1)/(12/(-543)). Suppose 2*i + 2*v - h = 0, 5*i + 4*v + 4 - 122 = 0. Is i less than or equal to 26?
True
Let g = 2143 + -2069. Which is smaller: 60 or g?
60
Suppose 9*j - 13 = -4*j. Let o be ((-76)/(-4))/j + -4. Suppose -3*x - o = -18. Is -1/64 bigger than x?
False
Suppose -3*x + 11 - 2 = 0, 4*g = -5*x + 315. Let q = -1 - g. Are -77 and q non-equal?
True
Let q(o) = o**3 + 6*o**2 + 6. Let h(r) = 9*r - 4. Let m be h(3). Let k = m + -29. Let p be q(k). Which is smaller: 5 or p?
5
Suppose -2*d = -d + 16. Let n = -10 - d. Let o be 72/16*16/12. Is o not equal to n?
False
Let c = 0.35328 + 0.10372. Are c and -1/7 non-equal?
True
Let l(r) = -r**3 - 20*r**2 + 39*r - 97. Let g be l(-22). Does 332/25 = g?
False
Let t be (4 - (-110)/(-30))*(0 - -30). Let a be 0 - t/(-315)*1. Which is bigger: a or 0?
a
Let p = 114 - 163. Let o = -52 - p. Which is bigger: 1 or o?
1
Let s be 8/(-3)*36/(-24). Suppose -n - 3*n = -t + 20, 0 = s*t + 3*n - 4. Suppose -y = 3*p, -y - y + t*p = 0. Is y > -2/219?
True
Let i(j) = -2*j**2 + 12*j - 13. Let q be i(-7). Let v be (6/9)/((-80)/q). Is v bigger than 2?
False
Suppose 0 = 3*r, w + 50*r - 54*r + 11 = 0. Let m be w/(-5) + (5 - 8). Let x = 1 - 1. Is m less than or equal to x?
True
Let l = -123/11 - -380/33. Are 2818 and l non-equal?
True
Let w = -791 + 530. Let m = -280 - w. Is 1.4 smaller than m?
False
Suppose 2*g = -74 - 22. Let m = g - -49. Let v be -2 + m*((-12)/(-3))/4. Which is smaller: 1/27 or v?
v
Let p be 2*((-21)/12 + (-3)/60*-25). Which is smaller: p or 2/6281?
p
Let n(l) = -l**2 + 58*l - 42. Let u(w) = 2*w**3 + 15*w**2 + 14*w + 33. Let s be u(-6). Let m be n(s). Do 21 and m have the same value?
False
Let j = 769/5 + -892/5. Let x = j - -25. Is x <= 5.7?
True
Let p = -1 + -4. Suppose 4*v = 5*o - 50, -2*o = 3*v - 41 + 44. Is p greater than or equal to v?
True
Let j = -17190 - -103129/6. Which is smaller: -4/11 or j?
j
Let z = -0.651 + 706.651. Let b = z - 1259. Are b and -1/4 non-equal?
True
Let u = -9751/3 + 3250. Which is bigger: -32.74 or u?
u
Let c = 0.02 + 1.98. Let y = 0 + c. Let g = -709.16 - -709.26. Is g at most y?
True
Let w(g) = g**3 + 5*g**2 - 2*g - 11. Suppose 3*u + 6 = -3*n, -4 = -u - 13*n + 10*n. Let t be w(u). Is 2/61 <= t?
False
Suppose -2 = -2*u - 34. Suppose -6*l + l + 4*k = -459, 2*l - 178 = -4*k. Suppose 84*f = l*f + 49. Which is bigger: f or u?
f
Let m = -10 - -16. Let n be 39 - (-2 + 20/4). Suppose -2*j - n = -t - 51, 2*t - 30 = -2*j. Which is greater: m or j?
j
Let g = -7094.02 + 6989. Let f = g - -104. Let r = f - -2.02. Is -0.48 >= r?
False
Let u be ((-4)/7)/(-13*(-31)/(-3895801)). Which is smaller: u or 4?
4
Suppose -3*w - 92 = -2*s, -2*w + 11 - 72 = -s. Let h = w - -37. Suppose 28 = h*x - 0*x. Are 3 and x nonequal?
True
Suppose 9*d = 25*d + 27 - 11. Which is smaller: d or 1/10546?
d
Let n be 17438/(-4440) + (-6)/(-18)*12. Let o = -2/185 - n. Let y = 19/84 + o. Which is smaller: y or -8?
-8
Let v(m) be the first derivative of 67*m**2/2 + 20*m + 25. Let i be v(-1). Which is greater: i or 0?
0
Let a be 1 + 7/5621 + -1. Suppose 7*t = 5*t. Is a <= t?
False
Let s be 6/(-5)*60/18 - -10. Is 96/13 less than s?
False
Let l be 4/39*(-135)/6. Let y = -252 - -252.102. Let w = 0.102 - y. Is l at most as big as w?
True
Let c = -619 + 620. Let t = -240 - c. Which is bigger: t or -1?
-1
Let q(k) = -11*k**2 - 79*k - 1. Let h be q(-7). Suppose 4*n + h*n = 0. Which is bigger: -9/115 or n?
n
Suppose 0*w = 4*h - 5*w - 24780, -3*h + 18585 = -3*w. Let q be (8/(-240))/((-66)/h). Let z = 4/33 + q. Is 0 >= z?
False
Suppose 8617 = -22*i - 2295. Let f = i + 436. Is f smaller than -61?
False
Let t = 6317324/945 + -6685. Let p = t + -869/378. Which is smaller: -3 or 