 1 + 0 + -12 - 2. Let k = x + v. Which is greater: -5 or k?
k
Let s = -1347 - -4043/3. Which is greater: s or 1/20?
s
Let j = -0.2 + 0. Let d = -0.3 - j. Let r = 609.4 - 612.4. Which is bigger: r or d?
d
Suppose -2260*v + 2257*v + 171 = 0. Is 61 greater than or equal to v?
True
Let v = -0.008 - 31.992. Let x = 36 + v. Is x at least as big as 2/7?
True
Let n = -0.029 - -20.029. Let l = -17 + 1. Let a = n + l. Is a at most as big as 0.2?
False
Suppose -p + 6*p + 2*b = -13, p = 2*b + 7. Do -2/9 and p have the same value?
False
Suppose 45 = 3*d + k, -k + 4*k - 23 = -d. Let x be 4/(-14) + (6 - (-443)/7). Let g = x + -56. Which is bigger: g or d?
d
Let g = -9135/11 - -831. Let a = -6.11 + 0.11. Let j = a - -8. Which is smaller: j or g?
g
Let p = -125.9153 + -0.0847. Which is greater: 0.1 or p?
0.1
Let g be ((-8)/(-2))/2*2. Suppose -l + x + 5 = 1, l + g*x = -11. Let d be 6/(-14) + (-232)/(-84) + -2. Which is bigger: d or l?
l
Let x be 17/((-187)/2860)*1. Which is smaller: -258 or x?
x
Suppose -c + 52 = -4*j, 5*j - 4*j - 32 = -c. Let r be (90/c)/(2/(-4)) - -2. Do -4 and r have the same value?
False
Suppose 0 = 3*d - d + 4. Suppose 4*k = 2*j - 48, 4*k + 27 = 7. Let n = j - 16. Do d and n have different values?
False
Let c be 11484/(-110) - 3*(-2)/(-10). Is c > 1?
False
Suppose -3*x = -t + 6, -3*x + 5*t - 6 = t. Let l be 2/(3 + 1 + x). Which is smaller: l or 5?
l
Let u = 1.2 + 0.3. Let m = u - -0.5. Suppose -6 = -2*l + 10. Which is smaller: l or m?
m
Suppose -5*t + 0 + 5 = 0. Suppose 3*l + 9 = 4*b - t, -8 = 3*l - 2*b. Let h be 114/133*42/(-45). Is h > l?
True
Let g = 23/440 + 4/55. Suppose 2*d = -2*d - 4. Which is bigger: d or g?
g
Let p = 179 + -169. Which is bigger: p or 11?
11
Suppose 45 = 2*w + 3*w. Let l be 3 + 3/(w/(-3)). Let h be (-8)/264*(-18)/l. Are h and -1 unequal?
True
Let v = 132.1 - -33.9. Which is greater: v or -0.2?
v
Let f be 6/(-2)*(6/2 - 4). Suppose 2*q = -3*q + f*q. Is -6/7 equal to q?
False
Suppose 52*y - 50*y = 10. Let g be 0 + 1 + 0 + (-11)/y. Which is smaller: -1 or g?
g
Let q(r) = -r**2 + 6*r - 5. Suppose -5*y - c + 0*c = -13, -5*y = -5*c - 25. Let v be q(y). Is 36/11 >= v?
False
Suppose 3*q - 5*x + 1 = 0, q = 2*x - 0*x - 2. Let l(r) = -r**3 + 7*r**2 + 9*r - 3. Let j be l(q). Let a be 3/(13/(-6) + 3). Which is smaller: j or a?
a
Let x = -8/11 - -5/22. Let v = 3/4 + x. Suppose 3*o + 0 = -15, -10 = -2*i + 2*o. Which is smaller: i or v?
i
Suppose 48 = s + 3*c, 0*s = 5*s + 3*c - 180. Suppose 5*r = i + s, 4*i - r = 4*r - 132. Is -34 > i?
False
Suppose -v - 4*i = 8, 0 = -2*v - 2*i + 4 + 10. Suppose m + v = 11. Let g be ((-1)/m)/(32/24). Are 2 and g non-equal?
True
Let y(i) = -2*i**3 - 44*i**2 - 45*i - 11. Let f be y(-21). Is f not equal to 6?
True
Let o = -26 - -24. Let z = 0.5 + o. Let i = 1.4 + z. Does -7/3 = i?
False
Let u = -0.055 + 0.255. Which is smaller: -3 or u?
-3
Let g = 0.03 + 0.37. Let i be ((-24)/(-40))/(27/15 - 2). Is g at most i?
False
Let q be ((-24)/10)/(-2*1/20). Is q at most as big as 121/5?
True
Let x = 3.74 + -2.24. Let t = -1.582 - 0.048. Let g = x + t. Is -1/3 less than g?
True
Suppose -16 + 160 = -6*w. Is -20 < w?
False
Suppose -2*j - 512 = -5*m, 4*m + 174 = 4*j + 586. Which is greater: -1/7 or m?
m
Let v = -78 + 20. Let d = v - -59. Which is greater: -2 or d?
d
Suppose 3*t + 18 = 6*t + 4*h, -4*h = t - 14. Suppose -t*q = 4*w + 14, -w - q + 14 = 3*q. Is w <= -5?
True
Let y = -10 + 20. Let m be (y/4)/((-17)/(-102)). Do 17 and m have the same value?
False
Let d(c) = c**2 - 3*c + 2. Let w be d(3). Let i be 4 + -2 - (-2 - w). Let r be 4/(-6) - 38/i. Is r at least -6?
False
Let q = 66 + -64. Suppose -d + 2 = i, 4 = 2*i + 7*d - q*d. Is i != 21/11?
True
Let w = 263 - 254. Is 8 != w?
True
Let b be 7*((-8)/(-22))/(-4). Which is bigger: -2 or b?
b
Suppose -w + k - 2*k = 0, 0 = 5*w + 3*k + 2. Which is greater: w or 24?
24
Let w(k) = k**3 + k**2. Let u be w(0). Let p be 2*(-2 + 4/8). Let t be p/(-2)*(-3)/33. Which is bigger: u or t?
u
Let i be ((1*-26)/2)/(-1). Let h = -440 + 454. Are h and i non-equal?
True
Let i = -2271.22 - -2275. Is 2 bigger than i?
False
Let n(p) = 5*p - 31. Let q be n(6). Is q less than or equal to 6?
True
Let f be (-6)/(-9) + (-86)/147. Is 0 at least as big as f?
False
Let q = 179059680527/1091357761418 - 1/450322988. Let m = -1/524 + q. Is m <= 1?
True
Let g = -17 + 0. Let k = 16 + g. Suppose s - 4*s = 0. Which is smaller: k or s?
k
Let d = -89 + 351/4. Let a = -6 + 7. Let n(v) = v - 1. Let z be n(a). Which is smaller: z or d?
d
Let t = 1979/4 - 13665/28. Let v = t - 45/14. Which is smaller: v or 4?
v
Let r = 4 - 3. Let p = -752 - -749. Is r greater than p?
True
Let d(l) = -l**3 + 32*l**2 + 4*l - 130. Let k be d(32). Is k smaller than -875?
False
Let w be 1/6*(116/8 + -10). Which is greater: -0.13 or w?
w
Suppose -4*s + 17 = -i, 5*i + 6 = s - 3. Let m be (-90)/(-1)*((-2)/35)/i. Which is smaller: 5 or m?
5
Let t = -2111/3 + 703. Which is smaller: t or 480?
t
Let y be ((-1)/3)/((-11)/(-66)). Let d be (80/28 + y)*28. Let w be d/108 + 2/(-9). Which is greater: -2/17 or w?
w
Let y(n) = n + 38. Let z(j) = -5*j + 75. Let k be z(18). Let l be y(k). Let m = -35 + 57. Which is greater: l or m?
l
Suppose -3*q - 16 = -4*y, 11*q - 10*q = -5*y + 1. Let a(h) = 3*h**3 - h**2 + h - 1. Suppose -4 = -5*f + 1. Let g be a(f). Is y bigger than g?
False
Let c = -400 + 317. Are -84 and c equal?
False
Let z be (9/(-6) + 0)*1*2. Which is smaller: -16 or z?
-16
Suppose -9*h - 24 - 12 = 0. Let n be (8/h - -1)*1. Is n != -2/25?
True
Let x = 10 + 2. Suppose j + 2*y + 5 = 0, 49 = -5*j - 0*y - 2*y. Let w = j + x. Is w less than or equal to -2/19?
False
Let r be (0/(-2) - 4/2) + -19. Which is smaller: r or -22?
-22
Let i be 5 + -1 - (-4)/(-128)*122. Let s = -49/176 + i. Which is greater: 1 or s?
1
Let k be (13/(-39))/(3/(-2)). Is k >= 659?
False
Let n be 3348/156 - (-30)/(-65). Are 21 and n nonequal?
False
Let f(b) = -b**3 - 6*b**2 - 6*b - 7. Let n be f(-5). Let l be ((-9)/(-6) - 3)*n. Suppose -l*s = -s. Are 0 and s nonequal?
False
Let v = 1.97 + 0.03. Let l = v - 2. Let y = -8.53 - -4.53. Is l less than or equal to y?
False
Suppose 0 = -x - 132 + 131. Are x and 7/20 equal?
False
Let c = 425 - 517. Which is bigger: -91 or c?
-91
Let h = -2/307 - 608/921. Let v be (-24 + 4)/(1 + 0). Let y be ((-4)/6)/(v/(-6)). Do y and h have the same value?
False
Let g be 3/2*(-6)/5. Let r(q) = -q**3 - q + 3. Let h be r(0). Suppose 4*o + 10 = -2*b, -h*o = -7*o - b - 11. Which is bigger: o or g?
g
Let j = 70.4 - 84. Let n = j + 14. Which is smaller: n or -2/15?
-2/15
Let b = -874 - -202771/232. Which is smaller: b or -1?
-1
Let y be 9/((-5)/(-2 + -3)). Suppose -y*q + 9 = -9. Let i(x) = x**3 + 9*x**2 - 11*x - 9. Let t be i(-10). Which is smaller: q or t?
t
Let k = -25 - -38. Let s(n) = -2*n**2 + 4*n + 1. Let i(y) = 2*y**2 - 3*y - 2. Let r(h) = -4*i(h) - 5*s(h). Let t be r(5). Are t and k nonequal?
False
Suppose 24 = 4*z + 2*u, -z - 49*u + 45*u + 20 = 0. Let w be 1*(1 + 0)*2. Is z >= w?
True
Let n(f) = f + 17. Let u be n(21). Suppose u = -4*a - 38. Which is smaller: -18 or a?
a
Suppose 3*c - g - 44 + 115 = 0, 2*c - 4*g = -34. Which is smaller: c or -30?
-30
Let u = -0.038 - -2.738. Let d = -139.3 - u. Which is bigger: d or -2/7?
-2/7
Let w(n) = -45*n - 21. Let h be w(-11). Let g be 1/(10/h) + 22/(-55). Which is smaller: g or 46?
46
Suppose 27*p = 20*p - 7. Which is greater: -638 or p?
p
Let p be ((-6)/(-4))/(42/8). Let f = -25254 + 25233. Is p at most f?
False
Let f be 6/(1116/255) - (-6)/(-4). Which is smaller: f or -1?
-1
Let t be 6/4 + 28/(-56). Suppose 0*o + 9 = 3*o. Which is bigger: t or o?
o
Suppose -7*r + 44 = -11*r. Let h = -11 - r. Let b = 1 - h. Which is bigger: 0 or b?
b
Let y = 0.204 - 0.274. Which is smaller: y or 0.32?
y
Let n be ((-40)/5)/4 + -395 + -1. Which is greater: n or 1/2?
1/2
Let d be 2/(-2*(-4 - 75/(-10))). Let t = 816 + -1583/2. Let m = t + -151/6. Which is smaller: m or d?
m
Let f be (1*(14 + -4))/(-1). Which is bigger: f or -45/4?
f
Let x(k) = k**2 + 3*k + 3. Let q be x(-3). Let d be ((-1)/3 - -1)*3. Suppose -d*i = -q*i. Which is smaller: -1/10 or i?
-1/10
Suppose -i - 5 = 3*c, 3*c - 61 = -0*i + 5*i. Let s(m) = -m**2 - 12*m - 5. Let y be s(i). Is 7 greater than y?
True
Suppose -68 = -8*o + 6*o. Suppose 2*r - 2*j - o = 