se
Let p be ((-59)/8142)/(6/28). Which is smaller: 1 or p?
p
Let f = 249 + 49. Let b = -301 + f. Is -28/11 >= b?
True
Let j = 28 - -35. Suppose 0 = 3*y - t + 70 + j, -2*y - 94 = -2*t. Let n = y - -42. Is 1/48 > n?
True
Let m = 3 - 12. Let n be 845/(-11) - 2/11. Let d = n + 69. Which is bigger: d or m?
d
Let h = -1470/107 - -157297/8560. Let y = 75/16 - h. Which is greater: -1 or y?
y
Suppose -3*k = -2 - 4. Let t = -17.263 - 29.737. Is k greater than or equal to t?
True
Let i be -21 - (-4 + (-8 - 14) + 4). Let b = 61622/79 - 780. Which is smaller: b or i?
b
Let p be 2034/(-14) + (-4)/(-14). Let r be 99/165*(-2190)/9. Is p < r?
False
Suppose -81*q - 12724 + 13048 = 0. Suppose 2*c = -2*c + 36. Which is smaller: q or c?
q
Let p(v) = -v**3 - 2*v**2 + v + 5. Let i be p(-4). Let m be (10/(-4))/(5 - 1035/210). Let t = i + m. Which is greater: -1/2 or t?
-1/2
Let v = 610.5 + -604.5. Which is greater: 20/9 or v?
v
Let f = 53421/23 - 2325. Is f <= -0.3?
True
Let y = -13533 + 13527. Which is smaller: -155 or y?
-155
Let i = -81 + 160. Let b = 26 - 2. Let u = b + -23.9. Is i less than u?
False
Let o = 1435 + -1342. Which is bigger: o or 133?
133
Let t = 0.2026 - -8.7974. Do t and -62 have different values?
True
Suppose -2*i + 0 = y - 1, -2*y = i - 2. Suppose 5*w + 4*r = 66, -4*w + 3*w + 3*r - 2 = i. Suppose w*o + 581 - 111 = 0. Are -47 and o equal?
True
Suppose -155*p - 1 = 154. Which is bigger: -82 or p?
p
Let a be (7 - 8)/(4/((-8)/14)). Is a <= -1?
False
Let q = 36 + -39. Let g = q - 3. Suppose 10*x = 6*x - 28. Is g less than or equal to x?
False
Let d be 4/(-14) + 250/826. Suppose 0 = 57*u - 48*u + 2502. Let n = 279 + u. Is d < n?
True
Suppose 4*b + 3 = -9. Let t = 372 + -367. Suppose -4*u + 10 = c, 27*u - 26*u + t*c - 12 = 0. Which is smaller: u or b?
b
Let n = 80 - 32. Suppose n + 32 = -8*w. Let f be 0 - (-5)/w - (-9)/6. Which is greater: f or 1/55?
f
Let q be (-4)/1*(-4)/(-8). Is -64/117 at most q?
False
Let q be -2 - (-252)/10 - 4/20. Suppose 11*j - q = -1. Let f(p) = 9*p**3 - 3*p**2 + 3*p. Let u be f(j). Are u and 1 nonequal?
True
Let z be (-918)/(-102) - 94/10. Is z greater than -19.38?
True
Let n(u) = u - 2. Let k(l) = -17*l + 108. Let q(g) = -k(g) - 6*n(g). Let s be q(9). Let p = 1 - -2. Do s and p have different values?
False
Suppose 4*u - 148 = 80. Suppose -12*o - 22 = -o. Which is greater: u or o?
u
Let m = -0.3232 - -0.295. Let w = m + -4.9718. Is w greater than 12?
False
Suppose 6*l - 3*l = 2*l - 6*l. Which is bigger: -12/173 or l?
l
Let q be -15*-3*(-20166)/252 - (-6)/84. Do -3601 and q have the same value?
True
Let q = 1/564 - 377/564. Let p be 3/((-127)/44 - -2). Let j = -43/13 - p. Which is bigger: q or j?
j
Suppose 14*d - 11*d = 0. Let y = d - 3. Which is smaller: y or 13?
y
Let x = -488 + 490. Let q(p) = -6*p + 17. Let i be q(x). Is 10 smaller than i?
False
Let r(o) = -128*o - 1431. Let l be r(-11). Is l at most as big as -44?
False
Suppose -34*w + 55728 = 945211 + 288515. Is -34647 less than w?
False
Suppose 31*x = 6221 - 17381. Is x bigger than -363?
True
Let s = -8379 - -8948. Is s < -9?
False
Let f(i) be the first derivative of -2*i**3/3 - 19*i**2/2 + 23*i - 18. Let h be f(-10). Let v = 7 + -6.7. Which is smaller: h or v?
v
Let z(x) = 3*x. Let s be z(2). Let m be s/(-4)*(-64)/(-48). Let j be m/9 - (-40)/18. Does j = 4/7?
False
Let v = -11460 - -9105. Which is smaller: -2353 or v?
v
Let c(g) = 4*g - 1. Let i = -17 - -18. Let u be c(i). Let w be (-6)/(-12)*-33*2/u. Which is greater: w or -9?
-9
Suppose -2*f - 77 = o, f - 3*o = -0*f - 56. Let k be (-41)/f*(-1 - 0). Which is bigger: -3/151 or k?
-3/151
Let n = 428 - 436. Suppose 3*s + 95 = 8*s. Suppose -4*y - 13 - s = 0. Is n at most y?
True
Let r = 171 + -171.36. Suppose n = -n + 4. Suppose 2*y = 4*y + n. Which is smaller: r or y?
y
Let n be 105021/(-396) + 6/8. Let v = n - -261. Is v less than -3?
True
Let n = 14916 - 14917. Is n bigger than -11.384?
True
Let h be ((-10)/282)/(245/98). Suppose -4 + 9 = 5*q. Which is bigger: q or h?
q
Let s(y) = -1599*y - 112. Let r be s(29). Let n = r - -324791/7. Which is bigger: n or -84?
-84
Let g(n) = -4*n**2 + 31*n - 23. Let f be g(7). Let v = 21 - 16. Suppose -v*b = -19*b - 14. Are b and f equal?
False
Let v = -14653/40 - 271/8. Which is greater: v or -400?
-400
Let x = -206 - -219. Suppose -269 = 4*u - x. Is -62 equal to u?
False
Let p = -42/193 + -21490/579. Let z(k) = k - 25. Let j be z(-13). Does j = p?
False
Let b = -1120 - -1118. Is b at most as big as -294?
False
Let r = -2730 - -2730.1. Which is greater: 567 or r?
567
Let r = 54.8 - 8.8. Let f = 1438 - 1483. Let o = f + r. Which is bigger: o or 59?
59
Suppose 0 = -32*g + 2091 + 13045. Which is smaller: g or 3316/7?
g
Let v = 19657 + -19642. Which is bigger: 526 or v?
526
Let d(f) = -f**2 - 8*f + 7. Let s = 91 + -100. Let v be d(s). Which is bigger: v or 0.001?
0.001
Let r = -83 - -96. Suppose -r*q + 4*q = 207. Is q > 1/2?
False
Let v = -77365 - -77365. Let m = -0.15 - 1.45. Let h = -9.6 - m. Which is bigger: v or h?
v
Let j be (-461)/(-7) + (-6)/(-42). Suppose -4*u - j = -6*v + 8*v, -v + 4*u = 27. Let i = v - 17. Is -48 greater than or equal to i?
True
Suppose -5*t = -3*i + 170, t = -2*i + 18 - 65. Let z = t + 147/4. Let a = 5/4 - 11/12. Which is greater: a or z?
a
Let o = -66726 + 2469140/37. Is o < 9?
True
Suppose 3231 = 47*z + 10249 + 6236. Does -1414/5 = z?
False
Suppose u - 18*h + 6 = -20*h, -2*h - 2 = 2*u. Let q = u - -12. Do q and 18 have the same value?
False
Let p = -1/3134 + 4843/445028. Is p smaller than -1?
False
Let u(i) = -i**2 - 58*i + 220. Let y be u(-69). Which is smaller: y or -538?
y
Let h(o) = 2*o**3 - 44*o**2 + o - 22. Let m be h(22). Is m equal to -10/2037?
False
Let h = 446202115/6074 + -73461. Is h less than 0?
False
Let v = 448.3225 + -0.6225. Let c = v + -448. Is 75 at least c?
True
Let d be (-6)/21 + 48/21 - -3. Let j be d + 12/30 + 68/(-20). Which is bigger: -1 or j?
j
Suppose -8*y + 5*y + 5*c + 75 = 0, -c = -3. Let i be -4 - (1309/y)/(-11). Is i greater than or equal to -18?
True
Suppose -3*z = 5*q - 13, -5*q + 9 = 2*z - 2*q. Suppose 0 = k + z + 16. Suppose n + 4*b + 23 = 0, 2*b + 497 = n + 520. Which is greater: n or k?
k
Suppose 10 = 3*h - 20. Let z = -57 + 57. Suppose z*x = 5*l - 2*x - h, 3*l - x = 6. Which is greater: l or -14?
l
Let m(h) = -167*h - 7984. Let l be m(-48). Which is bigger: l or -2/21?
l
Let z be (81732/(-343))/((-2)/35). Let q = z - 671368/161. Are 1 and q unequal?
True
Let d be (6802/1133 + -6)/(210/63). Which is greater: 1 or d?
1
Let q = 54 - 56. Let m be (-2)/((q + (-4)/3)*27). Is m < 0.1?
True
Let y be (4/2)/(14/(-35)). Which is greater: 23 or y?
23
Let b be 1/(-6) - (-101525)/(-186). Let m be 4/26 - ((-1349)/b)/19. Is 0 less than m?
True
Let q = -29 + 43. Suppose 3*o - 10 - q = 0. Suppose 5*s = -15*s + 100. Which is bigger: s or o?
o
Let t = -23 - -10. Let r = 149 - 136. Let d = t + r. Which is smaller: -8 or d?
-8
Let w(g) = 13*g - 1614. Let t be w(-16). Is t <= -1822?
True
Let a = 51018 - 199021220/3901. Which is smaller: 0 or a?
a
Let q = 7 + -5. Let m = 11.27 - 11. Let i = 3.73 + m. Is i < q?
False
Let a = -1724885/474 - -3639. Suppose 5*k - 5 = -2*n - 3, k + 3 = 3*n. Which is bigger: a or k?
a
Let i be (70/15)/((-3)/(-18)). Let r be (i/21 - 0)/(1/6). Let w be (3 + 12/r)*-4. Do w and -18 have the same value?
True
Suppose -13*c - 24 = 3*g - 9*c, -2*g + c + 6 = 0. Let b = -5761/119579 - -20/607. Which is smaller: b or g?
b
Suppose -20*l + 1137 = -17*l. Let x = l + -325. Is x at least 58?
False
Let k be (0/(-1))/(33 + -27). Which is smaller: -1/6035 or k?
-1/6035
Let o = 365 - 330. Let q = o + -35.8. Which is greater: q or -3/5?
-3/5
Let u = -46.11 + 45.93. Which is bigger: u or 0.074?
0.074
Let y = 4 - 5. Let r = -215.5 + 228.5. Is y not equal to r?
True
Let d(o) = -o**3 + 14*o**2 + 30*o + 11. Let z be -6 - -8 - (-3 + -11). Let k be d(z). Is -23 smaller than k?
True
Let n = -4 + 3. Let i be ((-1)/(-2))/((-35386)/(-1612) - 22) + 11. Is i bigger than n?
True
Let q = -7476 - -14953/2. Which is greater: 1/2667 or q?
q
Let h be (-8)/72*1839*6/(-2). Let r = -438 + h. Which is smaller: r or 174?
174
Let f be 4/34 - (3 + 2217111/765). Let o = f - -2898. Is o less than or equal to -2?
True
Let d = 2.8 + -2.7. Suppose 595 = -5*p - 168