+ 23/5. Let i = -147249 - -1472493/10. Which is greater: p or i?
i
Let q be 105*-1*(-5 + (-96)/(-18)). Which is bigger: q or -36?
q
Suppose -3437 = 25*o + 2038. Let q be 3/o*4/8. Which is bigger: -1 or q?
q
Let c be 1 + 744/88 + -10. Suppose 0 = -13*y + 1 - 1. Which is smaller: y or c?
c
Let z = 31 + -32. Let c be (z - -4)/((-2)/(-6)). Suppose c*m = m. Is 3/13 at least as big as m?
True
Suppose -15*x + 20*x + 10 = 0. Let w be 1/(-2) + (x - 2/(-4)). Let m be w/4 - (5 - 4). Which is bigger: -2 or m?
m
Let f(m) = -2*m + 34. Suppose -72 = -5*q + 98. Suppose 4*a = -4*d + 2*d + q, a = 0. Let t be f(d). Which is smaller: t or 26?
t
Let s = -986 - -975. Let h(c) = 9*c - 1. Let i be h(3). Let u = i - 38. Which is smaller: s or u?
u
Let j(k) = -k**3 + 28*k**2 + 27*k + 60. Let i be j(29). Let y be 28/14*(i - 72/39). Is 10 smaller than y?
False
Let s be ((-668710)/3075)/(1 - 43/40). Which is greater: 2900 or s?
2900
Suppose z + 3*v + 57 = 0, -v = -5*z + 3*v - 209. Let x be z/(-75) - 24/(-10). Which is greater: x or 0.001?
x
Suppose -5*m + 6901 = c, 4*m - 7604 = c - 2085. Is m equal to 1380?
True
Let b(j) = 2*j + 26. Let v be b(-15). Let a be (16/5)/(v + (-76)/(-20)). Let d = -1188 + 4687/4. Is d >= a?
False
Let l(j) = -28*j**2 - 278*j + 40. Let d be l(-10). Which is smaller: d or 21?
d
Let y = 535 + -279. Let f = -302 + y. Which is greater: -232/5 or f?
f
Let f = -1687 - -1696. Is f greater than or equal to 300/31?
False
Let t = 2561149/5133810 + -352/705. Is 1 less than t?
False
Let n be 3 - (-89571)/154986 - 0 - 3. Let g = -2/1987 + n. Which is smaller: 1 or g?
g
Let w = 339 + -338. Let l be -68*(105/(-26) - w - -5). Is 1/4 >= l?
False
Let n = 385 - 363. Let z = 21.16 + -0.16. Let j = z - n. Do -0.23 and j have the same value?
False
Let a = 35 + -35. Suppose a*p - 2*p = 302. Let y = p - -12079/80. Is y not equal to 1?
True
Let o be -13*13/(-169) + 6. Is 1.77 smaller than o?
True
Let g be 3 + 4/6 + 4/(-6). Suppose -4*j - 188 = 3*w, -2*w = g*w. Which is bigger: j or -49?
j
Let b be (2/(-3))/((-34)/153). Let h be -16*-5*b/12. Let k be (-1 - h/(-24))*-27. Is 6 bigger than k?
True
Suppose 307*n - 299*n + 5464 = 0. Is -682 greater than or equal to n?
True
Let i = -158.185 - -0.185. Let y = i - -157.9. Which is smaller: y or 57/2?
y
Let b = -81.3 - -1.3. Let x = -133.76 + 12.76. Let j = -120 - x. Which is smaller: j or b?
b
Let m be (-4)/(-30) - 10/(-50). Let o = 207 - 339. Let t = -143 - o. Is t bigger than m?
False
Let r = -2093 + 1328. Let m be (18/r)/(12/(-265)). Let k = 6/17 - m. Which is bigger: k or -2/7?
k
Suppose 5*h = 5*q, -2*q + 3*h + 1 = -0. Let m = 1200903/140 + -8578. Let o = -3/28 - m. Is q equal to o?
False
Let o = 308 + -20022/65. Suppose -5*y + 4*h + 7 = 0, 7*y - h = 4*y + 7. Suppose -y*c - 12*c = -15. Which is smaller: c or o?
o
Let c = -37549.9 + 37550. Which is smaller: c or -3107/6?
-3107/6
Let o = 6581 - 6581. Which is bigger: o or -2/3993?
o
Let y = 38 - 35. Let x be y/9 + (-10)/(-15). Is -2/305 less than or equal to x?
True
Let i be (2/28)/((-2)/(-8)). Let l(b) = -20*b - 80. Let s be l(-17). Let p = s - 251. Which is smaller: p or i?
i
Let j = 33653 - 25225. Is j < 8427?
False
Let c be (819162/(-85))/6 + (-1)/(-5). Are c and -1606 equal?
True
Let u(c) = -c**2 + 71*c - 1283. Let a be u(31). Which is smaller: a or -726/17?
a
Let i = 5/462 + -3/374. Which is bigger: i or -1/3?
i
Let u be 3/9*(15 + -16). Let c = -9 + 7. Let g = c - -1.5. Is u >= g?
True
Let j = -2525 + 2552. Is j at least as big as 2?
True
Let u = -2.62 - -0.52. Let g = 2.05 + u. Let y = g - -7.05. Is 0 at least y?
False
Let x = -629 + 637. Are x and 79 unequal?
True
Let j be (-267)/705 + (-10)/(-25). Let z be ((-2)/7)/(10 - 71*9/63). Which is smaller: j or z?
j
Let h(b) = b**2 + b + 69. Let s be h(0). Let c be (-20)/(-2) - (-63 - -1). Does c = s?
False
Suppose l = 5*s - 10, s - 4*l = -0*s + 21. Let u(h) = h - 2. Let a be u(5). Suppose -5*j - a*j = -96. Which is smaller: j or s?
s
Suppose 8 + 8 = 4*c. Suppose 2 = y + c*a - 1, 0 = -3*y + 4*a + 9. Suppose -8*f + 70 = -y*f. Is 25/2 not equal to f?
True
Suppose 3*i + 2*c - 7*c = 59, 0 = -5*i - 3*c + 87. Let h be (-501)/i*4*21/488. Let p = -28/61 + h. Is p at least as big as 0?
False
Suppose -11*d - 62 = -7*d + 3*a, 5*d = a - 68. Let t be d/(-7)*300/(-4). Is t != -150?
False
Let k(z) = -5*z**2 - 17 + 2 + 9 - 5*z + 4 - 2*z**3. Let w be k(-2). Let p be (-2)/7 - (-3)/(21/w). Which is greater: -2 or p?
p
Suppose -99*q = -5*q + 1128. Are q and -526/49 unequal?
True
Let y = 43625 - 43601.413. Let b = 0.587 - y. Which is smaller: b or 5?
b
Suppose -r + 5*x = -111, -3*x = -5*r + 659 - 60. Suppose -2*k + r = 3*j, 2*k + 47 = j + 12. Is 40 >= j?
True
Let h(o) = -8*o + 158. Let c(k) = -22*k + 474. Let d(z) = -3*c(z) + 8*h(z). Let i be d(17). Is i at least as big as -124?
True
Let a be (-5 - 2) + (-4)/(-24)*66 + -5. Which is smaller: a or -2828?
-2828
Let o = -1580 + 524. Let f be -1*2 - o/(-80). Which is smaller: f or -16?
-16
Let q = 617.6 - 22.6. Let m = q - 596.6. Which is smaller: 1.9 or m?
m
Let h(w) = -w**2 - 11*w - 10. Suppose -5*a + 21 = -4*s, -s = -6*s + 4*a - 15. Let i be (-42)/4 + s/2. Let b be h(i). Is 2/131 <= b?
False
Let b = 454229 - 243012613/535. Is 0 <= b?
False
Let x be (38566/198 + -21)*18/60. Does x = 52?
False
Let z be 2/2 + 1269/(-1053). Let n = -79 - -79. Is n equal to z?
False
Let q be (412 - 393) + -365 + -1. Which is smaller: q or -20?
q
Let c = 128.206 + -128. Let f = 0.306 - c. Do f and -83 have the same value?
False
Let p(t) = -t**3 + 9*t**2 - t + 129. Let z be p(0). Suppose 330 = 4*g - 182. Which is greater: z or g?
z
Let z = -20 + 83/4. Let m = -0.13 - 0. Let f = 2.13 + m. Which is bigger: f or z?
f
Let f be (14/5)/(1/(-5)). Let b = 447 - 446.9831. Let w = b + 0.9831. Is w greater than f?
True
Let p = 472 + 138. Let s = 640 - p. Does s = 1?
False
Let p be (-1965)/1572 - (5393/4 + -1). Is p at most -1348?
True
Suppose 10525 = 30*l + 3085. Let i = -248 + l. Is -7 less than i?
True
Suppose -23*l + 5 + 15 = 20. Is 13/887 greater than l?
True
Suppose -2*o = 4*t - 6*o + 24, 5*t + o + 18 = 0. Let p be t*3/42 + 208/(-56). Which is greater: p or 60?
60
Let k = 3009.8 + -3010. Let o = -760 - -1491/2. Which is bigger: o or k?
k
Let v be (2/(-14) + 80113/231)/((-6)/(-18)). Are v and 1038 equal?
False
Let i = 6080/11 + -129410/99. Which is smaller: -754 or i?
i
Suppose l = 8*l - 14. Let n be 15/l*232/873 - 2. Let f = n - 863/1455. Is f equal to -0.4?
False
Let p be ((-24)/(-10))/(11/165). Suppose 3*o + p = 2*k - 37, k - 35 = o. Let a = k - 220/7. Which is smaller: 0 or a?
0
Let i(x) = -x**2 - 17*x - 19. Let r be i(-15). Suppose 5*j = -z + r, -5*z + j + 4 = 1. Which is greater: 1/117 or z?
z
Let i = 2.21 - 0.16. Let h = 18.05 - i. Which is bigger: -0.3 or h?
h
Let q(f) = 15*f + 16. Let i be q(6). Let c = -205/2 + i. Let y(o) = -o + 3. Let m be y(0). Do m and c have the same value?
False
Let q be (-243)/400 + (-510)/6375. Which is smaller: -2 or q?
-2
Suppose -j + 3*d = -9, 3*j - 9 = 4*d + 3. Let c(v) = -8*v + 4. Let s be c(3). Let y be (-9)/12 + 0 + (-21)/s. Which is greater: y or j?
y
Let n(s) = -s**3 - 7*s**2 + 2*s + 6. Let c be n(-7). Let b be 60/c*(-1)/(20/24). Let z be (b/4)/3 - 108/16. Is z at most as big as -5?
True
Let a = 429 + -322. Suppose -34*z - 1117 = a. Which is bigger: -32 or z?
-32
Suppose 77*a = -2495 + 18665. Is 201 < a?
True
Let t = -77 + 77. Let r be (-9)/(-198)*(15 - t). Let h = -411/506 + r. Is h greater than -1?
True
Suppose 2*g - 60996 = -32*g. Suppose g = -8*i + 290. Which is bigger: i or -186?
-186
Suppose 36 = 5*f - 2*u + 4, 0 = -5*f + u + 31. Suppose 98*q - 95*q - f = 0. Let r be 1 + -1 + q + (-1752)/840. Which is greater: -1 or r?
r
Let x be 5/20*4/6*18. Let a be (x - 1 - 2)*1. Let f = 2245 - 24679/11. Are a and f unequal?
True
Let z = 14581 + -14580.6. Which is bigger: z or 1074/5?
1074/5
Let f = 13 + -9. Let q = f + -5. Suppose -3*p + 125 = -5*j, -3*j - 140 = -5*p - 33. Is j < q?
True
Let q = 414 - 241. Suppose 5*u - q = -38. Is u < 29?
True
Let d be (12/615)/((-106)/(-73405)). Do d and 14 have different values?
True
Let o(q) = -13*q**2 - 23*q + 13. Let p be o(4). Is -284 less than or equal to p?
False
Let l(u) = u**3 + 5*u**2 + 19*u + 61. Let d be l(-7). Which is smaller: d or -166?
d