maller: q or p?
q
Let g = -2.798 - -4.798. Which is smaller: 41.6 or g?
g
Let g be 288/42 - (-3 + 16 + -4). Is g smaller than -0.044?
True
Let t be 54/56 + 5 + -6. Let z = -6.23 + 7.23. Which is smaller: t or z?
t
Let g = -6592 - -6592.0776. Which is smaller: g or 2/29?
2/29
Let z(u) = u**2 - 6*u + 2. Let f be z(6). Suppose 0 = -f*d + d + 5, -2*d = 5*w. Let p be 3 + w/3*(-27)/(-10). Which is greater: 1 or p?
p
Let q = -608 - -608. Does -1/2677 = q?
False
Let g be (4/(8/(-5)))/(-5). Let z = 121.996 - -0.004. Let a = z + -128.6. Which is greater: a or g?
g
Suppose u - 15*u = -448. Suppose 4*l + 145 = -3*o, 4*l + u + 98 = 2*o. Which is smaller: -21 or l?
l
Let j = 1.29 + -0.39. Let b = j + -1. Which is smaller: b or 8/7?
b
Let r = -35.1 + 95. Let j = -62.17 - -2.17. Let h = r + j. Which is smaller: 0.01 or h?
h
Let z be 0 + -5*(-24)/260. Let j be (-1)/4 - (-174)/(-8). Let y be 1 + j/14 - 23/(-28). Which is smaller: z or y?
y
Let p = 19 - 17. Suppose 46 = -p*r + 44. Which is greater: -36/19 or r?
r
Let v = -13763/5 - -2752. Is v greater than 5/12?
False
Suppose 0 = 1601*v - 1527*v + 1702. Are -241/10 and v equal?
False
Let c(r) = 11*r + 28. Let b be c(7). Let k be b/60*3*-4. Is k smaller than -62/3?
True
Suppose 0 = -3*s + 68 + 37. Let v be 1/(s/77) + 3/(-15). Is v < -10?
False
Let u be (4/(4/(-5)))/(((-1)/11)/(-1)). Is -57 < u?
True
Suppose 0 = 40*v + 47 + 233. Is -81 less than or equal to v?
True
Let h(j) = j**3 + 7*j**2 + 9*j + 11. Let k be h(-5). Suppose -a + 4*u - k = 0, -3*u = 5*a - 4*a - 12. Suppose a = -2*f + 3*f - 44. Which is smaller: f or 43?
43
Let l(m) = 7*m**2 + 77*m - 1. Let n be l(-11). Let v be n/(-6) + 994/12. Which is greater: v or 82?
v
Let d = 240 - 370. Let n = 175 + d. Is n at least 48?
False
Let j(s) = s**3 + s**2 - 11*s - 8. Let i be j(-3). Let k be (3 - (3 + -5)) + (-4)/(-2). Is i >= k?
True
Suppose 5*l + 3*l - 416 = 0. Let m = l - 49. Suppose 0 = 2*f - 5*k - m, 0 = -5*f - 4*k + 37 - 112. Is f bigger than -14?
True
Let k = 15 + -16. Let f = 2 + -500/249. Is k bigger than f?
False
Suppose 2*y + z - 13 = -95, 5*z = -5*y - 195. Let j be 1 + (-6)/8 + (-5970)/(-120). Let b = y + j. Which is smaller: b or 4?
4
Let i = -344 + 504. Let q = 159 - i. Which is smaller: 2/5 or q?
q
Suppose -2*t + 0*t = -2. Let l be 2/4*(t - 1). Let x = 2830/101 - 28. Which is greater: l or x?
x
Let s = -30996 - -171314890/5527. Is -1 at most as big as s?
True
Let s = -4212 - -4212.045. Let y = 11.055 + -11. Let o = s + y. Are 2/51 and o equal?
False
Let o(h) = -7*h + 102 + 0*h - 5*h - 23 - h. Let f be o(6). Is -5/91 != f?
True
Let m(t) = 340*t**3 + 2*t**2 - 4 - 344*t**3 + 2*t + 0. Let z be m(-2). Let q be (-191)/(-6) - 2/6. Is z >= q?
True
Suppose -5*g = -39 + 54. Suppose -150 = 2*q + 5*s, -q - 4*s = 97 - 22. Let a be (-5)/(q/(-80)) - g. Which is smaller: -3 or a?
-3
Suppose -207*o = -199*o - 5440. Let x = 3388/5 - o. Are x and -15 equal?
False
Let n = 0.014 + 0.107. Let r = n + -3.821. Is -0.1 at least r?
True
Let b(t) be the third derivative of -t**6/120 + 11*t**5/30 - 23*t**4/24 - 10*t**3/3 + 41*t**2. Let l be b(21). Let u be -2*l/4*1. Which is smaller: u or 32?
u
Let n be -2 - (15/(-120) + 100 + 4). Is -106 at most n?
True
Let h be ((-40)/(-6))/(10/15). Let k be (-2)/(-10) - h/100*-98. Which is smaller: k or 6?
6
Let z = 55 - 128. Let t = 91 + z. Suppose 22*c + 20 = t*c. Is -3 < c?
False
Suppose -3*q + 0 = 12. Let o be q - (6/(-2) + 2/(-4)). Is 0 < o?
False
Let j(w) be the third derivative of -w**4/12 - 5*w**3/3 + 24*w**2. Let t be j(-7). Suppose 61*n + t = 57*n. Are n and -4/15 non-equal?
True
Suppose -8*y + 3*y - 440 = -5*k, 0 = -3*y - 6. Suppose -c + 136 = 4*l - 209, 4*c = -12. Is k at most as big as l?
True
Let f = -25.369 - -25.57. Which is smaller: f or -2/9?
-2/9
Let y = 1 + 0. Let o be 3 - (0/(-4))/8. Let d be 14*((-111)/36 + o/y). Which is smaller: d or -2?
-2
Let h be 7 - (-482 - (-8 - -6)). Let a = -567 + h. Which is greater: a or -78?
-78
Let z be (-4882)/5 + (-70)/(-490) + 9/35. Do -978 and z have the same value?
False
Let d = 46273/22 + -4261/2. Which is greater: -26 or d?
-26
Let m be 131076/(-138) - (-80)/(-460). Which is smaller: -940 or m?
m
Let m = -556 + 554.8. Let d = 0.03 - -0.09. Let p = d - 0.22. Which is smaller: m or p?
m
Let l = 59 - 55. Suppose 0 = -l*p - 0*p - 104. Is p < -28?
False
Suppose 141*s - 63*s = -18330. Is 2/5 > s?
True
Let j be (-6 + (-12)/(-2))*(156/24)/13. Let p = -91/17 + 49430/9231. Which is smaller: p or j?
j
Let y = -9374.462 + -12.538. Are 2 and y non-equal?
True
Let m = 0.062 - -204.938. Let n = m + -238. Which is smaller: -0.4 or n?
n
Let t be -4067 - (-40)/(-420)*21. Is -4067 >= t?
True
Let u be (-1 - 17/(-3))*6/7. Suppose 2*k = u*v - 552 + 142, 4*k = -4*v - 760. Is -194 greater than k?
True
Let f(u) be the second derivative of -u**5/20 - u**4/6 + u**3/6 - 4*u**2 + 68*u. Let z be f(0). Suppose 21 = 7*q - 10*q. Are z and q equal?
False
Let o be 4 + 3*30/9. Suppose -p = -2*p + o. Let c = p - 16. Is c > -0.16?
False
Let t = 735.12 + -827.1. Let w = t - 1.02. Let c = 93.07 + w. Which is greater: -1 or c?
c
Let v = 247/4088 + 33/511. Which is greater: v or 4?
4
Let q = 24/559 + -655/2236. Which is smaller: q or -329?
-329
Suppose -4*o + 140 = o. Let h be o/12 + -2 - 94/12. Let j = h - -49/6. Which is smaller: 1 or j?
j
Let b be 5383*((-4301)/(-847) - 5). Is b greater than or equal to 419?
True
Let c = 48/19 - 835/323. Let y = -9 - -9.09. Which is smaller: c or y?
c
Let j = -511 + 510.376. Let w = j + 0.424. Let d = -209 + 1877/9. Which is smaller: w or d?
d
Let i = 182308208/3149 + -57894. Let f(w) = 16*w**2 + 433*w + 26. Let u be f(-27). Does i = u?
False
Let k(c) = -40*c**2 + 280*c + 10. Let u be k(10). Is u smaller than -1188?
True
Let b = -0.0979 - -582.0979. Let k = b + -584.3. Is k smaller than 2/5?
True
Let v = 11839 + -11838. Is 15/1126 < v?
True
Let h = -358058247/9775 + 36630. Do h and -1/3 have different values?
True
Let v = -44.2 - -19.1. Let c = -25 - v. Which is smaller: c or 16?
c
Let j be ((-38365)/(-1745) - 22)*(-12)/10. Which is smaller: 0 or j?
0
Suppose 3*r + r + 760 = 0. Let i be (-99)/r + 2/(-4). Suppose 5*f = 3*s + 20, 34*f - 31*f - 12 = 5*s. Which is smaller: s or i?
s
Let s be 1*-3 + -8 + 10. Let z be -2 + s + 534/177. Suppose 4*g - r = 0, 21 = 5*r + 1. Which is greater: z or g?
g
Suppose 31*z - 34*z = 3*f - 39, 0 = 3*z - 3*f - 69. Which is greater: 42 or z?
42
Let z = -497 + 244. Let d = 252.98 + z. Which is smaller: d or -2?
-2
Let z = -24.6 - -8.1. Let y = z + 14.5. Let s = 0.4 + 5.6. Is y at least s?
False
Suppose 3*w - 6*d = -d + 194, d + 120 = 2*w. Suppose -3*s = -67 + w. Suppose -s*z + 12 = -0. Which is bigger: 3 or z?
z
Let j = 299 - -20. Let l = j - 326. Which is greater: l or 4/17?
4/17
Let o = 36/19 - 4121/2185. Let r = 803/230 + o. Suppose 10 - 1 = 3*c. Which is smaller: c or r?
c
Suppose -y + 795 = -4*y. Let t = -10215 - -9948. Which is smaller: y or t?
t
Let r(b) = b**2 + 178*b + 101. Let s be r(-39). Is s at most as big as -0.1?
True
Let c = -71196 - -106366829/1494. Which is smaller: 2 or c?
c
Suppose 20 = -112*z + 24*z + 108. Are z and -1/675 nonequal?
True
Let k(h) = 20 + 3*h - 2*h - 11. Let l be k(-11). Suppose 3*x = -3*v - 9, 3 = 5*v - 5*x + 28. Is l equal to v?
False
Suppose -4*d - 2 = 2. Let b be (-72198)/4347 + 1*16. Is b greater than or equal to d?
True
Let h be 231/2 + (-8)/(-16). Let z = 282 - 166. Let m = h - z. Is 13 at least m?
True
Suppose -o - 5*c = 20, 2*o - 4*c - 12 = 18. Let s be -6 - -1 - o/(30/162). Which is greater: s or -5?
-5
Let m = -4903 + 4903.4. Which is bigger: m or -1/231?
m
Let i = -137391.258 + 137274. Let x = i - -0.258. Let a = x - -117.047. Do 0 and a have the same value?
False
Let k = 430007/13 + -32800. Let y = k + -277. Is 0 bigger than y?
False
Let l = 91.9 - 88. Let n = 4 - l. Let d(x) = x**3 + x**2 + 8*x + 40. Let m be d(-3). Is n not equal to m?
True
Let v = -922142261/2009511 + -1/223279. Which is smaller: v or -458?
v
Let c = -12 - -12. Let w = -117 - -116. Let s be (-196)/126*w*3. Which is bigger: c or s?
s
Let p = 174 - 132. Suppose 0 = -m + 4*l + 42, -2*m - 3*l + p = -42. Is m greater than or equal to -0.1?
True
Let g = 50/297 + 1/11. Which is greater: g or -1?
g
Let q = 0.177 - 2.937. Let v = q - -2.55. Is 6 <=