39652445/51519 + 4/17173. Is t > 770?
False
Suppose 5*r - 364 = -349. Suppose -5*f = 2*m, 4*m = -2*f - r*f. Suppose 2*s - 1 = -3. Are s and f nonequal?
True
Let x = 0.304 - 0.404. Which is greater: 2477 or x?
2477
Let h = 45 + -29. Let l be ((-38)/(-6))/(h/48). Let n be 2/16*(-11 + l). Do 12/5 and n have different values?
True
Let v = 6 + -7. Let f = -38243/4 + 9503. Let s = f + 40879/708. Is v < s?
True
Let d(s) = 4*s**3 + 3*s**2 + 3*s. Suppose 32*r - 34 = -98. Let y be d(r). Which is bigger: y or -6?
-6
Let c be (-8)/(-12) + 80/(-75). Let t = 106 + -17. Let i = t - 89.3. Is c at most as big as i?
True
Let h = 20.8 - 17.68. Let n = h - 3.02. Let z be -18 - (21/(-9) + 2). Which is bigger: n or z?
n
Suppose -8*x + 481 = 4*q - 9*x, -4*q - 4*x + 496 = 0. Let z = q + -122. Which is greater: -28/11 or z?
z
Suppose 0 = -2*l - 19 + 7. Let z be (-24)/20*10/l. Suppose -z*j - 2*j + 12 = 0. Is j less than or equal to 3?
True
Suppose x - 5 = -4*x. Let b = 5512/71 - 300463/994. Let h = b - -451/2. Which is smaller: x or h?
h
Let k(u) = -5*u - 5. Let o(y) = y - 2. Let d(v) = -k(v) - 2*o(v). Let m be d(2). Suppose b + 2*i = m, 4*b + 27 - 77 = 2*i. Is b <= 11?
False
Suppose -3*y = 3*s + y - 192, 0 = 4*y. Let z = 116 - s. Suppose 5*m + c - z = 0, 0*c - c = -5*m + 48. Which is smaller: m or 9?
9
Suppose 28*s + 41*s - 23*s = 0. Let l = 1 - -1. Suppose l*g = -0*g - 12. Are s and g equal?
False
Let i = -10 - -46. Suppose 0 = 3*d + 24 - i. Suppose -d*y - 194 = 146. Which is greater: -86 or y?
y
Suppose 3*j = -13*j - 167 + 55. Are -254/45 and j equal?
False
Suppose 39*f + 74 - 152 = 0. Is f at most as big as 56/69?
False
Let z = 1 - 0. Let c be (-7)/(-6)*11/(462/(-8)). Which is smaller: c or z?
c
Let f(a) = -a**2 - 10*a - 6. Let b be f(-6). Suppose 3*o - 2*s = -2, -o + 10*s = 5*s + b. Let i be ((-66)/11)/(33/o). Which is greater: 0 or i?
0
Let y(m) = -2*m**3 + 60*m**2 - 68*m + 289. Let w be y(29). Which is smaller: w or -18/53?
w
Let j(i) = i**2 + 15*i - 13. Let m be j(-13). Let z = m + 50. Let x be (-6)/9 - (76/(-6) - -2). Are x and z equal?
False
Let l(h) = 3*h**3 - 21*h**2 + 54*h + 51. Let g(z) = 14*z**3 - 83*z**2 + 217*z + 205. Let o(m) = 2*g(m) - 9*l(m). Let q be o(-25). Which is smaller: q or 0.22?
0.22
Let r(l) = -6*l**2 + 8*l + 2. Let u(x) = x + 8. Let y be u(-6). Let w be r(y). Let j be w/(-21) - 6/21. Is 3 greater than j?
True
Let m(l) be the third derivative of l**5/60 - l**4/24 + l**3/3 - 44*l**2. Let v be m(-13). Let k be v/(-666) - 22/(-99). Which is smaller: k or -1?
-1
Let k be (-285)/(-25) - (-3)/5. Suppose -41 = -k*h - 53. Which is smaller: 6/29 or h?
h
Suppose 0 = 4*n + 3*k + 7181, -2*k - 26 = -2*n - 3620. Let q = -7219/4 - n. Which is smaller: -10 or q?
-10
Let t(j) = 2*j**3 - 3*j**2 - 3*j - 1. Let a be t(4). Let s = a + -88. Suppose -5*i + 96 = -4*n, 3*i + 31 + 14 = -3*n. Are s and n equal?
False
Let d = -0.08 + -0.92. Let f = 0.9 + d. Let w = -299 + 276. Is w equal to f?
False
Suppose 0 = -66*y - 14212 - 10868. Is -371 > y?
True
Let h be 15/(0 - 1/4). Let d(j) = -2*j**3 - 23*j**2 - 28*j - 2. Let p be d(-10). Let m be (p/(-60))/((-24)/h). Which is smaller: m or 0?
0
Let v = -0.56 + 0.53. Does 169 = v?
False
Let u = -112.61 - 1.39. Let n = 43.8 + 70.6. Let l = u + n. Which is smaller: -0.7 or l?
-0.7
Let y(s) = 4*s**2 - 5*s - 3. Let u be y(-3). Suppose -93 = -u*x + 45*x. Let o = -32 + x. Is o at least as big as 2?
False
Let h = 241 + -242. Let n be (58/(-3220))/((-3888)/(-1500)). Let c = n + 1/1288. Are c and h unequal?
True
Suppose 5 + 4 = r. Suppose -5*v + m - 20 = 0, 2*v - 20*m = -22*m + 4. Let a be 9 + -13 - v/(30/44). Is r not equal to a?
True
Let p = -646 - -645. Does -4/711 = p?
False
Let x be 3/(-9)*4/35. Suppose 8567*f = 8522*f. Which is greater: x or f?
f
Let a(r) = -2*r - 2*r**3 - 14*r + 8*r + 30*r**2 - 18*r - 17. Let v be a(14). Which is smaller: v or 12?
v
Suppose 0 = 15*c - 17*c + 12. Let g be ((-582)/(-12))/(1/2). Let i = g - 87. Is i at most as big as c?
False
Suppose s - 218 = -2*q + 4*s, 436 = 4*q + 4*s. Let n = q + -74. Let b = -145 - -181. Is b bigger than n?
True
Let u(n) = n**3 - 52*n**2 + 100*n. Let c be u(50). Let y(f) = f**3 - f**2 - f + 23. Let q be y(c). Is 1 at least as big as q?
False
Let w be (72 + -68 + (-21)/6)*2/(-5). Which is smaller: w or -504?
-504
Let g = 3235 + -3235. Is g smaller than -2/1211?
False
Suppose -53*o - 13452 = 183*o. Let v be ((-5)/10 + 3)/1. Which is greater: v or o?
v
Let a be (24/(-21) - -2) + 2640/(-42). Let m be -6*(-2)/3 - -1. Suppose 4*r - m*c + 237 = 0, c = 2*r - c + 120. Is r at least a?
False
Let d(y) = -144*y + 12524. Let t be d(87). Let m = 2 + -2. Is t at least as big as m?
False
Suppose -2*m + 48 = 2*m. Let q be 172/24 + (-2)/m. Let n = 109/39 - 32/13. Is n at least q?
False
Suppose 14*i = 2*f + 10*i - 116, i - 7 = 0. Which is smaller: 21 or f?
21
Suppose 1167*o - 616700 = 1267*o. Is -6166 at least o?
True
Suppose o + 96 = -6*o + 6*o. Is o not equal to -96?
False
Suppose 4*h - 82 + 302 = w, -924 = -4*w + 5*h. Suppose -18*v - 38 + w = 0. Is v smaller than 10?
False
Let b = -100.73 - 116.27. Let v be ((-2)/(-10))/(8/(-10)). Is b at most v?
True
Suppose m + 8 = -3*x, -3*x = -2*m + 5*m + 6. Let q(j) be the first derivative of -j**3/3 - j**2 + 2*j - 20. Let f be q(m). Which is smaller: -6 or f?
-6
Suppose -u + 5*u + 20*u = 120. Do u and 70/11 have different values?
True
Let d = -22378/3 + 135427/18. Is d less than 63?
False
Let d(m) = -m**2 - 4*m + 4. Suppose t = -t + 5*i + 20, 3*i = -5*t + 19. Let o be d(t). Let s = -43 - o. Is s at least -32?
True
Let z = 152 + -98. Let a be (z/12 + -3)*76/30. Let q be 2/(-7) - (-1)/28. Which is greater: q or a?
a
Let a be (-48)/(-104) - (-2514)/(-5460). Is 1 bigger than a?
True
Let d(k) = 2*k + 5. Let a be d(-3). Let u be ((-45)/(-666))/(15/36). Which is smaller: u or a?
a
Let x be 289250/100 + (-3 - (-2)/((-8)/(-18))). Do 2895 and x have the same value?
False
Let o be (-2)/(-1)*15/(-69). Let u(q) = q**3 + 11*q**2 + 13*q + 33. Let z be u(-10). Suppose -5*h + 7*h = -z*h. Which is smaller: o or h?
o
Let c(o) = o**2 + 5*o + 5. Let w(s) = -2*s**3 - s**2 + s + 2. Let p be w(-1). Suppose 0 = p*b - 7*b - 20. Let y be c(b). Do -5/13 and y have the same value?
False
Let r be (4/12)/(-3*3/27). Let d be (-256)/(-82) + 1 + -4. Does r = d?
False
Let t be (-6 - 813/(-135))*(-2 - -5). Let x = 4.33 + 0.17. Let v = x + -5. Which is smaller: t or v?
v
Let w be 120/(0 + 4/(-4)). Let s = 38 + w. Let o = -81 - s. Is o <= -1/168?
False
Suppose 0 = -9*d + 14*d - 45. Suppose s + 0 = c - d, 2*c + 3*s = 33. Which is greater: c or -5?
c
Let t be (-2)/32 - 65964/4416. Is t < -214/13?
False
Let i = 284 - 284. Suppose -2*k + 4 - 1 = x, -2*k - 6 = i. Which is smaller: -2 or x?
-2
Suppose 3*t - 8 = 2*u, 0 = -3*t - 3*u + 2*u + 14. Suppose t*x = -x. Let b be (2/(-7))/(5*4/(-560)). Which is greater: x or b?
b
Let g be (-4)/(-32) - (-2380)/(-8800). Is -4 smaller than g?
True
Suppose -4*d - 96 = -0*d - 4*w, -3*d + 4*w - 77 = 0. Let l(r) = 5*r + 14. Let o be l(d). Let z = -83 - o. Is -0.33 <= z?
False
Let h be ((450/(-27))/(-5))/((-180)/486*-3). Suppose -j + 10 - 1 = 0. Let f = -15 + j. Is h greater than f?
True
Let z(l) = 4*l - 24. Let o be z(6). Let g be (2/2200)/(1168/64 + -18). Which is smaller: g or o?
o
Suppose 5*y + 366 = -869. Let s = y - -246. Is s bigger than 2/67?
False
Let w = 8 - 7. Suppose 6840 = 40*p + 31*p + 109*p. Which is greater: p or w?
p
Suppose 3*u - 2*k - 9 + 408 = 0, 3*k = -2*u - 279. Are u and -541/4 non-equal?
True
Let c(u) = -6*u + 38. Let m be c(-13). Suppose 8 = -2*o + m. Suppose 0 = -6*z - o + 12. Is -17/3 at most as big as z?
False
Let g be 2/(-14) + 488/(-14). Let a be 1850/g + 4/(-28). Is -54 bigger than a?
False
Suppose 0 = d + 3, -2*z - 1868 = -37*d + 41*d. Which is greater: -921 or z?
-921
Let l be (3/(-6))/(5/640). Let y = l - -90. Let h be (-2124)/(-90) - ((-12)/15)/2. Is y greater than or equal to h?
True
Let p(b) = -b**2 + 5*b - 5. Let t be p(4). Let x be ((-65)/(-39))/((-1410)/(-54)). Which is greater: x or t?
x
Let w be (-3)/((1 - 2)*1). Let k = 7 - 5. Suppose -w*o + 29 - 9 = -4*t, k*o - 5*t = 4. Which is smaller: o or 11?
11
Let g be (-2)/(3*6/45). Let n be (0 + 1)*8 - (-2 - -4). Let s be (-19)/3 - (g - (-28)/n). Which is smaller: s or -5?
