
Let b be -2 - (-1)/(17/33). Let i(f) = f**3 + 20*f**2 - 23*f - 42. Let y be i(-21). Suppose y = 15*h - 12*h - w + 4, -w + 4 = -h. Is h < b?
False
Let q be 9 + 93*(-3)/(-9). Let m be 16/(-12) + q/30. Is 1 greater than m?
True
Let y = 338/37 - 11588/1147. Let u(a) = -8800*a + 61600. Let c be u(7). Is y greater than c?
False
Let f = 13453 - 8408128/625. Is 0 less than f?
False
Let v = -685 - -175. Let q be 0 + (-74)/60 - 680/v. Is q smaller than -0.03?
False
Suppose -j = 2*o + o - 270, 0 = 4*j - o - 1106. Let b be 490/((j/11)/6). Let w = b - 117. Is w bigger than 1?
False
Let c be 1260/(-42)*((-27)/(-78) + 0). Which is smaller: -10 or c?
c
Let w(s) = 250*s**3 - 6*s**2 - 3*s - 3. Let a = -955 - -954. Let d be w(a). Is d greater than or equal to -1?
False
Let s = -109 + 66. Let g = 47 + s. Suppose 3*v = -g*j - 6, 6*j + 4 = -2*v + j. Does v = -2?
True
Let u = 53 - 120. Let w = 69 + u. Suppose 0 = 5*y - 2*g - 125, -4*y - w + 69 = 5*g. Are y and 23 unequal?
False
Let c be (1452/(-2750))/(-6*(-6)/(-1080)). Do c and 15 have the same value?
False
Let k = 39 + -38. Suppose s - 3*q - 13 = 0, -2*s + 3*q + 9 + 11 = 0. Let z be (s - 8)/(-1*k). Which is smaller: -10/3 or z?
-10/3
Let i = 0 + 1.2. Let p = i + 0. Let y = 662 - 661.7. Which is greater: p or y?
p
Suppose 0 = -1526*z + 1509*z + 25568. Which is greater: 1501 or z?
z
Let z = 504 - 201. Let m = 91 - z. Which is smaller: 0.1 or m?
m
Let o be (((-8)/1)/(-4))/((-2)/(-8)). Let b be (-66)/88 - (-2)/o. Is b less than -12/11?
False
Let n = 28866 + -29540. Is -7 at most as big as n?
False
Let v(w) = -w**3 - 9*w**2 + 14*w - 46. Let g be v(9). Which is smaller: g or -1376?
g
Let k be (-2)/1*(-9 - -8). Suppose -3*g + 5*m = 4*m + 67, -k*m = 10. Is -19 < g?
False
Suppose -54*y + 5099 = -34388 - 3227. Which is bigger: 792 or y?
792
Let q = -455 + 446. Which is smaller: 0.19 or q?
q
Suppose p = 6*p - 5. Let u be (-16)/(-6)*(11 + p). Suppose 0 = -2*v - 3*s + 74, -290*s = v - 292*s - 30. Is u equal to v?
False
Let y = -3044 - -3042. Is -48/23 less than or equal to y?
True
Suppose 4 = z + z, -4*k + 28 = -2*z. Let t be (8/(-5008))/(2/k). Which is bigger: -1 or t?
t
Let x = -30 - -40. Suppose 2*m - x*a + 6*a + 18 = 0, 17 = -5*m + 3*a. Is -1/101 at least m?
True
Suppose 31*a + 2*g = 26*a + 157, -63 = -2*a - g. Which is bigger: a or 24?
a
Suppose -5*o + 109 = -1. Let v be (-84)/64*-4 - (-3)/(-12). Let k(l) = -l**3 + 5*l**2 + 7*l - 13. Let r be k(v). Are o and r equal?
True
Let a(r) = r**2 - 1034*r - 9387. Let v be a(-9). Do -632 and v have different values?
True
Let n = 24 - -13. Let m = -37 + n. Suppose m = -t - 7*t. Which is greater: t or 2?
2
Let n be (196/9632)/((-1)/(-4)). Which is greater: 1 or n?
1
Let l(o) = -o**3 + 2*o**2 + 16*o - 5. Let u(a) = a**3 + 5*a**2 - 5*a + 11. Let x be u(-6). Let t be l(x). Let m = -7885/9 + 877. Is t smaller than m?
True
Suppose 0*y = 5*y - 50. Let c be 14/(-420)*-633 - 12. Is c < y?
True
Let j be 5/2*144/(-45). Let d be ((-4)/32)/(j/64). Are d and 1 equal?
True
Let p be ((-90)/27 + 2)*6/(-4). Let t be 8/(-120)*-6*p/168. Which is smaller: t or 1?
t
Suppose 45*r + 52*r - 19807 = 68*r. Is r > 682?
True
Let g = -12349576/375 + 32931. Let j = g - -1/375. Let q = 0.04 - -1.96. Which is smaller: q or j?
j
Let c be (-22)/((-20)/12*5 + 8). Do c and 74 have the same value?
False
Let a = 23 + -23.01. Let r = -2/1019 + 4114/19361. Is a not equal to r?
True
Let p be (6/10)/((-1)/(-9)). Let z be (172/129)/(((-2)/(-3))/((-26)/(-13))). Is p at most z?
False
Let z = 6047 - 6048. Let v(a) = -4*a**2 + 1. Let i be v(1). Is i at most z?
True
Let h be (86/(-2756))/(2/8). Let p = h - 26/53. Let w(s) = 2850*s + 8549. Let u be w(-3). Which is bigger: u or p?
p
Let h be (1 - 0) + 42560/(-28050). Let k be (4/(-990))/((-6)/(-18)). Let m = k + h. Which is bigger: m or 0?
0
Let g = 3084918391/65 - 47459323. Let z = 960 - g. Which is smaller: z or 0?
0
Let m(o) = -125*o**2 + 247*o**2 + 21*o - 12 - 124*o**2. Let d be m(12). Let s be -45 + -3*(1 + 0). Is d not equal to s?
False
Suppose -5*u + 1 = o, -u - 43 + 39 = -4*o. Is u less than 7/653?
True
Let t = 67 - 58. Let y = -31 + t. Let o = 22 + y. Is -2/15 > o?
False
Let s be -3 + (17 - 3) - 4. Let v(u) = -u**3 + 4*u**2 + 22*u + 4. Let c be v(s). Suppose -5*f + 23 = -32. Is f less than c?
False
Let a = 2273 - 2272. Do -3/2704 and a have the same value?
False
Let i(l) = 14*l**3 - l**2 + 8*l - 7. Let p be i(1). Let k be (-7)/p*30/(-123). Which is bigger: k or -1?
k
Suppose g + 7492 = 27*h - 30*h, -4 = -2*g. Is h smaller than -2498?
False
Let c be 20*(-25)/375 + 5716/(-6). Which is greater: -953 or c?
-953
Let m = 847 + -38963/46. Suppose 15 = 3*b - 5*s, -4*b + 4*s = -b - 15. Suppose 2*z + 3 = b. Is m <= z?
True
Suppose 5*w = -3*c + 2373, -3*c = -3*w - 4*c + 1427. Is w > 465?
True
Suppose -5*s - 2 - 18 = 0. Let a = 105 - -353. Let f = a + -458. Which is bigger: f or s?
f
Suppose -6*s + 1650 = -4*y, 11*y + 2*s = 16*y + 2046. Do y and -408 have different values?
False
Suppose -31 = -r + 3*j, 4*j + 36 - 16 = 0. Suppose r = 3*u + 19. Is -2/27 >= u?
True
Let v = 214 - 172. Let t be 20/v + (2 - 4)/14. Which is bigger: t or -26?
t
Let d be (-30)/20*(-8)/3 + -1. Suppose f + 4*p = d - 7, f = -2*p - 6. Are f and 0 equal?
False
Let j = 0 + 36. Let p be (-11)/6*j/192. Is 0 less than or equal to p?
False
Let f(y) = -y**2 - 776*y + 2338. Let x be f(3). Is x less than or equal to -44/609?
False
Let z be 44/24 - (1 - -1). Let l = -27 + -53.1. Let a = l - -80. Is a >= z?
True
Suppose -3*j + x + 0*x = 76, 0 = 2*j - x + 52. Let i be (-26)/3*36/j. Which is bigger: 18 or i?
18
Suppose 63*g + 10 = 68*g. Let j be (2/(-4))/(1/(-8)). Suppose 2*l - 20 = 4*a, -4 = j*a - 0*l + g*l. Which is smaller: -1 or a?
a
Suppose -3*r = r + 3*h - 3, -4*r - 2*h = -2. Suppose r = -n + 4*f + 41, -2*n + 3*n + 4*f - 41 = 0. Suppose -414 = -4*u - 21*u + 611. Is n equal to u?
True
Let f = 487/2 + -242. Let t = -8/5 + f. Is t < -1?
False
Let k = -3554 - -4760. Which is smaller: k or 0?
0
Let m be 162/(-3402) - (-2)/(-7). Let p be (30/(-4))/(27/(-63)). Which is greater: m or p?
p
Suppose -2*c + 4*a + 441 = 1133, 0 = 2*c - 2*a + 692. Let j = c - -317. Which is greater: -26 or j?
-26
Suppose -2*f + 596 = -358. Let o = -43408/91 + f. Which is smaller: -1 or o?
-1
Suppose 2*i + 12 = 4. Let z(d) = d**3 - 3*d**2 + 6*d - 4. Let r be z(i). Is r <= 0?
True
Let w(t) be the first derivative of -t**4/4 + 8*t**3/3 - 15*t**2/2 + 6*t - 90. Let p be w(5). Let j = -11 + 18. Do j and p have the same value?
False
Let y = -0.04735 - -0.06735. Which is smaller: y or -165?
-165
Suppose 74 = -3*f + 485. Let g = -666 + f. Which is smaller: g or -530?
-530
Let a = 3.157 - 3.057. Which is smaller: -0.0567 or a?
-0.0567
Let i(y) = -9*y**2 - 25*y + 72. Let g be i(7). Are g and -546 unequal?
True
Suppose -3*j - 5 - 15 = -4*h, 5 = -5*j + h. Let u be (-1 - (-2 + j))/1. Let i = -15075 - -195973/13. Is i smaller than u?
True
Let c(m) = -8*m - 218. Let g be c(-27). Let w be -950*(-1)/g + (-2)/2. Is -476 > w?
False
Let u(p) = p - 15. Suppose -r + 3*a = 8*a - 37, -4*r + 58 = 2*a. Let g be u(r). Let k be (-2 + 4)*g/(-6) + -6. Is -3 greater than or equal to k?
True
Suppose 3 = -3*o, o - 121 = -h - 18. Let v = -101 + h. Suppose -v*g - 64 = 4*k, -g - 114 = 4*g + 3*k. Is -24 greater than g?
False
Suppose 51*h - 72*h + 693 = 0. Suppose 20*x - 247 = h*x. Is x equal to -0.7?
False
Let r = -7716/19 - -406. Let i(v) = 14 - 6*v**2 - 63*v + 79*v - 13 - v**3. Let b be i(-8). Is b >= r?
True
Let a = -43 + 3439/80. Let j = 1045 - 1042. Suppose -2*v + 6 + 21 = 5*k, j*k = -5*v + 20. Do v and a have the same value?
False
Suppose -p - 9 = -3*h, -2*p - 17 = -4*h + 9. Let k be p/(-12) - (-2)/8. Let r = 21606/5 - 4320. Which is smaller: r or k?
r
Let b(q) = -q**3 + 5*q**2 - 3*q + 1. Let p = -22 - -25. Let s be b(p). Suppose 3*a + 2*u = 11 - 4, -2*u = -s. Is -3/4 greater than or equal to a?
True
Let y be 2/4 + (-311)/(-2)*3. Let n = y - 529. Which is smaller: -2 or n?
n
Let x(u) = -2*u**2 + 25*u + 62. Let m be x(18). Let d = m - -137. Which is greater: -1/4 or d?
d
Let k be (((-30)/4)/(-15))/(2/84). Suppose 1 = 11*r - k. Which is smaller: r or 16/13?
16/13
Let c be (5/2)/((-3)/18). Let j be ((-202699)/c)/7 - (-4)/(-6). Let a = j + -1923. Is a at most as big as 8?
True
Let 