e
Let f be 3*4*2/12. Suppose 4*t - 2 = 4*i + f, -i - 25 = 5*t. Let z be (-2)/(-5) + (-13)/i. Which is smaller: -1 or z?
-1
Let v(m) = m**3 + 12*m**2 - 16*m - 18. Suppose -26 = 19*u - 17*u. Let d be v(u). Are d and 20 unequal?
True
Let i = 1505 - 1498.29. Let n = 0.71 - i. Is n less than -1?
True
Let x = 0.014 + -0.014. Let n = -33 - -12. Is x greater than n?
True
Suppose -3*i = 130*q - 127*q - 6, -2*q = -5*i + 10. Is q less than or equal to -9/248?
False
Let b = -36 - -41. Suppose -b*l + 4*q = 18 + 2, -4*l - 2*q = -10. Let y be (2/(-10))/((-6)/10). Which is bigger: l or y?
y
Let x = -33 - 112. Let c = 1013/7 + x. Which is greater: 6 or c?
6
Let p = 167 + -194. Does -28 = p?
False
Let o = 4.064 - 4. Let g = o - -0.936. Which is smaller: 2/39 or g?
2/39
Let l = 3 - 3. Suppose 20 = -4*q, 0*q = -3*x - 3*q + 213. Let z be (-20)/30*(-6)/x. Does l = z?
False
Let c = 721 + -739. Is c != -9?
True
Suppose -22 = -2*d + 5*j, -3*d + 14*j = 11*j - 24. Suppose -y - x = -4*y + 7, -2*y - 17 = -5*x. Which is smaller: y or d?
y
Let s = 636 - 636.153. Which is smaller: s or -1/4?
-1/4
Let h = -958/13 - -50878/689. Is h less than 0?
False
Suppose 0 = 3*g + 2*g - m, -2*m = -g + 9. Is 2/71 smaller than g?
False
Let l = -1250 + 1223. Is 37 >= l?
True
Let s = 13 - 5. Suppose 0 = 2*f + s, -b + 4*b = -3*f - 3. Suppose -3*m + 12 = -6*m - 5*x, 0 = 2*m + b*x + 7. Is m greater than or equal to 0?
True
Suppose 38*w - 448 = 10*w. Which is bigger: w or 160/11?
w
Let f = 1 + -4. Let r be -6*(f + (-10)/(-4)). Let g be r/7*(-4)/6. Which is greater: g or 0?
0
Let r = 87.008 + -0.008. Let n = r - 54. Let m = 32.6 - n. Which is greater: m or -4?
m
Let a = 518 + -518. Are a and 20/33 equal?
False
Let t = -118984/15 + 7926. Which is bigger: 2/5 or t?
2/5
Let c be (0 - (90 + 3))*(-3 + 4). Let m(f) = -f**3 - 15*f**2 - 19*f + 6. Let q be m(-4). Which is smaller: c or q?
q
Let j(t) = -t**2 - 6*t + 6. Let i = -44 + 37. Let a be j(i). Which is smaller: 1 or a?
a
Let y be 4/10 - 54/10*-19. Which is smaller: 101 or y?
101
Suppose -27*r = -6*r + 399. Let d be (-7 - -4)/(3/14). Let g = d - 4. Which is greater: r or g?
g
Let x = -36 + 30. Let k be (x/(-12))/((-2)/252). Let m = k - -129/2. Which is smaller: 1 or m?
1
Suppose s = n + 69, 5*s + n - 114 = 213. Suppose 5*w - 184 = s. Suppose -4*v + w = 10. Are v and 0 unequal?
True
Let a be 16/(-56) + 1161/21. Which is bigger: a or 56?
56
Let b be 4/(-24)*-3 - (-147)/(-291). Which is bigger: b or 1?
1
Let r = -1562 + 1154. Is r >= -408?
True
Let r = -23 - -47/2. Let l be 0 - (5/(-50) + 21/10). Is l greater than r?
False
Suppose 3*c + 108 = 3*q, -3*q + 2*q - 92 = 3*c. Suppose -k - 61 = k - 3*p, k + 4*p + 36 = 0. Is k less than or equal to c?
True
Let j = -8.8 + 6.95. Let y = j - -2. Let o = -1611 + 1611. Do o and y have different values?
True
Let x(o) = -o**2 - 9*o - 14. Let t be x(-7). Is t greater than -1/33?
True
Suppose 0*c - 3*c - 16 = 4*x, -2*c = -4*x - 16. Let a be (2/4)/((-2)/(-8)). Suppose -a*f - 60 = -7*f. Which is greater: c or f?
f
Let r = -12 + 22. Let d = 118 + -116.81. Let q = d + -0.19. Which is smaller: r or q?
q
Let k = -2/16801 + -1125579/739244. Let f = -25/11 - k. Which is bigger: f or 0?
0
Let k be (-2)/(-248)*(-2 + 4). Is -1 less than k?
True
Suppose 0*b = b. Let l be (1 - b)/(4/44). Let w = -11 + l. Which is smaller: w or 1/7?
w
Let p be (-1)/14*(-641 - 7)/(-6). Which is smaller: -9 or p?
-9
Suppose 2*j = 3 - 29. Suppose -b + 3*b = 4. Suppose -s + 0*s - 8 = k, b*s - 75 = 5*k. Are j and k nonequal?
False
Let f be 4119/2244 - 24/8. Let d = f + 5/68. Which is greater: d or 2/7?
2/7
Let l = -0.055 + -0.105. Let t = 23 - 24. Does t = l?
False
Let r = -194 + 183.1. Let w = -10 - r. Let g = -0.7 + w. Which is smaller: -1 or g?
-1
Suppose -359*x + 347*x + 16224 = 0. Which is smaller: x or -1/3?
-1/3
Let k be (2/6)/(3/63). Suppose 0 = 2*h - k*h. Suppose u + 3*u = h. Is -2/19 greater than u?
False
Let c be (4/(-1) - 630/(-15))/2. Let v = -16 - c. Is v at least as big as -34?
False
Let p(v) = -9*v**3. Let c be p(-1). Let i = c + -41. Let k be (-2)/i*20/45. Do k and 0 have the same value?
False
Suppose l + 40 = 3*z, -4*z - 3 + 47 = l. Let k be 1 - 16/z - -1. Which is smaller: k or 5?
k
Suppose -a - 3*k - 19 = 0, -9 = 3*a - 4*k + k. Let v(t) = t - 3. Let w be v(a). Is w greater than or equal to -11?
True
Let h(j) = 4*j - j + 1 + 0*j - 4*j. Let z be h(-1). Suppose -4*n - 2*b = 2, z*n + 3*n - 5 = 5*b. Which is bigger: -1 or n?
n
Let t be (2 + (-19)/9)*3. Let c be (-135)/(-5)*((2 - 2) + 1). Is t bigger than c?
False
Suppose 0 = -4*s - 4*q, -5*q + 3*q + 6 = 4*s. Let d(t) = -t + 7. Let o be d(s). Suppose -29*l + 141 = -4. Which is bigger: o or l?
l
Let j(k) = -2*k - 13. Let p be j(-10). Let u = -1 + -6. Let z = p + u. Is z not equal to -3/7?
True
Suppose -8*x - 330 = 742. Does x = -134?
True
Let h(j) = j**3 + 28*j**2 + 33*j + 164. Let k be h(-27). Which is smaller: k or 10/7?
10/7
Let a be 5*(-3)/(-2)*(-102)/(-85). Suppose 1 = -4*c + a. Is c at most as big as -0.1?
False
Suppose -2*d - 5*p + 34 = 0, p = -2*d + 5 + 13. Suppose h = 3*m + 17, 5*m = d - 27. Let f(c) = -c**2 + 6*c - 6. Let q be f(h). Which is bigger: -2/5 or q?
-2/5
Let x = -89.038 - -0.838. Let j = 90 + x. Is j bigger than 1?
True
Let r be (-4)/12 - 32/3. Let f(t) = 2*t**3 + 144*t**2 - t - 81. Let g be f(-72). Is g not equal to r?
True
Let t = 332 + -333. Which is bigger: -3/365 or t?
-3/365
Let d = 832 - 830. Is d greater than 9/11?
True
Let x be 11 - 114/10 - 6144/(-110). Is 55 >= x?
False
Let n be (4/8)/((-4)/(-192)). Let d = n - 21. Suppose p + d*p = 4. Which is smaller: p or -1/3?
-1/3
Let w be (3 + (1 - 1))*(-88)/132. Is -1/212 smaller than w?
False
Let c = -1657494/325 + 5100. Is c less than or equal to -1?
False
Let q = -659 + 727. Which is smaller: q or 66?
66
Suppose -6*q = 4*g - 3*q - 1, 4*q + 8 = -3*g. Suppose -g*d = -2*d - 12. Which is smaller: d or 0.1?
0.1
Suppose -5*q - 3*d - 456 = 0, 27*q - 32*q + 5*d - 480 = 0. Are -93 and q unequal?
False
Let d be 12/(-54) + 40/18. Suppose -3 = -23*j + 20*j. Is d not equal to j?
True
Let o(y) = y**2 + 8*y + 12. Let s be o(-7). Suppose -s*w + 4*w = -4. Suppose w*g = 3*g. Is -1/2 greater than or equal to g?
False
Let r = 10 - 20. Let t be 3/6*0 - 11. Is t greater than r?
False
Let h = -356 + 331. Which is smaller: -15 or h?
h
Let g = 1.05 - 2.05. Let s = -16.4 + 15. Which is greater: s or g?
g
Let j be (0 + -1)*-1 + -12. Let y(h) = 2*h**2 + 27*h - 37. Let z be y(-15). Let p = j + z. Is p less than -1?
True
Let a(b) = b**2 + 14*b + 15. Let k be a(-13). Let c be (-4 + 48/15)*k/4. Which is smaller: 0.6 or c?
c
Suppose 30*c + 4*c = -4624. Is c >= -135?
False
Suppose 1560 = 149*b - 155*b. Are -264 and b non-equal?
True
Let y = 29.83 - 29.6. Is y < 2?
True
Let g(l) = -4*l - 37. Let f be g(0). Let m = f - -24. Let d(c) = -7*c + 2. Let r be d(2). Is r smaller than m?
False
Suppose -3*h + 5 = 5*v + 2*h, 2 = 3*v + 2*h. Suppose v = 3*d - 7*d - 12. Let l = 9 - 12. Do d and l have the same value?
True
Let b = 27/154 - 11167/65450. Which is bigger: 1 or b?
1
Let x(q) = -q**3 + q**2 + 2*q - 1. Let t = 24 + -23. Let s be x(t). Is 1/66 < s?
True
Let q = 3/958 - 9348/2395. Let n = 63/20 + q. Do -0.6 and n have different values?
True
Let d be (-344)/5 - (-1)/(-5). Let w = d + 346/5. Are 0.17 and w non-equal?
True
Suppose 0 = 4*x - 6 - 2. Let o be (2 - 2) + -1 - -3. Let b be (-4)/(o + x) + 2. Which is smaller: -1/10 or b?
-1/10
Suppose -3*v + 112 = 4*v. Let y(a) = 5*a - 64. Let m be y(v). Is 16 less than or equal to m?
True
Let y = 2 - 2. Let x(p) = -p**3 - 8*p**2 - 8*p - 5. Let s be x(-7). Suppose -s*b + 0 = -4. Is y less than b?
True
Let l(y) = 2*y - 1. Let a be l(2). Suppose 0 = -4*p - 7*q + 2*q + 7, -5*p - a*q = 1. Is -4 at most p?
True
Let x = -69.2 - -69.3. Which is smaller: 148 or x?
x
Let y be (-396)/54 + 2/6. Let l be ((-20)/y)/(56/196). Is 11 < l?
False
Let u = -3395 - -6140. Let c be 2727/u + (-2 - -1). Which is smaller: c or -1?
-1
Let t = -4.65 - -2.2. Let p = t - -2.8. Let s = 11.65 + p. Which is greater: -2 or s?
s
Suppose 0 = -21*t + 19*t - 264. Which is smaller: t or 1/4?
t
Let y = 9.05 + -9.11. Which is greater: y or 0.11?
0.11
Let h = -27 + 17. Let z(r) = r + 11. Let l be z(h). Which is bigger: l or 0?
l
Let b = 424 + -423.8. Ar