- x. Is j greater than or equal to -0.2?
False
Let h = -3455 - -3450. Is -2956 at most h?
True
Let d = -1022 - -730. Let i = d - -264. Is i at most -28?
True
Let f be (2 - 35563/(-3))/((-35)/534). Let h = 180982 + f. Let a = 474/5 - h. Is a smaller than 8?
True
Let u = -40.3 - -40.4. Let k be ((-4)/(-15))/(1218/(-261)). Which is bigger: k or u?
u
Suppose 0 = -23*o + 25*o + 12. Let i = 41.737 - 0.737. Is o bigger than i?
False
Suppose -5*u - 1621 = 3*h + 9630, -2267 = u - 5*h. Let r = u - -20237/9. Is r < -3?
True
Suppose -4*u + 8*u - 4*v + 1980 = 0, 0 = -2*u + 4*v - 990. Let k be -1 + 1 + (-99)/u. Is k <= -29?
False
Suppose -3*g + 27 = 4*z - 0*g, 0 = -2*g - 6. Let n be (-1 + 24)*1*(-9)/z. Is -21 bigger than n?
True
Let b(v) = -13*v**2 - 288*v + 22. Let c be b(-22). Suppose 42 = 3*f + 306. Let j = f + c. Is -22 < j?
False
Let v = -1052 - -2101/2. Let i = -5 - -8. Let j be (1/i)/((-1)/(-2)). Do j and v have the same value?
False
Let t(q) = -410*q - 712. Let o be t(-14). Is o >= 5028?
True
Let a = -554.505 - -569. Let m = -0.495 + a. Which is smaller: -7 or m?
-7
Let x = -135 - -133. Let g be 245/315 + x/27*-3. Is 2/301 < g?
True
Let x = 46.15 + -45. Let n = 0.92 - x. Which is greater: n or 1?
1
Suppose -3*k + 40 = 283. Let c = 16521 - 16603. Which is smaller: k or c?
c
Let d = -41.9 - 3.1. Let t = -44.8 - d. Let g = 10 - 9.97. Is t greater than or equal to g?
True
Let i(d) = -d**2 + 9*d + 23. Let y be i(14). Is -65 less than or equal to y?
True
Let a be ((-3)/(-18))/(3/(-4)). Let j = -27 + -35. Let k = j - -64. Is a >= k?
False
Let s be (746 - 1)/((-20)/40). Which is smaller: s or -1?
s
Let p = 1059 + -1450833/1370. Which is smaller: p or 0?
p
Let j(n) = -16*n**2 - 238*n + 283. Let g be j(-16). Is g greater than 16.13?
False
Suppose 8*z = 3*z - 4*d - 68, 5*z = d - 58. Let m be (4/6)/(-5 - 515/(-105)). Are z and m non-equal?
True
Let g = 946 + -1085.75. Let m = 22.45 + g. Let b = -117 - m. Which is greater: b or 5?
5
Let c = -26.4534 - 368.5466. Let f = 25/33 - 12/11. Which is greater: f or c?
f
Let d = 6822/13 - 186209/351. Is -6 less than d?
True
Let x = 1.4 - 0.4. Let z = -1.1 + x. Let q = 606.994 - 607. Is z at least q?
False
Let t = -110447 - -110446.79. Let c be (-2 + 0)*13/2. Let y = c - -38/3. Which is greater: y or t?
t
Let o be 750/448 + 1920/84 + -23. Which is smaller: o or 0.1?
0.1
Let d = -3579 + 2972. Which is bigger: 2 or d?
2
Let j = 1.02 + -8.9. Let c = j + 1.58. Let g = c - -6.2. Is 1 less than g?
False
Let s(n) = -1. Let r(v) = -3*v**2 + v - 3. Let k(i) = -r(i) + 4*s(i). Let m be k(-1). Suppose -5*f - 79 = 4*q - 27, -4*f = -m*q + 23. Which is bigger: -9 or f?
f
Suppose 3*h - 17 = -4*o + 4*h, -5*h - 5 = -4*o. Suppose -o*n - 16 = -31. Suppose -3*w + 39 = 5*d, -2*d + 5 = w - n*d. Are w and 8 equal?
True
Let g = 62.7 + -60. Let m = g - -27.3. Let b = m - 29. Which is smaller: b or 29?
b
Let u = 62 + -62.072. Let x = u - 3.228. Let j = -2.3 - x. Which is smaller: j or -6?
-6
Suppose -2*z + 12 = -2*k, -z - 25 = 7*k - 39. Which is smaller: k or -1/1107?
-1/1107
Let f = -336 - -140. Let c be (-40)/(-30) - f/(-102). Suppose 5*g - l + 6 = 0, -5*l + l = -2*g + 12. Which is greater: g or c?
c
Let w = -0.37 - -0.07. Let t = 33037 - 33036.92. Which is bigger: w or t?
t
Let b = 12 + -25. Let s = -13 - b. Suppose -2*z = -3*x + 3*z - 2, 0 = 4*x + 4*z - 40. Is s > x?
False
Let g = 0.12108 - -9.87892. Let f = 86 + -120. Which is smaller: f or g?
f
Let m = -905 - -1680. Let t be 2/14 - (m/35 - -5). Is t equal to -26?
False
Let o be (-12)/14 + 24*(-836)/(-1309). Is -1 not equal to o?
True
Let i = 17817 - 17876. Is i > -651/11?
True
Let v = -387 - -399. Let i be (-765)/270 - 2/v. Which is smaller: 3 or i?
i
Let r = 97255/7091 + -1/1013. Suppose 3*g = -4*a + 22, 15*a + 75 = 5*g + 14*a. Which is smaller: g or r?
r
Suppose 0 = -42*q - 87*q - 946731. Is q less than or equal to -7337?
True
Let v = 40 + -72. Let c be ((-2)/(-4))/(72/v). Let z = 594 - 593.9. Which is smaller: z or c?
c
Let r(j) = -j**3 + 8*j**2. Let b(g) = g**2 - 5*g - 6. Let x be b(7). Let p be r(x). Which is smaller: 1/62 or p?
p
Let k be (-78)/91 - (-4870)/(-35). Is -140 at least k?
True
Suppose 40*o + 59853 = -12947. Which is greater: -1819 or o?
-1819
Let k(n) = 12*n**2 + 2*n - 2. Let b be k(2). Let y(u) = 6*u**2 - 108*u + 49. Let m be y(18). Which is smaller: m or b?
m
Let g = 8015 + -55886/7. Let s = g + 715/21. Let f = 69 - s. Is f bigger than 5?
False
Suppose 0 = 10*s - 42 + 62. Let x be 3/s*29/((-145)/30). Does 18 = x?
False
Let s = -3 + 2.7. Let j = 25.933 + -26.1. Let p = j - 3.833. Which is smaller: s or p?
p
Let y be 2 + 31732/(-92) + 3. Let m = y + 340. Let f = 4285/6 + -714. Which is smaller: m or f?
m
Suppose 0 = -3*t + 92 - 77. Suppose -r = -t*r. Is -2/79 at least r?
False
Let y(t) = t**3 + 3*t**2 + 10*t + 141. Let s be y(0). Suppose -s = -k - 133. Which is smaller: k or 2/35?
2/35
Let i = 14/11 - 48/55. Suppose 0 = -j - 4*y, j + 9 - 6 = -y. Let v be ((-10)/(-15))/(j/6). Is i less than v?
False
Suppose 0 = -5*r - 10, 2*r + 60 = 4*a + 48. Suppose -2*y + a*f - 57 - 53 = 0, -5*y - 275 = -f. Are y and -52 unequal?
True
Suppose 11*i - 16 - 138 = 0. Which is smaller: -32 or i?
-32
Suppose -3*d + 30 = 3*n, -3*n - 6*d + 34 = -4*d. Suppose -4*r - n = -h, h - 16 = -4*r + 30. Which is greater: 27 or h?
h
Let d be (-10)/5 + (-3)/(6/(-10)). Let o be (486/(-30) + d)/((-6)/20). Is o less than or equal to 44?
True
Suppose 20*k - 1 = 21*k. Let j(z) = 12*z - 4. Let w be j(k). Let t be -3*(3 + (-8)/(-6)). Which is smaller: w or t?
w
Let w(c) = 13*c**2 + 422*c - 24. Let t be w(-33). Are 37 and t non-equal?
True
Let y(u) = u**2 + 16*u + 30. Let l be y(-14). Suppose 0 = -l*f + 6. Let q be (-5)/(5/3) - (-60)/f. Which is bigger: 16 or q?
q
Let f be (-2)/((-2)/36*3). Suppose n - 3*b - 12 = -4, -5*n + 2*b - f = 0. Which is bigger: 8 or n?
8
Suppose 2*y + 4 = 12. Suppose -10 = -3*c + t, 10*t = y*c + 5*t - 6. Let o(s) = -s**3 + 5*s**2 - 4*s. Let m be o(c). Is -2/17 greater than m?
False
Let q = 119 - 95. Suppose q*h = 4*g + 21*h + 8, 2*h = 4*g + 4. Is -14/39 at least as big as g?
False
Let p(o) = -o**2 + 3*o. Let r be p(4). Let l = -4 - r. Let t = 2175 + -2179. Is t equal to l?
False
Let q = -215.6209 + 0.6209. Which is smaller: -2/23 or q?
q
Let n(z) = 4*z - 10. Let x be n(4). Let t be 8*x/(-36) - 31/(-3). Let r be t/(20/(-16)*(-8)/20). Is r bigger than 17?
True
Let c(q) = q**3 + 13*q**2 + 9*q + 22. Let x be c(-12). Let y be (-8)/10*(-29)/x. Suppose 2*t + 18 = -2*v - 2*t, -5*v + 3 = -2*t. Are y and v unequal?
True
Let k(z) = -z**3 - 13*z**2 - 13*z - 11. Let a be k(-5). Is a at least -1023/7?
True
Suppose -11*y = -35 - 31. Let k be (-5)/y + 117/78. Is k at most as big as -127?
False
Let c = -7934 - -2343. Are c and -5591 equal?
True
Let c be 3/(-6)*1*2. Let q be c/6 + (-6 - (-186)/36). Is q less than or equal to 4/63?
True
Let g(x) = -x**2 + 36*x + 35. Let n be g(35). Suppose 19*u + 253 = -n. Let k(m) = m**3 + 5*m**2 + 5*m + 7. Let i be k(-5). Which is smaller: i or u?
i
Let b = -464 + 504. Suppose 7*l + b - 47 = 0. Which is greater: -2/1561 or l?
l
Let m = -0.1 - -0.1. Suppose 4*w + 2*c + 85 = 237, 2*w - 4*c - 96 = 0. Suppose -7*j - w = -9*j. Is j < m?
False
Let k be (-22)/20 + (1/(10/50) - 4). Which is bigger: -2.3 or k?
k
Let a be 225/(-130)*(-12)/(-18). Let o = -83/3 - -27. Is a less than or equal to o?
True
Let o(d) = -d**2 - d + 48. Let g be o(6). Suppose 932 - 392 = g*u. Are u and 90 non-equal?
False
Suppose 12*z + 4*z + 6336 = 0. Let x = 364 + z. Is x less than or equal to -63/2?
True
Let q(h) = 27*h + 733. Let r be q(-28). Let n(i) = i**3 + 6*i**2 + 2*i - 3. Let t be n(-4). Let a = r + t. Is -2 greater than or equal to a?
True
Let k = -380 - 295. Let c be (-12)/(-9)*k/(-30). Suppose -16 = 4*d, -3*o - 5*d + 41 = -23. Is o < c?
True
Let h = 298 + -295. Suppose 3*s = -3, -5 = 4*v - h*s + 8. Which is smaller: -8/3 or v?
v
Suppose 2 = 86*p - 84*p. Is p > -2/7219?
True
Let o = 310345/2 - 158372. Is -3200 greater than or equal to o?
False
Let c = -194/7 - -1480/63. Let m(g) = 105*g + 32 - 213*g + 102*g. Let b be m(6). Do b and c have the same value?
False
Let r(q) = 4*q**2 - 17*q - 2. Let z be r(-3). Let i = z + -64. Suppose -5*l = -5*b - i + 1, 5*b = l - 16. Which is smaller: b or -30/13?
b
