 + 3. Let i be l(-8). Do i and 19 have the same value?
True
Suppose -4*w + 3*w + 78 = 3*x, 2*x + 2*w - 56 = 0. Let p be 4/x*1/(-2). Suppose -2*b - 3*b - 17 = -3*j, b = -4. Which is smaller: j or p?
j
Let a be 2/3 + 12072/(-18126). Which is greater: a or -1?
a
Suppose 2*t = 3*t. Let y = 5184 - 5137. Is y bigger than t?
True
Let t be (-1 - 4) + 53 + 2. Do 52 and t have different values?
True
Let l = 1.327 - -0.273. Let f = 35.7 + -34. Let r = f - l. Which is smaller: 2/7 or r?
r
Let k = 121 - 131. Do k and 4/13 have the same value?
False
Let i(m) = -m**2 + 4*m + 3. Let u be i(4). Let o be (20/u)/(5/15). Let h be (0 + -2)*(-50)/o. Is 6 at least as big as h?
True
Suppose t - 3*t = -2, 0 = -3*s + 2*t + 37. Suppose -s = 3*g + 10*g. Are 41 and g unequal?
True
Let i be 8/(-17)*(-1 - 68/(-8)). Which is bigger: -5 or i?
i
Let p = -11/38 + 797/2622. Suppose 0 = 2*o + o. Is o > p?
False
Suppose -5*t - 32 = -t. Let k(c) = 14*c**2 - 62*c + 63. Let m(x) = 5*x**2 - 21*x + 21. Let d(s) = 4*k(s) - 11*m(s). Let u be d(15). Is t less than u?
False
Let h = -385 + 458. Is 215/3 <= h?
True
Let m = 3 - 1. Let v(q) = -q**2 + 7*q + 4. Let z be v(7). Suppose p = z*l + 1 - 0, 0 = 3*p - 15. Is l less than m?
True
Let g = -287 + 408. Let l = 121 - g. Is l less than -20?
False
Let q be (-4)/(-34) + (-1177)/(-1122). Let m = -1 - -3. Which is smaller: q or m?
q
Let k = 4 - 9. Let t = 35 + -41. Let l(x) = 6*x + 33. Let w be l(t). Are k and w unequal?
True
Let y be 15/(-10) + 2/4. Let l be ((-51)/15 - y)*-5. Let g = l - 12. Is g > 4/3?
False
Let r = -785 - -785. Let x = 17 - 117/7. Which is bigger: r or x?
x
Let s(a) = a**3 + a**2 + a + 7. Let m be s(0). Suppose 2*h - 16 = 5*t, -5*h + m = -5*t - 3. Let n be 25/4*(-17)/85. Is h <= n?
True
Suppose c = -3*r + 75, 8 = 2*r - 4*c - 28. Let o = 4046 + -4024. Which is smaller: o or r?
o
Let i = 74 - 46. Let m = i - 27. Is m at least -9?
True
Let t = 1 + 1. Let m = -6825 + 40955/6. Is m at least as big as t?
False
Let s be -4 - -2 - -17 - 3. Suppose 3*r = 2*p - 3, -3*r - p = -6*p + s. Which is greater: -2/133 or r?
r
Let k = 101/6 + -517/30. Which is smaller: -0.2 or k?
k
Let x(u) = 4*u + 40. Let t be x(-10). Let k = 34674/23 - 1508. Which is smaller: k or t?
k
Suppose -x + 417 = 5*y, 5*x + 0*x - 2220 = 2*y. Let w = -20775/47 + x. Which is bigger: w or 0?
0
Let v be (-1)/(-6) - 860/(-24). Let s be ((-11)/((-33)/v))/(-1). Let k = -30 - s. Is -18 <= k?
True
Let h = 0.013 + 23.987. Let v = h - 24.01. Let g(d) = d. Let a be g(0). Is v at least a?
False
Let n = -4731/28 + 677/4. Which is bigger: n or -0.379?
n
Let v = -15.1 + 0.1. Let w = 14.9 + v. Is w <= 4?
True
Let l = 136 - 129. Which is bigger: 3 or l?
l
Let h be (-12)/(-9) + 896/(-636). Is 1 > h?
True
Let g(k) = -k**3 - 5*k**2 - 6*k - 9. Suppose -3*m + 2*i = 16, 2*m + 2 = 2*i - 10. Let o be g(m). Are -1/27 and o non-equal?
True
Let d = 1420 + -1419.97. Let n be 18/8 + -2 - 1. Which is bigger: n or d?
d
Let m = -20 + 23.4. Let a = -12.4 + m. Is a bigger than 0?
False
Let x = 0 + 169. Let z = 5912/35 - x. Which is bigger: 0 or z?
0
Suppose -4*w = -7*w + 24. Suppose -4*c + 24 = -4*z, -5*z = 3*c - z - 4. Are w and c non-equal?
True
Suppose 0 = 5*l + 3*c - 282, -l - c + 58 = -0*l. Let k be (106*(-5)/(-60))/(2/12). Which is smaller: l or k?
k
Let b be ((-24)/22)/(3/(-808)). Suppose 0 = -5*w - x - 1049 - 425, w + 4*x + 310 = 0. Let v = b + w. Are v and 1 equal?
False
Suppose -2*h - c + 0*c - 4 = 0, 5*c = h - 20. Suppose h*j = 7*j. Is -3/10 at least as big as j?
False
Suppose -3*t - 39 = 3*g + 135, 3*g = 5*t + 330. Let w(s) = -21*s + 22. Let f be w(4). Are t and f non-equal?
True
Let x = 0.174 - 0.014. Let h = 0.06 - x. Which is greater: -4 or h?
h
Suppose 5*m + 20 = 3*m. Let o = m + 14. Suppose -2*b + o = -3*b. Which is bigger: b or -5?
b
Let i(p) = 3*p**2 - p**2 + 2 - 5*p + 2*p + p**3. Let z be i(-3). Suppose -z = -12*h + 14*h. Which is smaller: -3/16 or h?
h
Let z(l) = l**3 - 4*l**2 + 5*l - 25. Let w be z(4). Let d(u) = -u**2 + 8*u + 11. Let s be d(8). Let x = 7 - s. Is w less than or equal to x?
True
Suppose 2*t + 5*m = -23, 2*m = 2*t - 0*m + 30. Let n be t*(-10)/(-15) - -2. Which is bigger: n or -7?
-7
Let t be 3*-14*(-3)/(-9)*3. Let o = -44 - t. Which is smaller: 0.28 or o?
o
Let s be ((-4)/(-6))/(44/(-1650)). Is s > 11?
False
Let b = 13 - 16. Let d(h) = 2*h**2 + 3*h - 4. Let c(m) = -2*m**2 - 4*m + 4. Let v(n) = b*d(n) - 2*c(n). Let a be v(2). Is a <= -4?
True
Let d = 94/85 + -12/17. Let y be ((-36)/(-42))/(2/14). Let u be y/(-45) - (4 + (-47)/15). Is d at least as big as u?
True
Let j be (5/25)/((-112)/(-385)). Which is greater: j or 1?
1
Let y = 19 - 62. Let s = 35 + y. Let a = 38 - 115/3. Do a and s have the same value?
False
Suppose 4*w + 38 - 46 = 0. Suppose -5*r = -5*t - 7 + 2, -4*r - 2 = w*t. Let b be 1 - (-14)/(-18)*1. Which is smaller: b or t?
t
Suppose 4*q = 5*q. Let k be (-2 + -4)/(36/(-8)). Which is smaller: q or k?
q
Let n = -638 + 636. Is -4 not equal to n?
True
Let u = 10.04 - 10.05. Is u equal to -97?
False
Suppose 2*q - 13 = -1. Suppose -2*f = f - q. Suppose -f*d = 1 + 3. Is d bigger than -8/5?
False
Let j = -659 - -279. Let g = 1154/3 + j. Which is bigger: 6 or g?
6
Let p = -37 - -8. Let a = 10 + p. Let u = a + 18.9. Is -26 greater than or equal to u?
False
Let z be ((-37)/1110)/((-1)/21). Is z at most as big as 1?
True
Let y be (-12)/8*(-2)/(-1). Let u(q) = 3*q**2 + 2*q + 10*q**3 - 14*q**3 - 4 + 5*q**3. Let z be u(y). Which is greater: -11 or z?
z
Suppose 0 = -4*u + 48 + 4. Let a(p) = -p**3 - 8*p**2 - 6*p + 10. Let y be a(-7). Suppose 28 = y*q - q. Is u < q?
True
Let s be 1780/(-4275) - 24/(-228). Which is smaller: 1 or s?
s
Suppose -5*y - 6 = m - 8*y, 0 = 4*m - y + 2. Which is smaller: -0.72 or m?
-0.72
Let z = -1 - -1. Let r = -3920 - -43124/11. Which is smaller: z or r?
z
Let z = -242 + 234. Which is smaller: z or -14/5?
z
Suppose 2*d = -2*d - 60. Let b be -2*2 + 17 + d. Let f(x) = x**2 - 4*x + 3. Let l be f(4). Which is smaller: b or l?
b
Suppose 0 = 4*f - 27 - 29. Let r = -28.16 - -28.06. Is f != r?
True
Let t(s) = s**2 + 4*s - 7. Let l be t(2). Which is greater: 4.9 or l?
l
Let k = 4.46 - 4.5. Let j = -8.04 - k. Is j at most 3?
True
Suppose i + 4*w - 110 = 0, -2*w - 200 = 2*i - 4*i. Is 101 < i?
True
Let s = 2.1 + -2. Let v = -0.5 - -4.5. Let u = -3.5 + v. Is u greater than s?
True
Let h be 6 + (-2 - 2 - -1). Suppose 9 = h*v - 21. Let d(w) = -w + 6. Let j be d(v). Are -2 and j nonequal?
True
Let z = -191 + 103. Let m = 88 + z. Are -13 and m nonequal?
True
Let r = -1.6 + -4. Let q = 14.6 + r. Are -1/2 and q unequal?
True
Suppose n + 16 = 18. Suppose 2*o + n*o = 5*z + 33, 5*o + 5*z + 15 = 0. Which is bigger: 16/9 or o?
o
Let z = 20 - 44. Let g be 12/(-8) + -2*261/(-12). Let m = z + g. Do 18 and m have the same value?
True
Let u be (-114)/(-27) + (-3)/(-54)*-4. Suppose 0 = -u*r + 9*r + 5. Is r < 3?
True
Let r be 10 + 17702*(-4)/7080. Which is smaller: r or 1?
r
Let h be 2/4*-2*0. Let s = 1.08 + -1.58. Is h not equal to s?
True
Let y be (-2)/(-8) - (-3)/(-12). Suppose y = -0*k + 5*k + 4*p - 19, 4*p = 4*k - 44. Suppose -9*v + 8*v + 8 = 0. Which is smaller: v or k?
k
Let i be 2/4*(0 + 0). Let r be (1/(-5))/(34/(-4)). Is r greater than i?
True
Let h = 2.06 + -0.06. Let y be (1/16)/(8/48). Which is smaller: y or h?
y
Suppose -5*d + 0 - 5 = 4*b, -b - 5 = 5*d. Suppose -2*p + b = 4. Let m be p/(-3) - 25/(-3). Do m and 9 have different values?
False
Let c(b) be the second derivative of b**4/12 - 3*b**3/2 - 9*b**2 - 10*b. Let l be c(11). Let u be l/(-6) + (-75)/(-99). Which is greater: 0 or u?
u
Let b = 121/47 + -54809/94. Which is smaller: b or -582?
-582
Let h(r) = 5*r**2 - 3*r - 22. Let d(s) = 32*s**2 + 22 - 19*s**2 + 3*s - 17*s**2. Let l(j) = 4*d(j) + 3*h(j). Let x be l(7). Do -6 and x have different values?
False
Suppose 3*d - 3*b = 42, b + 6 = 3*d - 30. Let k be ((-1)/(-3))/(d/2). Let h = 703/165 - k. Is h less than or equal to 3?
False
Suppose -4*x = -2*j + 316, 0 = -5*j + 4*x + 111 + 655. Suppose -8*p + 2*p = -j. Which is smaller: p or 24?
24
Suppose -63 - 84 = 21*b. Does -166/23 = b?
False
Let u = 37 - 37. Let q = 1/4 - u. Is q equal to 8?
False
Suppose -c - c = -4*i - 2, 5*c = 4*i - 1. Let z = c + 2. Let s be 25/10*(1 - -1). Is z bigger than s?
False
Let o = -1.