 11/3036*-23 - (-28682)/24. Which is smaller: p or 1188?
1188
Let g = 1304 - 37792/29. Let i = 313 + -312. Are i and g unequal?
True
Let r = 15347 - 17158. Which is smaller: r or -1808?
r
Suppose w = 4*q + 165, -3*w = -w + 5*q - 291. Suppose -156*f + w*f + 87 = 0. Which is bigger: 32 or f?
32
Let m = 88 - 145. Let u = -25 - m. Let x = 75 + -226/3. Which is greater: x or u?
u
Let v be (-104)/338 + (-3867)/741. Is -5 < v?
False
Let w be 2131365/453*(-4)/(-10). Is w greater than or equal to 1887?
False
Let s(g) = -7*g - 58. Let n be s(-4). Let q be (-1)/10 + (-3)/n. Let c = -3 + -2. Which is smaller: q or c?
c
Let c = -4861.3 - -375.3. Is 2/7 greater than or equal to c?
True
Suppose -249 = 19*v - 22*v. Which is smaller: v or 90?
v
Let r be -15*7/63*-3. Let n be (-9)/(-15) - 18/r. Which is greater: n or -23?
n
Let n be (2 + 1)/(39 - 51). Is 6703 bigger than n?
True
Suppose -x + 2471 = -427. Is x bigger than 2898?
False
Let s be 160/5*(-1)/3*(-27 - -99). Which is bigger: -771 or s?
s
Let f(u) be the first derivative of u**2/2 + 32*u - 23. Let a be f(-14). Which is smaller: a or 11?
11
Suppose 9 = 5*f - 4*u - 0*u, -f - 3*u = 2. Let d = -8875 + 8870. Is f smaller than d?
False
Let m be (1 + -15)/((-1)/(-4)). Let c be 16/m + 296/(-42). Suppose -74 = -83*n - 738. Which is smaller: c or n?
n
Suppose 0 = 37*y + 22*y. Let d = 11803 - 5205121/441. Let k = d - -313/441. Is y < k?
True
Let u = -1016.91 - -1017. Let b be (-155)/(-20) - 3 - 5. Which is bigger: b or u?
u
Suppose -4*s + 2*s + 40 = 4*j, -2*j = 4*s - 50. Suppose s*o = 8*o + 22. Suppose 0 = 5*z - o + 16. Is z <= 2?
True
Suppose 0*j = 2*j + 2*q + 22, -5*j = -3*q + 63. Let k be (20/(-40))/((-1)/10). Let i be (-204)/15 - (1 + (-3)/k). Is j != i?
True
Suppose v - 5*v + 70 = 5*o, -3*o + 6 = 0. Let g be (17*3/v)/(16/10). Let h = g - 2. Is h <= 4?
True
Let o = 0.37965 + -678.95965. Let l = o - 0.42. Which is smaller: l or 1/4?
l
Let x be 230/23 + 1*(0 + 9). Which is greater: x or 101?
101
Let y = -2034.03 - -2034. Is 30 < y?
False
Let a = 0.8654 - -0.1346. Which is bigger: a or -752?
a
Let y be 6/9*5/(-5). Let z = 566.94 - 568. Is z greater than or equal to y?
False
Let o = 888.492 + -889. Let m = 0.408 + o. Let t be ((4/5)/(-1))/(-2). Which is greater: m or t?
t
Let o = -338799 - -283574728/837. Is -1 less than or equal to o?
True
Let x = -14170 - -19836. Is x at most as big as 5664?
False
Let q(y) = 4*y**2 + 38*y - 137. Let x be q(0). Let n = -142 - -5. Is n < x?
False
Let f be (-178)/30 - 6/15. Let g(t) = -t**2 + 8*t + 15. Let r be g(9). Suppose p + 1 = -r. Are p and f unequal?
True
Let j be 286/297 - (-9)/243. Is j at least as big as 19/480?
True
Let h(g) = 24*g - 13. Let l be h(-4). Let f = 543/5 + l. Suppose -34 = 3*p + 5*o, 5*p - 4*o - 2 - 3 = 0. Which is greater: p or f?
f
Let u be (185/(-188) + 1)*66750/1395. Let z = -24/31 + u. Are 1 and z equal?
False
Let d be (-237)/(-15) - (-5 + 456/120). Which is greater: d or 20?
20
Suppose 70*x = 63*x + 14413. Let u be -2 - x/(-295) - (86 + -81). Which is smaller: 1 or u?
u
Let s(l) = -l**3 + 41*l**2 + l - 40. Let w be s(41). Let v = -2555 + 28125/11. Is w less than v?
True
Let i = 7183 - 64. Is 0 at most i?
True
Suppose 21*g - 6 = -27. Suppose -4*x + q + 0*q = 49, 16 = -x - q. Let w = -15 - x. Are w and g non-equal?
True
Suppose -a + 255 = 5*t, -t - 2*a + 20 = -40. Let f(s) = 13*s + 67. Let b be f(-15). Let w be (20/t)/(b/30). Which is smaller: w or 0?
w
Let t be (0 - 1/(-2))/((-44)/264). Which is smaller: -3.85 or t?
-3.85
Let n(q) = -5*q**2 + 2 - 3*q - 1 + 2 + 4*q**2. Let p be n(-3). Let v be -14*(-39)/183 - p. Which is bigger: v or -1?
v
Let d = -2502.5 + 2504.5. Which is smaller: -343/11 or d?
-343/11
Let b = -133 - -75. Let y = -62.1 - -4.1. Let w = y - b. Which is bigger: 7 or w?
7
Let q(f) = 3*f**2 + 15*f - 14. Let g be q(-6). Suppose s - 5*s = -o + 28, -5*s - g*o = 35. Is s greater than or equal to -11?
True
Let k be (-20)/(-2)*(105/25 + -4). Let u be (-20224)/160 - (1 - k/5). Which is smaller: u or -126?
u
Let x(c) = 2*c**2 - 2*c - 15. Let m be x(-4). Suppose -4*o + 3*i = -2*i + m, 5*o - 3*i = -15. Let l be o - ((-9)/(27/(-12)) - 7). Which is greater: 7 or l?
7
Let y = 1450.5 + -5552.5. Which is smaller: y or -2/7?
y
Let x be (-19)/(1 - (-48)/(-26)) - (26 - 27). Are -1/7 and x equal?
False
Let n = 364 + -363.203. Let b = n - 0.74. Let l = b - 0. Is l <= -0.1?
False
Let l = -420.66 - 2.34. Let k = 273 + l. Let t = -148 - k. Is 53 greater than t?
True
Let z = 36007 + -32981. Does 3030 = z?
False
Let v be (0 + (-8)/(-3412))/(-5*(-3)/(-75)). Are v and -1 unequal?
True
Let m = -10384 - -10384.61. Which is bigger: 1/12 or m?
m
Let l(n) = 2*n**2 - 19*n - 8. Let r be l(18). Let w = r + -293. Is 22 at most w?
False
Let x = 1.6 + -1.618. Let d = x - 36.982. Let l = d - -42. Which is greater: 3/2 or l?
l
Let x = 917 + -587. Let t = x + -407. Let c = -173 + 97. Is t less than or equal to c?
True
Let t be ((-4)/(-16))/(1/(-2)) - 273/(-168). Which is smaller: t or 278?
t
Let j(p) = -2*p + 1. Let c be j(4). Let h be 1 + -4 - c - 16. Suppose 0 = 3*y + 2*k + 24, k + 11 = -3*y - 16. Is h > y?
False
Suppose -3*q = -d - 10, -4 = 3*d + 8. Let n = 3/2 - q. Let r = 6.301 + -6.621. Does n = r?
False
Let v be 2*-3 - (-9346)/1561. Let c = v + -934959/6244. Is c less than -151?
False
Let w = -1286752/7629 - 2/2543. Let h = w + 170. Is h smaller than 8?
True
Suppose 4*j - 16 = -0*j. Suppose 0 = 5*q + 15, -j*f + 4*q - 3*q = 77. Let x be 1*(-72)/f*5. Which is bigger: x or 19?
19
Suppose -4*k = 2*x - 28, -11*x - 5*k + 55 = -6*x. Let s be (-64)/28 + x/28. Is s > -22/15?
False
Suppose -34*a + 32*a = -36. Suppose -12 = -5*y + 2*y + 3*x, 4*y - 3*x = a. Is 43/7 <= y?
False
Let w = 3528 + -3528.71. Which is smaller: w or -29?
-29
Suppose 5*a = -3*b + 18, 0*b - 14 = -5*a + b. Let j be (-26)/26 - (-4)/a*-3. Let v be (0 - 0)/(-1 - (j + 3)). Which is smaller: v or 11/8?
v
Suppose 0 = -3*u + 4*g + 49, -5*g + 6*g = -3*u + 29. Let a be 110/20*(-2 + 4). Suppose c - a = 2. Which is smaller: c or u?
u
Let m = 2676 - 2674. Let s = 569 + -6235/11. Which is greater: m or s?
s
Let o(c) = -1630*c - 755. Let p be o(-14). Which is bigger: 22066 or p?
22066
Let r = 38358 - 38360.9633. Let i = r + -0.0367. Is i <= -2/11?
True
Let h be (-11 + 35)*(-1 + (-1)/(-2)). Let a be 13/((-78)/h) + -2. Is a smaller than -2/955?
False
Let q be (-1)/2*(-264)/(-1413456). Which is bigger: -1 or q?
q
Let h = 341 - 338. Suppose -5*x + h*v = -4*x - 36, 5*v = -5*x + 260. Which is smaller: x or 187/4?
187/4
Let c = 93 + -88. Suppose -3*q = -5*b - 5 - 4, 0 = 5*b - 5*q + c. Let o = -1.01 - -1. Are o and b non-equal?
True
Let j(u) = u**3 + 6*u**2 + 4*u + 1. Let o be j(-5). Let v be 8 - (-2)/(4/o). Let d = -861 + 866. Is v smaller than d?
False
Let q be -3 + 3/(90/(-18510541)). Let l = q - -616960. Let p = -61 - l. Is p at most -1?
False
Let o be (-3)/((1/(70/(-15)))/1). Let n(d) = d**2 + 2*d - 135. Let q be n(o). Which is smaller: q or 90?
q
Let s be (26/260)/(6/(-15)). Which is greater: s or 7/20?
7/20
Suppose b - 1 = 42. Suppose -118 = -6*y + 14. Let o = y - -21. Is b at most as big as o?
True
Let p = -3897 + 3948. Which is smaller: 55 or p?
p
Let y = -95 + 102. Let z = 64 + y. Let m = 70 - z. Is -7/3 greater than or equal to m?
False
Suppose -42*u - 9*u + 10962 = 7*u. Which is smaller: 185 or u?
185
Let r = 179063 - 895267/5. Let s = -1.9 + 2. Is r at most as big as s?
False
Let r(b) = -34*b**3 - 189*b**2 - b + 127. Let x be r(7). Are x and -20803 equal?
True
Suppose -4*l = 20, 0 = -5*c - 612*l + 610*l - 46360. Is c > -9270?
False
Let x = -1931 - -1931. Is -713 <= x?
True
Let z = 25 - 111. Let q = 11744 - 11658. Let h = z + q. Is h less than 2?
True
Let h be ((-1)/40)/(1/(-106)). Let i = h + -31/12. Which is smaller: i or -1/2?
-1/2
Let u = -1901.924 - -1900. Let a = u - -1.324. Let i = -11.7 + 0.7. Which is smaller: i or a?
i
Suppose 647*a - 643*a = 120. Let r be 15055/a - 7/(-42). Is 502 less than or equal to r?
True
Let a be 1*2*(19887/82 - 2). Let u = 481 - a. Let k = 2 + -3. Is u less than k?
False
Suppose 120*f = 27658 - 1378. Which is bigger: f or 212?
f
Let y = -339 - -5083/15. Let c = y - 2/3. Is -31 greater than c?
False
Let k = -155 + 159. Let w = -1.66 + -74.34. Let t = -74 - w. Is t smaller than k?
True
