?
411
Suppose 19*h = 22*h - 9. Let k be (-3)/((-3)/12*3). Suppose -h*r - 2*w - 11 = -k*w, w = 4. Which is bigger: r or 3/8?
3/8
Let u(t) = -2*t - 9. Let d be u(-7). Suppose 0 = 51*x - 112*x + 54*x. Suppose x = 6*q + d + 1. Are -4 and q non-equal?
True
Let n = 7621 - 3528521/463. Suppose 0 = 116*c - 119*c + 3. Is c less than n?
False
Let d = 12/133 + -802/11837. Suppose 90*l - 6 = 84. Which is bigger: d or l?
l
Let i = 56488/7 - 8069. Which is smaller: i or -0.43?
-0.43
Suppose -3*z = 35*z - 4*z + 8602. Do z and -252 have the same value?
False
Let x be 8/72 - ((-375)/(-314))/((-432)/(-40)). Are x and 1 nonequal?
True
Let p be -6*(5830/21 + 0) - (-6)/(-21). Which is greater: -1664 or p?
-1664
Suppose -128*n + 77 = -205*n. Which is smaller: -1.6014 or n?
-1.6014
Let x = 6611 + -6540. Is x > 60?
True
Let g = -9878 + 9878.1. Is 1189 equal to g?
False
Let z = 43155 - 2200792/51. Let i = 482/51 - 28/3. Let s = i + z. Which is bigger: 0.5 or s?
s
Let j be (84/8)/(-7) + (0 - 2315/(-10)). Which is bigger: j or 240?
240
Suppose 5*m = -5, 0*j - 4*m - 3207 = j. Let h = 25699/8 + j. Which is smaller: 10 or h?
h
Let p = 24.29 + -24. Let a = -20.29 + p. Suppose -188289*u + 188342*u = -106. Which is bigger: a or u?
u
Let j(q) = 2*q**2 + 23*q - 123. Let s be j(4). Are s and -1/1019 unequal?
True
Let x(d) = 2*d**3 - 37*d**2 - 60*d - 19. Suppose -296*s + 293*s + 60 = 0. Let l be x(s). Which is bigger: -14 or l?
-14
Suppose -155*i + 12 = -151*i. Suppose -o - l = -48, -4*o + i*l = -2*o - 71. Is 44 less than or equal to o?
False
Suppose 20*s = 18*s. Suppose s = 143*b - 146*b + 174. Which is bigger: 56 or b?
b
Let t = -442 + 679. Let f = -236 + t. Is f at most 1/133?
False
Suppose -13*l - 54 = -7*l. Let m = l - -9. Suppose c + m*c = -u + 3, -5 = u - 3*c. Which is smaller: u or 3/8?
3/8
Let m = -4140.8 - -4141. Is 13 at least m?
True
Let k(g) = 3*g**2 - 68*g + 621. Let a be k(86). Is a smaller than 16961?
False
Let d be 4/(-26) - (-2265)/(-65). Let v = -10028/3 + 3309. Is v equal to d?
False
Let p(x) = x**3 - 39*x**2 - x + 40. Let k be p(39). Is -43/90 at most k?
True
Let i(v) = -2*v**3 - 12*v**2 + 21*v - 12. Let m be i(-8). Which is smaller: m or 47?
47
Let c = -7 - 15. Suppose 0 = 2*d, k - 5*d - 255 + 87 = 0. Let q = k - 191. Are q and c unequal?
True
Let z be (-9)/(-55)*(-35)/(-931). Is 0 > z?
False
Let i(g) = -793*g - 3364. Let v be i(-7). Is 2187 > v?
False
Let x(n) = 2*n**2 + 56*n - 6. Let v be x(-28). Let i be (382/v)/((-28)/(-24)). Is -55 at least i?
False
Let n = -20 + 4. Let w(c) = 2*c**2 - 2*c - 8. Let h be w(3). Let z be ((-16)/4)/(1/h). Is n less than z?
False
Let v(z) = 8*z - 6*z + 9*z - 67 + 40. Let q be v(2). Which is greater: 11 or q?
11
Let j = 360 + -234.8. Let x = j + -125. Which is bigger: x or -3/16?
x
Let p be 0 + (-6)/(-7) - (-7 + 13392/(-7)). Which is smaller: -0.2 or p?
-0.2
Let h be 4/(-2) + 0/(-3). Is h smaller than -11/9?
True
Let p = 69377139 - 2011685951/29. Let y = -11827590963/1366103 + p. Let z = y + -3/163. Which is bigger: z or 0?
z
Let x = -10460.7 + 10460. Which is smaller: x or 3.5?
x
Suppose -75 - 11 = -w. Suppose -6*o + 3*o - 4*h - 11 = 0, -5*h = 4*o + 13. Suppose -2*q + 90 = -5*x, 4*q - 2*q - o*x = w. Is 39 at least as big as q?
False
Suppose 19783 = 5*f - 4*a, 0 = -4*f - 145*a + 144*a + 15839. Is 3959 less than f?
False
Let r be (((-301)/140)/43)/(1 + (-11)/8). Which is smaller: r or 20?
r
Let g = 56 + -77. Let j(t) = t**2 + 2*t - 1. Let a be j(0). Is a greater than or equal to g?
True
Suppose -817 + 856 = -39*y. Are y and 7/270 nonequal?
True
Let m be 1*(3 - 5)*-96. Suppose -182 = -2*p + q, 3*q + 262 + m = 5*p. Let u = 17 - p. Is u >= -75?
True
Let i(o) = -4*o - 160. Let h be i(-11). Let x = 114 + h. Let q(p) = -p + 1. Let w be q(4). Are w and x equal?
False
Let g = -4 + 7. Let f = -144377 + 144402. Which is smaller: g or f?
g
Let h be (65/(-10))/(243/(-6)). Is -1 > h?
False
Suppose q - 10 = 2*g - 6, 2*g + 5*q = -4. Let d be g/(5 - 4 - 6/2). Which is greater: -3/226 or d?
d
Suppose 19 = 2*r + 1. Let m(u) = u**3 - 9*u**2 - 22*u + 8. Let y be 1/2*(8/4 - -20). Let c be m(y). Is c at most as big as r?
True
Let f = 47822.137 + -47859. Let u = f + 5.921. Let g = u - 0.058. Does g = -0.1?
False
Let h(g) = -2*g + 29. Let w be h(11). Let p be -1*(-274)/(-38) + w. Which is smaller: p or 1?
p
Suppose -4*i - 16 = -4*d, 2*d + 0*d - 4*i - 18 = 0. Let v be d*2*2*2/(-2). Let a(c) = -3*c**2 + 9*c - 12. Let t be a(v). Is -25 less than t?
True
Suppose -6*k + 6 = -4*k. Let g(v) = 2*v**3 + 68*v**2 + 67*v + 41. Suppose u = -3*z - 99, -3*z - u + 66 = -5*z. Let j be g(z). Is k smaller than j?
True
Let w be 93/12 - 2/(-8). Let f = w + 2. Suppose 1 = 3*d + f. Which is greater: 0 or d?
0
Suppose 12*u - 30 = -90. Let m be 5*u*4/(-50). Is 8/5 less than m?
True
Let m be (-2)/(2/(-4) - (-60)/24). Let k(a) = -4*a**2 + 2*a + 2. Let v be k(m). Let i be -6*1*2/v. Which is bigger: i or 19/6?
19/6
Let n be (-106)/107 + 15 + -14. Let s = 1.02536 + -0.02536. Which is smaller: n or s?
n
Let a be -7 - (-11)/(-77)*-299. Which is smaller: 37 or a?
a
Let j = 27724 - 27508. Is 863/4 greater than or equal to j?
False
Suppose -4*u = 20, -2*u - 6 = 5*h + 4. Let a = -1484 + 7549/5. Let s = a - 25. Which is bigger: s or h?
s
Let i = -20879 + 37248135/1784. Is i less than 0?
True
Let u = -851 - -850.653. Let d = 0.668 + u. Which is bigger: -1 or d?
d
Let m be (-231)/(-84) + 88746/(-56). Are m and -1583 equal?
False
Let m = -945 - -962.91. Which is smaller: m or 1?
1
Let i be (50/(-4))/(10/(-8)). Suppose 9*l + 2*l = -i*l. Is -0.015 less than or equal to l?
True
Let q = 2/119 + -985/9044. Let p = 4609/532 + q. Is 10 less than p?
False
Let j(z) be the second derivative of 3*z**5/4 + 2*z**3/3 + 2*z**2 + 35*z. Let c be j(-1). Let g be ((-1)/29)/((-5)/c). Are 0 and g nonequal?
True
Let m be 39 + -94 + (1 - 0). Let w be ((-3)/(-6))/(2/(-12)). Let a be (1/5)/(w/m). Is a smaller than 1/2?
False
Let b(w) = -40*w + 43 + 92*w - 40*w + 91. Let d be b(-12). Let f(v) = -2*v**2. Let a be f(1). Is d smaller than a?
True
Suppose -9*s - 10258 - 16805 = 84*s. Which is greater: s or -312?
s
Let c = 150 + -147. Let g be ((-8 + 6)/2)/c. Is g at least -2/21?
False
Let k = -71 - 228. Which is smaller: k or -302?
-302
Suppose 5*j - 2*o = -16, 2*j - o = -4 - 2. Let g be ((-18)/j)/1 + (-60)/120. Is g less than 82/15?
True
Let q = 10 - -5. Suppose 0 = -4*y + 16, 20*z - 15*z + 1534 = -4*y. Let d = 327 + z. Are q and d nonequal?
True
Let u = -79 - -93. Suppose -u*j + 8*j = -24. Let b be ((-15)/j)/5 - 151/(-212). Which is greater: -1 or b?
b
Let s be (-6)/(-9) - (-6)/(-9) - 101. Suppose 0 = 3*y + 25*y + 2856. Is s > y?
True
Suppose z + z - f = 1332, 0 = 4*f - 16. Which is smaller: 669 or z?
z
Suppose -5*l = -p + 9, 0*l = 3*p - l - 55. Let u = 93 + 3. Let j be 2/16 - (-1716)/u. Which is greater: j or p?
p
Suppose 3*q - 79 + 291 = 2*h, -2*q = -h + 108. Let s = h - 101. Which is bigger: s or 3?
3
Let b = -29 - -29. Let i(q) = -q + 38. Let n be i(b). Let h = n + -40. Is -5/3 less than or equal to h?
False
Suppose -974*s = -4*h - 975*s + 90, 3*s - 54 = -3*h. Is 1.25 smaller than h?
True
Let v = 209 + -204. Suppose 5*k = -v*k + 460. Is k greater than 47?
False
Let n(z) = z**3 - 44*z**2 - 187*z + 74. Let f be n(48). Which is smaller: f or 306?
306
Let g = 90 + -93. Let y(l) = -8*l**2 + 20*l + 20. Let z(u) = u**2 - 3*u - 3. Let r(o) = g*y(o) - 20*z(o). Let i be r(-1). Which is greater: 13 or i?
13
Let x = 5947 - 2788. Suppose 37*n = 28*n - x. Which is smaller: -352 or n?
-352
Suppose -105 = 15*d - 105. Let f = 10344 + -30559/3. Let i = f + -159. Which is bigger: i or d?
d
Let b = 116 - 146. Let f be -1 + 4 - 7/((-35)/b). Which is bigger: -53 or f?
f
Let z(r) = -17*r - 824. Let l be z(-48). Let v = 2 + 1. Suppose 4*k - 12 = v*k + 5*h, 54 = -3*k - 3*h. Which is smaller: l or k?
k
Let d be (162/(-9324))/(2/7 - (-8)/(-7)). Do -1.4 and d have the same value?
False
Suppose 12293 = -67*t - 2447. Which is bigger: t or -221?
t
Suppose 9 = 3*i - 0*j + 3*j, 0 = -4*i - j + 24. Let k be (-5)/150*((-63)/(-24))/i. Which is smaller: k or 0?
k
Let y be (-1 - -3) + 9312/360. Let v = 28 - y. Does v = 0?
False
Let m = -0.0003 + 0.7003. Let v = 0.6 - 0. Let r = v - m. Is r equal to 14?
False
Let g be 3/18 + (63 - -4)/(12/22). Whi