 2*q + 4*l = -r, -q + l = 4*l + 14. Let i be 13/132 - 8/44. Is q greater than or equal to i?
False
Let a(n) = -10*n + 5 + 19*n - 8*n. Let w be a(-7). Which is smaller: w or -5/4?
w
Let g = 6697 + -3772. Let a be 3/10*g/(-54). Let u = a + 33/2. Which is smaller: u or -3?
-3
Let s = -1.956 + -255.044. Is -1 not equal to s?
True
Let o = -328 - -203. Let g = o + 123. Let x = -0.8 - 7.2. Is x at least g?
False
Let z = -165.2 - -199. Let n = 34 - z. Which is smaller: -3 or n?
-3
Let h(s) = 5*s - 227. Let x be h(28). Is -88 bigger than x?
False
Let o(n) = 4 - 48*n**2 + n + n - 5*n + 47*n**2. Let v be o(3). Is v smaller than -27/2?
True
Let r = 28 - 28.67. Let k = -1.07 - r. Which is smaller: k or 2?
k
Let a = -2 - -1.3. Let n = a - 0. Is n less than or equal to -2/7?
True
Let l = -1.8 - -24.8. Let r = 23.08 - l. Which is greater: r or -1?
r
Let u = -58/351 + 4/351. Which is bigger: 0.5 or u?
0.5
Let u be (-3)/(-4)*-4 + (-220)/(-1). Does u = 217?
True
Let z be (-1 + ((-15)/(-10) - 0))*0. Is z at least as big as 2/191?
False
Let w be (-9)/(-54) - (-6006)/36. Are w and 167 non-equal?
False
Let o = -0.25 + 2.35. Let a = -2.8 + o. Suppose l - 3*l + 4*k + 10 = 0, -5*l - 5*k - 20 = 0. Is a not equal to l?
True
Suppose g + 15 = -2*g, g = 2*o - 5. Suppose -14*u + 13*u + 3 = o. Suppose f - u = -2*s, -3 = -s - f - 2. Which is smaller: s or 5?
s
Suppose s - 2*g - 4 = 1, -4*s - 5*g - 32 = 0. Suppose -3*v = 3*u + 3, v - u - 8 = -15. Which is bigger: v or s?
s
Let p = 12 + -4. Suppose -4*v = -0*r - 5*r + p, -2 = -2*v + r. Let o be v/2 - (-9)/(-18). Which is bigger: 4 or o?
4
Let o = -3 - -3.2. Let h = -11692 - -11685. Which is greater: h or o?
o
Let m(f) = -13*f + 22. Suppose 20 = 6*p + 8. Let v be m(p). Is v less than or equal to -36/7?
False
Let p(c) = c**3 - 2*c - 7. Let a be p(5). Let o be a/(-45)*(-20)/42. Which is smaller: 0 or o?
0
Let k be -4 + 0 + (-60)/(-10). Suppose -k*v - 5*c = v + 34, -4*v = 2*c + 22. Is v at most as big as -6?
False
Suppose 78*y + 1254 = 97*y. Which is bigger: y or 68?
68
Suppose -2*l - 139 = -9. Let i = l + 65. Are i and -57 unequal?
True
Let v = -19/60 + 1323/4220. Which is greater: v or -1?
v
Let m = 683 - 575. Does 107 = m?
False
Let w be (-18640)/(-300)*(-2)/(-1720). Let f = 1/129 + w. Are f and 1 equal?
False
Let l be (5*1 - 125/26) + 0. Which is greater: l or 0?
l
Let p be 172/18 - (206 + -198). Which is smaller: 0.5 or p?
0.5
Let l = 29 - 5. Let c = 22 - l. Suppose -2*o + 3*o = 0. Which is greater: o or c?
o
Suppose -2*x - 210 = 3*u, -2*u = 6*x - 9*x - 328. Is 2 bigger than x?
True
Let d(f) = 0 + f + 0*f + 1. Let x be d(7). Let v be (-171)/(-18) - (-3)/(-2). Is x at least v?
True
Let g(l) = 2*l**2 - 7*l - 4. Let k be g(4). Suppose k = -3*i + 2*x - 18, -5*i - 8 = 5*x + 47. Do -5 and i have the same value?
False
Suppose 0 = -4*x + 4*m + 1256, -4*x + 0*x + 2*m + 1264 = 0. Are x and 318 non-equal?
False
Let p be 2/(52/(-16) - -3). Which is greater: p or -26?
p
Suppose -681 = -3*l + 6*l. Let h be l/35 + (-8)/(-28). Which is smaller: -7 or h?
-7
Let m be (-1093)/(-5) - (-19)/(1425/30). Which is smaller: -0.2 or m?
-0.2
Let a(v) = -v + 5. Let i be a(4). Suppose 5*k + 3*d + i = 9, 2*k + 4*d = 6. Is -1/50 at least k?
False
Let p(k) = -6*k**2 + 35*k + 23. Let x(g) = 7*g**2 - 35*g - 24. Let j(u) = -5*p(u) - 4*x(u). Let r be j(18). Let i = 20531/95 - 1079/5. Is r at least i?
False
Let o be 3*(-72)/(-42)*28. Which is smaller: o or 143?
143
Suppose 0 = 52*u - 11*u + 41. Is u at most 4/635?
True
Let k(x) = -3*x - 15. Let h be k(-7). Let q(f) = f**2 - 5*f + 7. Let l be q(h). Suppose -4*m + 3*y - l = -2*m, -13 = -m - 5*y. Are m and -3 unequal?
True
Let g be (-10*18/(-1260))/((-2)/(-14)) - -18. Suppose 2*s = -s + 36. Suppose -s = 2*p - 50. Is g bigger than p?
False
Let y be 4/(0 - (-6)/(-15)). Let d = y - -14. Suppose -d*j - j = 0. Which is smaller: 2/9 or j?
j
Let n be (-216)/(-51) + 12/(-144)*0. Is n smaller than 4?
False
Let a = 367 + -395. Let t = -1.3 + 0.3. Is a equal to t?
False
Suppose -4 + 5 = -m. Let x = 1229 - 20889/17. Is m at most as big as x?
True
Let u = -9 + 6. Suppose -20*k - 16 = -24*k. Suppose 22 = -f + 4*q, q = k*f - 2*q + 23. Which is greater: f or u?
f
Let a = -399 + 373.9. Let n = a - -25. Which is smaller: 6 or n?
n
Let g be 180/16 - 88/8. Let q(c) = -c + 1. Let m be q(0). Let r be m/2 + 3/(-9). Do g and r have different values?
True
Let r = 397 - 416. Is -18 less than or equal to r?
False
Let b = -274462/28719 - -4/3191. Let n = b - -833/90. Let x(s) = 4*s - 59. Let h be x(15). Which is greater: n or h?
h
Let z = 1225 - 25727/21. Which is bigger: 252 or z?
252
Let m = 10 - 6. Let h(i) = -4*i - 262 - 5*i + 236. Let o be h(-3). Which is smaller: m or o?
o
Let n = -481 + 441. Is n != -40?
False
Let h be 1/2*(-728)/312. Let w be (2 + -4)/(2/1). Which is greater: w or h?
w
Suppose -s + 31 = 3*v + 3*s, -3 = -3*v + 3*s. Let l be (-1)/4 - v/(-20). Let a = -46 - -597/13. Is l at least as big as a?
True
Let a be -3 - (3 + (-2 - -1)). Suppose -b + 2*g = -1, 0 = -6*b + 11*b + g + 39. Which is smaller: b or a?
b
Let d = 2.3 + -3.2. Let l = d - -1.6. Let h = 0.76 - l. Does h = 0?
False
Let z = 5446 - 11099/2. Which is smaller: z or -104?
-104
Let x = -1.6 + 3.1. Let p = -0.5 + x. Suppose 2*d + 17 = 5. Does p = d?
False
Let c be ((1 - 180/(-4))*-2)/1. Let a = c - -120. Is 26 at least a?
False
Let n = 0.09 + -0.09. Let p = -7.26 - -6.52. Is p bigger than n?
False
Let x = -267 - -265.1. Let i = 2.8 - 1. Let j = i + x. Which is greater: 6 or j?
6
Let u(d) = -2*d**2 - 98*d - 171. Let c be u(-51). Is -1 <= c?
False
Let h = 1940 - 91186/47. Which is greater: h or 1?
1
Suppose a - 19 = 6*t - 3*t, 3*a = -5*t - 13. Let v(z) = -z + 14. Let c be 15/(2/8*6)*1. Let o be v(c). Is o != a?
False
Suppose -2*q = 3 + 3. Let u = q - -3. Let g be u/1*10/(-20). Are g and -2/5 non-equal?
True
Let p(c) = 4*c - 51. Let b be p(-13). Which is greater: b or -104?
b
Let s be 1/(-3)*(-25 + 4). Let o be (-76)/70 + 2/s. Let d(l) = -l**2 - 16*l - 30. Let n be d(-14). Which is smaller: n or o?
n
Let g(k) = k**3 + 2*k**2 + k + 1. Let n be g(-2). Let u = 1793/3953 + -25/59. Which is greater: n or u?
u
Let g be -3*((-38)/133 + (-16)/42). Let q be g/3*3 - (-50 + 51). Is q > 2/37?
True
Let t(r) = 3*r - 36. Let n be t(12). Suppose n = -5*p + 5. Are 1 and p equal?
True
Suppose -15*m + 31 = 1. Let l be m*(-6)/(-50)*(-5)/(-3). Let o = -5 + 11/2. Is o less than l?
False
Let c = 65 + -56.7. Let v = 8 - c. Are v and -0.7 unequal?
True
Let h = -344 - -345. Is -21 greater than h?
False
Let c be 2/((-48)/21) + 1. Which is smaller: c or -1?
-1
Let o be ((-182)/21)/((-7)/63). Is o smaller than 78?
False
Let c(j) = -16*j + 8. Let n be c(-1). Let r(q) = q**3 + 8*q**2 + 9*q + 6. Let h be r(-6). Is n less than h?
False
Suppose -3*j = -j + 100. Let c be ((-1)/(-2))/(-6 + j/(-8)). Which is smaller: c or 8/5?
8/5
Let d = -0.704 - -4.704. Is d less than 10/3?
False
Let b = 34.1 - 34.2. Is b greater than or equal to 38?
False
Suppose -l - 3 = 3. Let w be 64/(-198) + l/27. Suppose -k - 7*k = 8. Which is smaller: w or k?
k
Let x be -1*2/((-2)/9). Suppose 5 = 14*v - x*v. Which is smaller: v or 15/14?
v
Let j = -285971/10 + 28595. Let s = 1 + -3. Is s < j?
False
Let l(i) = -i**3 + 4*i**2 + 6*i - 2. Let s be l(5). Suppose -s*g = -12, -u + 4*g + 32 = u. Which is smaller: 23 or u?
23
Let r = 5 - -22. Let z = r - 20. Let f(d) = d**2 + d - 13. Let s be f(-4). Which is smaller: s or z?
s
Suppose 0 = -a + 71 - 0. Suppose 8 = -7*t + a. Suppose t*o + 68 = 5*o. Which is bigger: 1 or o?
1
Let t = -0.559 + 12.509. Let m = -12 + t. Let q = m - -1.05. Is q at least 1/4?
True
Suppose 19*v - 11*v + 32 = 0. Is v bigger than -11?
True
Suppose w + 22 = 5*v - 50, -4*v = -w - 57. Let f be ((-20)/15)/((-20)/v). Is f less than -1/11?
False
Let w = -920797/8 + 115295. Let n = w + -195. Which is greater: n or 0?
n
Let w(i) = -4*i**2 - 3*i + 9. Let n = -28 + 33. Let p be w(n). Is p less than or equal to -106?
True
Let g = -272 - -260. Is g at most as big as -43/4?
True
Let p = 2.47 - 2.67. Is p smaller than -40?
False
Let v(y) = y**3 - 6*y**2 + y + 8. Let d be v(3). Let h be (-4)/(-83)*8/d. Is 1 < h?
False
Suppose -4211*g + 4219*g = 1008. Is -1 smaller than g?
True
Let t(l) = -l**3 - 11*l**2 - 18*l + 6. Let j be t(-9)