360. Let a be (-3)/3*(4 + -19 + y). Is 162/11 less than a?
True
Suppose 2*l + 12 = -110. Let n = l + -67. Let v = -181 - n. Which is smaller: -52 or v?
v
Let l = 7878 - 8045. Which is greater: l or -2154/13?
-2154/13
Let x = 23 - 19. Suppose 0 = h + 6*v - v + 19, x*h - 49 = 5*v. Suppose -c - 2*c = -h. Is 8 at most as big as c?
False
Let w be 156/(-18) + (1 - 4/3). Let q = w + 5. Which is smaller: q or -11/4?
q
Let k = 959 + -955. Let l = -95/27 - -2693/351. Which is bigger: k or l?
l
Let l(n) = -3*n - 57. Let f be l(-19). Suppose -12*c + 10*c = -3*d + 114, f = 2*d - c - 75. Is 36 equal to d?
True
Suppose 21 = -4*n - 2*g + 5, -4*n - 5*g - 28 = 0. Suppose -22 = 27*k - 26*k + 4*u, 0 = k - u + 12. Is k smaller than n?
True
Let b = 315 + -311. Let z(l) = l**3 - 3*l**2 + 4*l - 2. Let v be z(2). Suppose 0 = -3*t + b*u + 3, t = 3*t + u - v. Which is smaller: -5/2 or t?
-5/2
Let i = -2.72 - -16.12. Suppose -49*x + 43*x = -12. Which is greater: x or i?
i
Let b = -0.593 - -3.233. Is -3 less than b?
True
Let l be (-8 + 0 - -7)/((-5)/510). Are l and -7 nonequal?
True
Let d(y) = 3*y**2 - 75*y + 965. Let i be d(50). Is i >= 4715?
True
Let l be 0 + (-276)/285 + 1. Let o = -17757 - -17757. Which is greater: o or l?
l
Let u = -2536 - -2535.34. Suppose 2*g + 6*g = -8. Are u and g non-equal?
True
Suppose -3*i - 3*q - 227 = q, 0 = i + 2*q + 77. Let c = -78 - i. Which is greater: c or -10?
c
Let y = 2 + -1. Let z = -18.816 - -0.146. Let a = 1.33 - z. Is y at most a?
True
Let h be (-1 + 2)/(-3) + (-1001)/(-33). Let j be (-5)/((-5)/h*(-5 + 2)). Is j greater than or equal to -19/2?
False
Let m(x) = -2*x**3 - 36*x**2 + 7*x + 48. Let v be (-481)/26 + 2/4. Let a be m(v). Which is smaller: -1 or a?
a
Let t(m) = 14 + 572*m - 16 + 1 + 10. Let s be t(1). Let q be (-4)/2 + s/(-7). Are -86 and q equal?
False
Suppose 0 = -30*y - 17867 + 46454 + 21453. Which is greater: 1666 or y?
y
Let x = -2994 - -2993. Are x and 2/273 unequal?
True
Suppose -6*x = -287 + 29. Let d = x - 31. Suppose -o = -8 + d. Are 2 and o nonequal?
True
Let d = -3 + 3.3. Let c = -13.22 + 13.5. Let z = d - c. Do z and 4 have the same value?
False
Suppose -44*j + 39*j = -5, -3*r - j + 16 = 0. Is r less than 3/40?
False
Let j = -12391/7579 - 1/689. Let o = 66 - 65.6. Let l = 0.3 - o. Is l less than j?
False
Let z(x) = 2*x - 26. Let y be z(13). Suppose y = -3*a - 24 - 36. Let c be -4 + (-1)/(a/96). Which is smaller: c or 1?
c
Suppose -2*h + 15 = 5, 4*h + 2316 = 2*o. Let r be 7/(84/(-3536))*(-174)/44. Let c = o - r. Is 4 > c?
True
Let m be (-4)/10 + 13/(-5). Let d(n) = -n**2 + 7*n + 171. Let u be d(17). Let s be m - -4 - 1/u. Is s greater than -0.8?
True
Let z be 3888/6256 + -13 - 2/(-17). Is -11 at least z?
True
Let z = 37056 - 37054. Suppose 0 = -3*x + 4*v + 33, -3*x = v - 1 - 17. Is x smaller than z?
False
Suppose -2*w + 270 = 3*w. Suppose -5*g + 0*q = 2*q - 2540, g + 3*q - 508 = 0. Suppose -g*v + 514*v - 318 = 0. Which is smaller: w or v?
v
Let u = 2 - -1. Suppose -9 = u*q + 6. Suppose -189*m = -124*m - 130. Which is smaller: q or m?
q
Let m = 845 + 990. Is 0 <= m?
True
Let v(o) = 3*o**2 + 44*o - 45. Let t be v(1). Suppose 6 = c - 3*c + t*i, 2*c + 4*i = 6. Which is smaller: 7/51 or c?
c
Let v(y) = -27*y**2 - 91*y + 861. Let d be v(15). Which is smaller: -6578 or d?
d
Suppose 6744*r - 6723*r - 5985 = 0. Is r greater than or equal to 3126/11?
True
Suppose -38 = -2*p - 5*r - 75, 10 = -5*p + 4*r. Let h = 401 + -368. Is p > h?
False
Let x be ((-10894)/12989)/(1/(-31)). Suppose 3*n + 5*t - 66 = n, -2*t - 52 = -2*n. Is n less than x?
False
Suppose n + 3*n - 44 = 0. Suppose -n*f = -0*f - 22. Suppose f*j = 5*j. Is -2/53 smaller than j?
True
Let t = -48 + 35. Let m = 170 + -185. Are t and m non-equal?
True
Suppose 16*w + 65*w = -1562 - 1192. Which is smaller: -37 or w?
-37
Let o(g) = 108*g + 1990. Let z be o(-18). Which is bigger: -0.02 or z?
z
Let f = -3/32516 - 6535569/1593284. Let w = 9971/2156 + f. Let u = 3/11 - w. Which is smaller: -2 or u?
-2
Let h = 102 - 154. Let l be ((-4)/(-5))/(h/(-130)). Let p be l/(-4) + 15/10. Which is smaller: p or -5?
-5
Suppose -2*n = -3*l + 78275, -1848 = -4*l - 4*n + 102492. Is 26090 greater than or equal to l?
True
Suppose 0 = -3*s + 3*i - 11043, 559*i = -s + 556*i - 3669. Is -3677 <= s?
False
Let g(f) = -32*f + 1. Let m be g(1). Let w(s) = 144*s + 5586. Let u be w(-39). Which is greater: u or m?
u
Suppose 2*v + 4 = 82. Let w be 1/(5/150) - -1. Let n = w - v. Which is smaller: -9 or n?
-9
Let m = 284078119/1379 + -206003. Is -1 bigger than m?
False
Let v(g) = -2*g + 16. Let n be v(5). Let w(o) = -o**3 + 5*o**2 + 7*o - 3. Let f be w(n). Suppose f*c + 38 = 17. Is -9 less than c?
True
Suppose 0 = 3*k - 2*f - 2060, 0 = -58*k + 63*k + f - 3429. Are k and 680 equal?
False
Suppose -296*n + 291*n - 2569 = 3*v, -3429 = 4*v + 3*n. Is -858 equal to v?
True
Let w = -692/617 - -3133501/3085. Is w at most as big as 1016?
True
Let c be ((-930)/20*128/108)/(4/(-30)). Which is bigger: c or 412?
c
Let p = -3310 + 3455. Suppose -w - 2*v + 150 = 0, 0 = 4*w - v - 383 - 199. Is p at most as big as w?
True
Let d(r) = -r**3 + 5*r**2 - 13*r + 22. Let z be d(2). Is z >= 22?
False
Let s = -232 + 161. Let o be 4 + s + (-1 - 3). Which is smaller: o or -70?
o
Let r be (-494)/10 + 22/66. Let t = 29876/615 + r. Which is bigger: 1 or t?
1
Let m(k) = 3*k**2 - 12*k - 8. Let w be m(7). Let z be (4/3 + -1)/(w/495). Let g = -1109/3 + 374. Which is greater: g or z?
g
Suppose -2*d + 2*x + 104 = -212, 2*d - 3*x = 315. Let o = -103 + d. Suppose -33 = -o*b + 59*b. Which is greater: 2 or b?
2
Let s = 0.0523 + 0.0297. Is s smaller than -2?
False
Let h be -1 - 0/1 - 12. Let f be 1*(-3)/15 + (-1932)/115. Is h smaller than f?
False
Let j be (-4)/(-6) + (-55)/(-3). Let n be (-2580)/(-688)*(-8)/(-3). Suppose -5*b + n = l, 0*b + b + j = 4*l. Which is smaller: 3 or b?
b
Let w = -256 - -287. Suppose 18*u = w*u + 13. Is u greater than or equal to 2/103?
False
Let u = -3789.9 + 3790. Which is bigger: -550 or u?
u
Let u be (-1812)/2745 - (-1)/3*2. Let l = 273/4880 + u. Let w(z) = -z**2 + 3*z - 2. Let v be w(2). Which is smaller: l or v?
v
Let h = 303.446 + -304. Let s = 2.554 + h. Which is bigger: 1.63 or s?
s
Suppose -5*w = -3*u + 6*u - 1109, -4*w + 2*u = -874. Suppose 0 = -7*z + 2*z - w. Is z >= -0.3?
False
Let r(j) = -211*j + 193. Let f be r(0). Which is smaller: 383/2 or f?
383/2
Let t = 3923 - 62797/16. Is -1 less than t?
False
Suppose 2*m = 8*m - 6. Let c be (-3 + 1)*-2 - -1 - m. Is c equal to -2/41?
False
Suppose -3*f - 2*f = -10. Let k(h) = -330*h**3 - 2*h**2 + 2. Let b be k(1). Let u be -5*(-3 + (-954)/b). Is f greater than or equal to u?
True
Let d = -83.2 + 83.487. Which is smaller: d or -5?
-5
Let q(h) = -h**2 - 12*h - 28. Let m be q(-8). Suppose -m*b + 2*t = 504, -b - 4*t = -3*t + 132. Is -128 < b?
False
Let o = -12705 + 12704. Which is bigger: o or 1/292?
1/292
Let c(j) = j**2 - 10. Let h = -6 + 16. Let g be 2/h + 6 + 55/(-25). Let d be c(g). Which is smaller: 8 or d?
d
Let i be 55/(-22) + (-8603)/(-3038). Which is smaller: i or 1?
i
Let u(w) = 64*w - 4041. Let z be u(68). Is 313 bigger than z?
True
Let o = 29 + -28.952. Let w = -0.329 - -0.577. Let b = w - o. Are -5/4 and b unequal?
True
Let c be (-1 - -16)/(4/8*-2). Let x be 1 - (3/c - 67732/(-51360)). Let n = x - 2/321. Are n and 1 equal?
False
Suppose -12*q + 7 = -5*q. Let j be (-272)/(-1099) + 12/(-42). Is j >= q?
False
Let q be (-3 - (-66)/20)/((-44)/110). Are -8/13 and q equal?
False
Let z be (-12)/(-21)*7/2. Let w be 64/48*9/z. Let n be (w - 6)/((-4)/(-1)). Which is bigger: 2/133 or n?
2/133
Let l = -856 - -604. Let a be (-4)/(-6) - (-456)/l. Are a and -1/6 nonequal?
True
Suppose 2*p + 702 = 3*n - 1072, 5*p + 613 = n. Which is bigger: n or 585?
n
Let q = -330 + 75. Let x(r) = -r**3 - 32*r**2 + 68*r - 254. Let z be x(-34). Is z smaller than q?
False
Let p = -156.82 - -157.92. Do -3/43 and p have the same value?
False
Let k = -13.3262 + 0.3582. Let o = k + -0.032. Let s = o + 8. Which is smaller: s or -1?
s
Let v = 10634 + -10089. Are 5982/11 and v equal?
False
Let t = 5519 - 5228. Which is greater: 3206/11 or t?
3206/11
Suppose 0 = -5*m + 5, -11*m - 10 = -3*r - 6*m. Suppose -3*f - 32 = -5. Let q = 12 + f. Is q >= r?
False
Let b = 8941 - 8940. Let o be (-18 - -76