
Let r be ((-12)/4 - -2) + 4. Suppose 3*l = 2*h - h - 7, -3*l = -r*h + 15. Let u = -1500/29119 + -2/787. Are l and u nonequal?
True
Suppose -5*n - 20 = 0, 9 = 5*o + n - 2*n. Is o equal to 0.12?
False
Suppose 341*n + 6 = 335*n. Is n equal to 15/34?
False
Suppose -3*f = f + 28. Let s be 21/(-9)*2/f. Let t = 0.05 + 1.95. Are t and s nonequal?
True
Let z be 180/(-54)*(-6)/4. Let r be -1*z/((-10)/6). Suppose 16*o = 19*o - r. Which is bigger: o or 4/3?
4/3
Let p = 30 + -27.6. Let c = p + -0.4. Let f = -163 + 490/3. Which is smaller: f or c?
f
Suppose -16*b + 14*b - 40 = -4*c, -3*b = 2*c - 36. Let i be 20/(-6)*(-36)/10. Let r = c - i. Is 0 at most as big as r?
True
Let i = 173 - 43. Let r = i + -908/7. Which is bigger: 0 or r?
r
Suppose 7*y + 12 = 4*y. Let z be 4/16 + 2/y. Let f = -15 + 11. Which is bigger: f or z?
z
Let o = -863 + 1247. Let t be 8/12 + 1556/o. Let d = t - -1/32. Does 6 = d?
False
Suppose 3*j - 6*j = 2*j. Let v be 12/(65/10 + j/(-3)). Is v greater than or equal to 2?
False
Let k(f) = -9*f + 79. Let u be k(15). Let c = u + 111/2. Let n(t) = -t**3 + 3*t**2 - 4*t + 2. Let s be n(2). Which is bigger: s or c?
c
Let l = 3.2 - 3. Let v = 0.2 - l. Let y = -5 + 5.6. Which is smaller: v or y?
v
Let r be (-28)/21*(-6)/4. Suppose 5*m = 3*h - 0*m - 43, 2*h - r = -2*m. Let l be h/14 + (-79)/119. Does 1 = l?
False
Suppose 12 = 3*o - 3*k - 0, 0 = -3*k + 12. Let c = o + -3. Suppose -c*g + 15 = 4*x - x, 0 = -2*g + 6. Does 2 = x?
False
Let n(z) = 10*z + 1. Let r be n(-3). Let v(m) = m**3 - 9*m**2 - 2*m - 12. Let h be v(9). Is h smaller than r?
True
Let d be -6*4/(-12) + 2. Suppose -45 = -d*x - x. Suppose 2*z = x*z + 21. Which is smaller: z or -2/9?
z
Let r(g) = 9*g - 1. Let j be r(-6). Let b = -273/5 - j. Let m = 3.01 - 3. Which is smaller: m or b?
m
Suppose -5*a = -4*a + 4*i + 91, -5*i = a + 94. Let z = a - -91. Are 12 and z equal?
True
Let u be 1*2 + -8 + 8. Let f be (5 - 6)*(2 - u). Suppose 4*p + 4*x = -f*x, 0 = -4*p - x. Is -4/3 at most p?
True
Let x be 1 - 0 - -3 - 5 - 0. Let s be 0 - (106/(-112) - -1). Which is greater: x or s?
s
Let v(i) = 8*i**2 + i - 1. Suppose -3*s + 15 = -0*s. Let u(d) = -17*d**2 - 2*d + 3. Let r(m) = s*v(m) + 2*u(m). Let a be r(-1). Which is greater: a or 7?
7
Let d(o) = o**2 + 5*o - 12. Let i be d(-10). Is i >= 2?
True
Suppose -20 = -6*w - 4*w. Let q be w*((-405)/(-10))/9. Which is bigger: -1 or q?
q
Let q(l) = l**3 + 5*l**2 + 3*l + 12. Let v be q(6). Is -1 smaller than v?
True
Suppose 31 = 11*x - 42*x. Is -2/157 >= x?
True
Let m = 3 + -5. Suppose -6*u = -8*u + 10. Let f be -2 + u - 11/2. Is m greater than f?
True
Let v = 11 - 6. Suppose -132 + 27 = -v*o. Suppose n - o = -2*n. Which is smaller: 8 or n?
n
Let l(i) = i**3 - 3*i**2 - i + 2. Let y be l(3). Suppose 26 = 2*o - 4*c, o + 4*c = 1 - 18. Suppose o*u - 3 = -0. Is y at least u?
False
Let q(m) be the first derivative of -m**3/3 - 3*m**2 - 5*m - 9. Let y be q(-6). Is -4 >= y?
True
Let g = -15 + 21. Let d = -50 + 56. Let f = g - d. Is f at least as big as -0.14?
True
Let p = 96/1037785 + -2/995. Which is smaller: p or 0?
p
Let l = 0.349 + -0.049. Which is bigger: 0.04 or l?
l
Let q = 1645/9 - 183. Let k = 0.4 - 0.45. Let d = -0.15 - k. Which is smaller: d or q?
q
Let x(t) = -t**2 - 9*t - 4. Let b be x(10). Is b at least -0.1?
False
Suppose 5*v + 4*u = -248, 3*v - 12 = -3*u - 159. Let l = 51 + v. Which is smaller: 1 or l?
l
Let o(g) = -g**3 + 8*g**2 + 10*g + 8. Let i be o(9). Let m = i + -12. Let p be ((-6)/(-3))/(4/6). Is p at most as big as m?
True
Let j = -291019/31 - -9391. Is 3 > j?
False
Let a = 0.2 - 0. Let q = -693464/209 - -3318. Let o = q - -424/627. Which is smaller: o or a?
a
Suppose 0 = -s - 0*s. Let r be 14*276/34440 - 2/20. Is r at least s?
True
Suppose q + 76 = 5*l - 38, -498 = 5*q - l. Are q and -95 non-equal?
True
Let n(r) = r**3 + 7*r**2 - 2*r - 11. Let t be n(-7). Suppose -y + 2 = -t*y, -2*w + 9 = -y. Do w and 5 have the same value?
False
Suppose 0 = v + 4*k - 20, 8*v = 3*v - k + 24. Let g be 1/(-1) + 80/(-25) + v. Which is bigger: -6 or g?
g
Suppose 25*r + 1 = 151. Which is smaller: r or 10?
r
Let k be 9 + -10 + (0 - -1). Is 2/909 >= k?
True
Let g = -0.041 + 0.049. Let n = g - -0.192. Which is smaller: 11 or n?
n
Let a = -549 + 548. Let b be (-1)/6*18/8. Which is smaller: b or a?
a
Let z = 0.3 - 0.4. Let t = -318.95 - -319. Which is greater: z or t?
t
Let s be 10/125 - 803/(-275). Let b be ((-70)/(-15))/((-1)/(-3)). Which is smaller: b or s?
s
Let o(g) = -g - 10. Let r be o(2). Let y be 279/(-12) + (-3)/r. Is y < -24?
False
Suppose 10*g = 5*g - 5. Which is greater: g or -2/21?
-2/21
Let r = 0.29 - 0.1. Which is smaller: r or -0.1?
-0.1
Let l = 8/77 + -709/154. Let p = 11 - 9. Suppose 3*y - p*y = -4. Which is smaller: y or l?
l
Let s = 0.0827 - 0.1207. Which is smaller: 2 or s?
s
Let x be 3504/(-80) + 0/2. Is x greater than 0.1?
False
Let d(o) = -o**2 - 4*o. Let q be d(-4). Let g = -1119718 - -21290180/19. Let a = g - 818. Which is smaller: q or a?
a
Let t = 997147/185 + -5390. Let r = -507/2960 + t. Which is greater: -1 or r?
r
Let n = 12 - 9. Let q = 10 - n. Let c = -6.6 + q. Which is bigger: 2 or c?
2
Let g be ((-120)/16 - -6)*(-1 + 83). Let p be ((-4)/g)/(8/(-12)). Suppose 3*a = -a. Is a < p?
False
Let o be (0 + (-159)/42)/(3/6). Let a be 46/(960/123 - 2). Let l = a + o. Is 0 less than l?
True
Let n = -1735 - -1737.2. Is 1 greater than n?
False
Let a = -3539 + 3548. Let s be -1*(0 + -8) + 0. Which is smaller: a or s?
s
Suppose 2 = 6*b - 5*b. Let r be 21 + 18 + (0 - -3). Suppose -14*v + 0*v = -r. Is b not equal to v?
True
Let q(p) = 2*p**2 + 2*p. Let y be q(-3). Suppose -2*l - y = -2*f, -14 = 2*f - f + 4*l. Suppose f*v = -0*v. Is v greater than or equal to -1?
True
Let g be (6/4 + 0)*-2. Let d = 11 - 26. Let o = -14.8 - d. Which is bigger: o or g?
o
Let g be 10 + ((-790)/1010 - 9). Are 1 and g unequal?
True
Let j = -13 + 31. Let l = j - 30. Which is smaller: -13 or l?
-13
Let l = -1 + 1. Let d = -10826/12159 - -2/1351. Which is smaller: d or l?
d
Let q = 0.0175 - 0.0175. Do q and 105 have the same value?
False
Let b be 5 - 1 - 23/(-552)*-24. Suppose 0 = -5*s + 2*o - 24, -4*s + 4*o = -s + 6. Let d be (3/(-2))/(s/16). Which is smaller: d or b?
b
Let a(f) = f**2 + 11*f + 4. Let n be a(-11). Let w(i) = -i**2 + 10*i. Let v be w(10). Is v at most as big as n?
True
Let r = -275 + 216. Which is smaller: r or 0.1?
r
Let j = 1222 - 10978/9. Let o = 14/9 - j. Which is greater: 9 or o?
9
Let t = 7 + -7. Let s be (0 + -1)*(-2)/(-8). Which is smaller: s or t?
s
Let w(n) = n - 3. Let x be w(3). Which is smaller: x or -9/34?
-9/34
Let b = 78 - 45. Let c = 26 - b. Is -0.1 not equal to c?
True
Let t be 52/4 + (-2)/(-2). Let w = -309 + 324. Is t at least w?
False
Let z be ((-30)/(-4))/(1/(-2)). Let p(o) = -o**2 - 16*o - 7. Let w be p(z). Suppose 2*k - 6 = w. Is 5 greater than k?
False
Let b = -2.09 - 2.91. Is 0.27 bigger than b?
True
Let f = -1019/24 + 345/8. Is f less than -19?
False
Let n = 283/3 + -152. Let v = 57 + n. Let u = -74 + 75. Is u less than v?
False
Suppose -2*n + 6 = 0, -3*w + 4*n - 32 = -8. Let g be 180/91 - 8/w*-1. Which is smaller: 0 or g?
g
Suppose -5345 = -36*b - 21833. Is -458 less than or equal to b?
True
Let h be ((-14)/4 - -4) + (-3)/(-6). Is h >= 8/81?
True
Let i(w) = -w**2 + 3*w + 3. Let s be i(2). Suppose -5*r - 2*q = 24, -3*q + 1 - 22 = s*r. Which is greater: -2 or r?
-2
Let p(b) = b**2 + 5*b + 10. Let s be p(-3). Suppose -5*k = s*t + 10, 3*t + 2*k + 2 = k. Which is bigger: -8/11 or t?
t
Let c(a) = 14*a + 98. Let g be c(-7). Which is bigger: 10.59 or g?
10.59
Let a = -413/10557 - 2/459. Is a <= -0.02?
True
Let t(k) = 28*k**2 - 8*k - 2. Let o be t(4). Let p = 15316/37 - o. Which is smaller: -1 or p?
-1
Let w(p) = p**3 + 8*p**2 - p + 3. Let r be w(-8). Suppose -2*j + 99 = 7*j. Do j and r have different values?
False
Let q(f) = 12*f**2 - f + 1. Let r be q(1). Suppose 11*a = r*a. Suppose 4*y = 3 + 1. Are a and y equal?
False
Let o = 0.3 + -3.3. Let q = o + -30. Let r = 16 + q. Which is bigger: r or -0.1?
-0.1
Let p = 1116.21 + -1111. Let s = p + -1.21. Which is smaller: 0.8 or s?
0.8
Let u = -6 + 26. Suppose -4*z = -4 + u. Which is smaller: z or -15/4?
z
Let w(m) = -m + 4. Let c be 3 + 2 + -5 + 6. Let x be w(c). Let p be 1/x + 17/14. Is 1 >