Let j be l(-10). Is j equal to 10621?
False
Let n = 8 + -5. Let z = -480 + 780. Let b = -2698/9 + z. Is b bigger than n?
False
Let d(s) = 27*s + 271. Let g be -20*-1*3*(-37)/222. Let z be d(g). Is z > -8/19?
True
Let t be (5*48/(-20))/22. Are 518 and t nonequal?
True
Let o(x) = 8*x + 172. Let i = 500 - 493. Let k be o(i). Which is greater: 226 or k?
k
Let q = 3.65 - 4. Let l = q - 18.65. Let m = -43051 + 258305/6. Is m > l?
True
Let d = -238 - -241. Suppose 5*m + 0*m = -c + 13, -9 = d*c - m. Is c less than or equal to -3?
False
Let t be ((-36)/(-190))/(5/(-25)). Let f = 88/133 + t. Let h(q) = -2*q**2 - 2*q + 5. Let b be h(-5). Which is greater: b or f?
f
Let j = 273 + -248. Let m = j + -26. Which is smaller: m or 29?
m
Let u = -13.8810051 + 0.0513551. Let w = 0.05535 - u. Let t = w + 0.115. Which is greater: -1 or t?
t
Let m be ((-1008)/(-45))/(-14) + (-6)/(-10). Let a be m/2*(-20 - -3)*2. Let j be (3*2)/(3/8). Are a and j unequal?
True
Let r be (-2 - -8)*-1 + 18. Let u be (-727)/145 + -7 + r. Which is greater: 0 or u?
0
Let z = 181/72 + -157/72. Suppose -5*t + 3*f + 11 = -10, 3 = f. Let g(k) = -2*k + 9. Let s be g(t). Which is bigger: z or s?
z
Let t = 87.3 + -77. Let l = t - 3.1. Let z = -7 + l. Is 9 less than or equal to z?
False
Suppose -8 = -31*x + 27*x. Let r be 0 + (x - 0) - (-1 - -1). Let j be 2*(r - 0)/(-4). Is j >= -3?
True
Suppose 100 = 5*x - 2*l, 10 = x + l - 10. Suppose -5*g = k + 3*k - 99, -120 = -5*k - 5*g. Suppose -x*i = -k*i - 26. Is -26 smaller than i?
False
Suppose 2*s - 12 = s - 5*y, 5*y = -3*s + 16. Suppose -2*d + 11 = p, -4*p = -3*d + s + 9. Let a be (-2)/16 - (-1 - -2)*p. Which is bigger: a or -2?
a
Let b = 361.2 - 361.1. Which is smaller: b or -0.836?
-0.836
Let a(q) = 31*q - 5. Let r be a(-3). Let w be r/(-35) - (-3 - 18/(-3)). Which is bigger: w or 13?
13
Suppose -20 = 4*r - 116. Suppose s = -2*s - r. Suppose -1 = -u + 3*f, u + u = 4*f - 4. Is u not equal to s?
False
Suppose -2*p + 124 = 2*p. Let z = p + 19. Let d = -50 + z. Is -15/11 greater than or equal to d?
False
Let o = 11695 + -16513. Is o bigger than -4818?
False
Let d = 5.134 + -2214.134. Is d <= -1/3?
True
Let d(g) = g**3 - 70. Suppose q - 3*k = 12, -7*k = -6*k + 4. Let m be d(q). Let c = 74 + m. Is -5 at most as big as c?
True
Suppose -4 = -y + 5. Let q = y - 12. Let s be ((-44)/(-12))/(q/36). Is s <= -43?
True
Let d = -97 - -112. Let v be (-16)/(-60)*(-3 - d/(-6)). Does v = 0?
False
Let u be (-2)/((-4)/((-28)/7)). Let k be (4 + (-13)/4)/(6/56). Which is smaller: k or u?
u
Let y(m) = 2*m**3 - 2*m**2 + 10*m - 19. Let t be y(4). Suppose -2*u = x - 0*u + t, 5*x = -3*u - 592. Which is greater: x or -118?
-118
Let x = 4 - 2. Let y be (-2)/3*(-3)/x. Let t be -16 - (-17 - 24/(-28)). Which is greater: y or t?
y
Let u(c) = 3*c**2 - 5*c - 59. Let t be u(-5). Suppose t*o = 10*o. Is -5/53 > o?
False
Let n be (0 - 6 - -9)*11177/(-3). Let y = n - -2492467/223. Which is bigger: 0 or y?
0
Let u = -0.1 + 0.2. Let a be 112/(-224)*36/(-33). Is u < a?
True
Suppose 0 = -36*n + 4*n - 20*n + 11596. Is 234 greater than or equal to n?
True
Let z = -38856 + 436547162/11235. Which is bigger: 0 or z?
z
Let c(s) = -2*s**3 + 3*s**2 + 2*s - 5. Let w be c(2). Let h be ((-2)/w)/((-2)/10). Let r be 42 - (h/13 + 45/39). Are 42 and r equal?
False
Let d = -90 + 90.46. Let t = -29.46 + d. Which is greater: t or -2/11?
-2/11
Suppose -66*m + 58*m = 400. Let q be 727/5 + 20/m. Which is smaller: 144 or q?
144
Suppose 186*i - 23995 = -3535. Are 100 and i nonequal?
True
Let m = -17/63 + 24881/63. Which is bigger: m or 2/5?
m
Let w = 42.92 + -0.92. Let t = w + -59. Let b = t - -25. Is 2 smaller than b?
True
Let t(p) = 33*p + 296. Let b be t(-9). Which is smaller: b or -1/3156?
b
Let y be (12/16)/(210/3680). Let k(r) = -r**3 - 12*r**2 + 13*r + 13. Let q be k(-13). Is y at least as big as q?
True
Suppose 0 = 3*n + 14 - 8. Let j be ((-3)/34)/(3/76). Is j at most as big as n?
True
Let o(i) = 3*i + 14. Let p be o(-2). Let b = -7 + p. Which is smaller: 1/158 or b?
1/158
Suppose o = 4*i - 9, -o - 4 = i - 0*o. Suppose 27*y - 28*y = -34. Let d = y + -35. Do i and d have different values?
True
Let k be (1576/12)/(6/378) + 0 + 3. Is 8277 equal to k?
True
Let z be 27/(-5) + 46/115. Let x be (-3 - z)*(-3)/6. Is x not equal to 3/191?
True
Let p = -0.07 - -0.076. Let i = -3649.106 - -3649. Let q = p + i. Is q at least as big as -7?
True
Let b = 80 + -41. Let u be 4/(1 + (-41)/b). Let d = 140884 + -140962. Is d smaller than u?
False
Let j = 0.2 - 1.2. Let y = -0.217 - 6.503. Let b = -1.28 + y. Which is greater: b or j?
j
Let v be 3/(-3)*-16 - (17 - (25 - 8)). Do 271/16 and v have different values?
True
Let h = 413 + -215. Let j = h - 212. Which is smaller: j or 0?
j
Let x be -3*(-8)/(-6) + 22. Suppose 3*p = -4*h + 222, h + x = p + 70. Which is smaller: 52 or h?
52
Let i be ((-1)/(-3))/((-4048)/4224). Which is bigger: i or -16/5?
i
Let z = -531 + 535. Suppose 2*b + 662 = z*i, -4*b = -4*i - 9*b + 669. Is 167 less than i?
False
Let k be -1 - 55565684/44 - (-4)/(-2). Let v = k + 152639288401/120868. Let w = -5/268 - v. Is 1 at least as big as w?
True
Let p be -2 + 884/24 + 1/6. Let z(g) = 3 + 7 - p - 17 + g. Let f be z(-5). Is -95/2 at least as big as f?
False
Suppose -7*t = -5*t. Suppose 16*j = 89 - 57. Let x be (5/455)/(j/35). Which is smaller: x or t?
t
Let p be (-1*7/(-3) + 8164/(-1884))/(-155). Let h be (-1 - 1)*(-1)/2. Which is smaller: h or p?
p
Let q = -839914/9 + 92146. Which is bigger: q or -1177?
-1177
Suppose -6 = i - 8. Suppose 0 + i = 3*s - 5*j, 2*j = -5*s - 38. Let y be (2/s - 1144/33) + 2. Do y and -33 have the same value?
True
Let n = 35 + -33. Let f = -4.2 + -30.3. Let k = f + 0.5. Is n greater than or equal to k?
True
Let i = -181 - -187. Suppose -4*b + 0*b = -i*b. Let d = 8/45 + -229/1035. Which is smaller: b or d?
d
Suppose -47*u + 46*u = 5*y + 753, u = 5*y + 757. Which is bigger: -152 or y?
y
Let h be (4 + (-64)/14)*7/(-2). Suppose -24 = -2*k - 2. Suppose h*x + 0*x = -b - k, -3*x - 33 = 3*b. Are b and -10 non-equal?
True
Let q = 9632 - 10233. Which is smaller: -605 or q?
-605
Let b = -205 - -204.877. Let a = b - -0.193. Which is smaller: -2/5 or a?
-2/5
Let p be (-68)/238 - (-2999196)/10625762. Let n = p - -1/2293. Which is bigger: 0 or n?
0
Let a(x) = 2*x - 27. Let q be a(10). Let r be (q/168*-8)/(1/3). Is 3/61 smaller than r?
True
Let i = 4191 + -4195. Which is smaller: 599 or i?
i
Suppose 4*o - 48 = -r - 200, 0 = 3*o - 2*r + 114. Suppose 31211 = -698*q + 1895. Which is smaller: q or o?
q
Suppose o - 5*r - 245 = -o, r = -5*o + 626. Let c(k) = -6*k**2 - 387*k + 319. Let z be c(-65). Are z and o equal?
False
Let z = 24 + -25.7. Let y = -2 - z. Let q be (-29)/(-10) + (-2)/5. Which is bigger: q or y?
q
Let h(z) = z**3 + 18*z**2 - 3. Let k be h(-18). Let g(i) = i - 10. Let r be g(6). Is r <= k?
True
Let v = 43732/25 - 1849819818/1057475. Which is greater: v or 0?
v
Let v be ((-8)/(-28))/((-36)/(-4662)). Suppose 69*w - v = 32. Which is smaller: w or 1/44?
1/44
Let a(j) = -j**3 + 8*j**2 - 16*j. Let h be a(4). Let r be -7 - 762/(-99) - (1 + h). Which is greater: r or -1?
r
Let q = -583 - -617. Let d be 128/(-72) - (-2)/(-9). Let b be d*15/(-12)*14. Which is greater: q or b?
b
Let d(l) = -3*l - 29. Let a = 21 - 31. Let r be d(a). Let s = r + -3. Which is greater: -8 or s?
s
Let x = -9182/5 + 1834. Suppose -2*r + 25 = 3*r. Suppose 2*g - 7*g + r*c = 20, 4*c = -g + 1. Are g and x equal?
False
Let v be 162/(-4) - 0/1. Let r be ((-48)/(-20))/(2/(-35))*-1. Let y = v + r. Which is greater: 1 or y?
y
Let n be 32 + -22 + 18/(-1) - 134/(-17). Which is smaller: n or 28.55?
n
Let m be ((-4)/(-6))/((-44)/2). Suppose 5*f = -4*j + 20, -5*j - 4 + 29 = 0. Suppose 9*d - 14 + 5 = f. Which is smaller: d or m?
m
Let f be (1*492/6)/20. Suppose -5*i - 3*m = -2*m - 21, 33 = 5*i - 2*m. Which is smaller: i or f?
f
Suppose -u = -4*j - 363 - 942, -2*u - 6 = 0. Let c = j + 479. Is -1 != c?
True
Let t(a) = 6*a**2 + 6*a - 4. Let c be (10 - 7) + (-40)/5. Let b be t(c). Is b at most as big as 118?
True
Let l = 91/5 + -1259/70. Let y(s) = s**2 - 10*s - 2. Let z be y(9). Let q = z + 12. Which is smaller: q or l?
l
Let z be 16/(-2) + (-1 - -27). Let y be (-4728)/(-20) - z/45. Which is smaller: 237 or y?
y
Suppose 87*a - 29 - 34 = 24. Ar