12)/((-1536)/760)*p/10. Is u < -1?
True
Let s = -1122 + -576. Let h = -11796/7 - s. Which is greater: 12 or h?
h
Let g(q) = q**3 + q**2 - 23*q - 13. Let t be g(-5). Let o be 16/(-6)*((-22)/4 - t). Which is smaller: 3 or o?
3
Let f = 166.856 + -176.9. Let g = -0.097 - -0.053. Let o = g - f. Is 0 at most as big as o?
True
Suppose -4*p = j - 15, -j + 15 = 3*p - 4*j. Suppose -2*a + 15 = -5*f, a - 1 = -0*f - p*f. Which is smaller: f or -3/58?
f
Suppose 0 = 5*q + 15, -5*w - 466 = 4*q - 7*q. Let a = -97 - w. Let d be 38/(-24) + 2/(-8). Do d and a have the same value?
False
Let y = 0.03 - 0.1. Let a = 15562/7075 - -3/7075. Is a != y?
True
Let j be -10*((-2)/26 + 322/299). Suppose -2*b = -5*c + 110, 97 = 2*c + c + 5*b. Let h be (36/c)/((-1)/6). Is h at least j?
True
Let h be (-242)/60 + 1 + 3/(-1 + 16). Is h <= -3?
False
Let n = 99 + -11. Let r = -118 + n. Let x = -30.1 - r. Are -3 and x non-equal?
True
Let t be 19136/(-1495)*(-1790)/8. Which is smaller: t or 31512/11?
t
Let f be 935/((-8)/(-28) - 90/70). Which is greater: f or -937?
f
Let j = -53071/34 + 1562. Let b = j - -7/17. Which is smaller: b or 3/8?
3/8
Let z = 4.9447 + 1.0553. Which is smaller: z or -229?
-229
Let y be (-4)/(27/18 + (1 - 2)). Let m(h) = 26*h + 77. Let x be m(y). Is -130 < x?
False
Suppose 2*x - 3*h - 1329 = -867, -5*x + 5*h + 1145 = 0. Which is smaller: x or 451/2?
x
Let p(o) = 7*o + 220. Let s be p(-31). Suppose -3*t = -m + 398, t + 4*m - 252 = s*t. Is t at least -133?
False
Let t be 5*-2*(-20)/(-200). Which is bigger: -6/2443 or t?
-6/2443
Let d(o) = 3*o**2 - 19*o. Let a be d(7). Let s be (465/20 + 0)*8/a. Let u(m) = m**2 - 6*m + 5. Let f be u(7). Do f and s have the same value?
False
Suppose -4*a - 4*b = -1304, 86 + 252 = a + 4*b. Which is smaller: a or 323?
a
Let i be (5 - (-15805)/(-3165) - 0)/(6/45). Which is smaller: 0 or i?
0
Let b = -156.4 + 7.4. Let o = -148.6 - b. Let d = 0.98 + 0.02. Is o at least d?
False
Suppose -19490 + 6297 = -22*g - 57*g. Which is smaller: g or -2?
-2
Let l = 3910 - 3909.83. Which is greater: -23 or l?
l
Let h = -16559/165 + 4/165. Let u = 100 + h. Which is smaller: 14 or u?
u
Let r be 8/(-6) + 1 - 2107164/(-6323895). Which is smaller: 0 or r?
r
Let a = -13198 - -8688. Let w = a + 464536/103. Which is smaller: w or 1?
w
Let d(j) = j**3 - 7*j**2 + 10*j - 45. Let i be d(5). Let m be ((-6)/15)/((-636)/i + -3). Is m at most as big as 0?
True
Suppose -4*n + 19 = -3*q, -2*n + 6*n - 28 = 4*q. Let t be 3/q + 1 + (-19976)/(-33). Let x be t/16 + (-17)/(-136). Which is bigger: x or 37?
x
Let t = -196687/147 + 1338. Let q = t - -83/196. Let j(r) = r**2 + 6*r - 7. Let y be j(-7). Which is greater: y or q?
q
Let i = 464 + -104. Suppose 5*z + 19*t = 23*t + 400, -5*z - 4*t + i = 0. Which is bigger: z or 79?
79
Let g = 966/59 + -1422/649. Let k be (-4)/22 - 145/(-11). Which is bigger: g or k?
g
Let l = -26 + -4. Let g = -1208 + 1181. Is g not equal to l?
True
Let q be (-2 + 2 + 2)*-38 + 3. Let p = q - -78. Suppose -34 = 2*c - 4*f, 5*c - 3*c - p*f = -33. Which is smaller: c or -21?
-21
Let d(q) = q + 8. Let b be d(-8). Suppose f - 6*f - 45 = b. Let l(y) = -3*y**2 - 28*y - 8. Let p be l(f). Is -41 at most p?
True
Suppose -130 = 3*j - 2*z, -2*j = 3*z - 6*z + 90. Is j < -5?
True
Let r be (-6)/(-3)*(-41)/(-90). Let z = r - 7/9. Which is bigger: z or 2.2?
2.2
Let w(d) = -d**2 + 36*d - 108. Let k be w(33). Let y be (3 - 203/(-28)) + k/(-12). Which is greater: y or 13?
13
Suppose 59*j + 682 = -17077. Which is smaller: j or 2?
j
Let j(n) = n**3 + 2*n**2 - 3*n - 3. Let z be j(3). Let k = 13825 - 13792. Is k equal to z?
True
Let p be -13 - (-16)/2 - -9. Let g(u) = -u**3 + 5*u**2 - 6*u + 8. Let t be g(p). Which is greater: t or 10/7?
10/7
Suppose 3*g = 5*l + 7, 2*g - g - l - 1 = 0. Is -210 greater than g?
False
Let z be (17754/710 + -25)/((-2)/(2 + 4)). Which is smaller: z or 1?
z
Let k = 585 - 609. Let x be (-9)/k*(-290)/1653. Which is smaller: x or 0?
x
Let j = -125.146 - -125.11. Is -59 < j?
True
Suppose -4*w = -12, -k + 15*w = 14*w + 17171. Which is greater: k or -17167?
-17167
Let x be 1/(-2) + (-148)/(-256). Let b(z) = z**2 + 34*z + 288. Let r be b(-18). Is r at most x?
True
Let b = -0.01319 - 1.98681. Are b and 499/6 equal?
False
Let x = 1993 + -2076. Which is smaller: -1074/13 or x?
x
Suppose 213*i + 3 = 201*i - 45. Which is greater: i or -44?
i
Let m = -3192496557/5782 - -552144. Let n = m + -1/490. Are 0 and n nonequal?
True
Let h(x) = 65*x - 1870. Let k be h(36). Is k < 3753/8?
False
Let j(a) = -2*a + 24. Let f be j(11). Suppose 92 = -f*c + 46. Let p = c - -22. Which is bigger: p or 15?
15
Let p(g) = 7*g - 18. Let j be p(3). Suppose -3 = -f, -5*m + 2*f - 206 = -j*m. Let i be ((-10)/m)/(14/4). Which is smaller: 0 or i?
0
Let g be 105/60 - (-2)/8. Let x be 3 + (-295)/70 + 3/g. Let l = -26 + 25.95. Is l at least x?
False
Let l be 1/((-39)/8 + 5). Suppose 2*q = 2*t + 16, 12 = t - 4*q + l*q. Let k = t - 22. Which is smaller: k or -24?
k
Let g be (15 - 0 - 11)*41. Which is greater: 161 or g?
g
Let o be ((-4)/(-6))/((-4)/(-12)). Let m = -100328/5 - -207363/10. Let f = m + -670. Which is bigger: f or o?
o
Let y be (0 - 1)*(9 + 0). Let t = -18 - y. Let m = -287671 + 862984/3. Is t greater than or equal to m?
True
Let w(c) = 346*c + 14. Let f be w(-11). Let p be 24*(-6)/f*-4. Which is greater: 0 or p?
0
Let l = 157893205/4393 + -35942. Which is smaller: l or 3?
l
Suppose 35*u - 69*u = -54570. Is 1605 != u?
False
Let x be ((9 + 2)/(-33))/(1/(-9)). Suppose -x*o + 4*o - 1 = -y, y - 5*o = -5. Which is smaller: -4/41 or y?
-4/41
Let o = -7.5 - 653.5. Let u = 661 + o. Is -341 equal to u?
False
Let p(o) = -3*o**2 - 102*o - 36. Let s be p(-32). Which is smaller: 157 or s?
s
Let l(y) = -y**3 + 5*y**2 + 5*y - 24. Let f be l(6). Let v be ((-6)/f + 336/(-1630))*6. Which is smaller: v or 1?
v
Let t(z) = 10*z - 8. Let r be t(1). Suppose 2*i + 0 = 2*j - 6, 3 = r*j + i. Let h be j*(-3)/(-6) - (-216)/(-40). Is h bigger than -5?
True
Let f = 4720 - 4722. Is f bigger than 311?
False
Let p = -25831681/128458 - 5/11678. Which is greater: -201 or p?
-201
Let x = -100 + 43. Let l = 83 + x. Let p = 31 - l. Is p greater than 3?
True
Suppose 0 = -5*k - 25, -2*k - 71 = 4*b + k. Let g = b + 23. Is 11 at most g?
False
Let l(h) = h**3 - h**2 - h. Let s be l(0). Which is greater: s or -11/54?
s
Let u = -0.044 - -0.062. Let s = 16.982 + u. Let q = -5 - -3. Is q equal to s?
False
Suppose -3*y - 3*u + 36 = 0, 8*y = 3*y + 2*u + 67. Suppose -3 + y = -10*i. Let p(l) = l**3 + 5*l**2 + l + 1. Let r be p(-5). Which is greater: i or r?
i
Suppose 2*c = 5*l, -5*c + 19 = -6. Suppose q + q = 4*x - 2, -l*q = -2*x. Let w be (-2)/(-9) - 2*-1. Is w greater than x?
True
Let a = 3070.3 - 3147. Which is bigger: a or 2/3?
2/3
Let b be 123/(-17) - ((-208)/(-520))/((-2)/5). Let i(v) = v**3 - 3*v**2 - 3*v + 3. Let k be i(3). Which is greater: b or k?
k
Let t(g) = -15*g**2 - 36*g + 97. Let r be t(-4). Let s be 366/4*(-8)/6. Let o be -2 - (s/(-58))/(-1). Are r and o nonequal?
True
Let b = -1986 - -1850. Which is smaller: 16 or b?
b
Let p be (12/(-42) - 8/70)/((-2)/5). Which is bigger: p or 11/47?
p
Let h be (15/4)/5*4. Let o(y) = -y - 1. Let n(p) = -2*p - 1. Let t(s) = -3*n(s) + 5*o(s). Let c be t(h). Is c at least as big as 2?
False
Let t = 130/33 + -106/33. Which is bigger: -1/2 or t?
t
Let k be 8/(((-66)/55)/((-9)/15)). Let j be 4/12*(k - 1). Which is greater: j or 163/4?
163/4
Let z = 65781250 + -5591549813/85. Let h = z + 1689. Which is smaller: -2 or h?
-2
Let s = 116.5 - 112.7. Which is bigger: s or 21?
21
Let o be -1 - 2/4*-2. Suppose 0 = -o*u - 5*u + 130. Let v = 41 - u. Which is bigger: 14 or v?
v
Let s = -16.47207 - 0.52793. Let k = -6 + -3. Is k greater than s?
True
Let c(d) = -129*d - 3624. Let y be c(-38). Is 1278 smaller than y?
False
Suppose -96*j = 92*j - 29 + 217. Which is greater: -1/534 or j?
-1/534
Let i = -1327 + 1388.1. Let z = i + -60. Let o = -5 + 3. Is o != z?
True
Let z = -13.255 + 13.355. Is 18/41 less than z?
False
Let d = -30309 - -30198. Which is smaller: -443/4 or d?
d
Let p be 1 + (-6 - (-3 - -10)). Let y be ((-28)/p + -2)/(2/(-66)). Which is greater: y or -5?
-5
Let d(f) = -2*f**2 + 24*f - 23. Suppose -100 = -121*x + 111*x. Let c be d(x). Which is smaller: 73/4 or c?
c
Suppose 0 = -23*j + 