e
Let d be (-2 + 2)/(1 + -4). Let n = -21.64 - -40.5. Let l = n - 19. Is d != l?
True
Let o be (4 + -6)*2/(-4). Suppose 0*f = 5*f - 10. Let b be ((-56)/60)/(f/3). Is o bigger than b?
True
Let r be 70/(-63) - 1/(-9). Let c be 1*(-2)/4 - 35/(-50). Which is smaller: r or c?
r
Suppose -2*u = 5*w - 0*u - 17, 4*u - 9 = -5*w. Is -3 bigger than w?
False
Let t = -31221/56 + 4435/8. Suppose -z - 2*z = 3*f + 21, -3*f = z + 15. Which is bigger: t or f?
t
Let q = -15 - 10. Is -21 smaller than q?
False
Let s = -39 - -69. Let m = 29.89 - s. Which is smaller: -0.2 or m?
-0.2
Suppose -2*o + 18 = -0*o. Let t = -4 + o. Suppose -2*g = 3*g + t. Which is smaller: g or -1/3?
g
Let n be 0 + 0 - (-28)/7. Let y = -4 + n. Which is smaller: y or -1?
-1
Let w = -1256/5 + 252. Suppose -3*o + 0*o = 0. Suppose 4*t + 12 + o = -2*a, 0 = -5*a - 3*t - 9. Which is bigger: w or a?
w
Let d = 2000 - 1970. Is d less than 29?
False
Let u be (3/2)/((-1)/6). Let i = 152 - 161. Is i >= u?
True
Let g be (2 - 3)/(2/12). Suppose -4*q - 20 = 0, -35 + 15 = -t + 3*q. Let n = g + t. Which is smaller: -3/11 or n?
n
Let c(b) = 10*b**2 + b + 3. Let w be c(6). Let m = 242 - w. Let a = 249/2 + m. Do -0.1 and a have the same value?
False
Let b = -0.85 + 2.07. Let y = -1.2 + b. Let t = -2.02 + y. Does t = -1/5?
False
Let p = 45447/47 + -967. Let w = p - -108/329. Which is smaller: 2 or w?
w
Let w(h) = -h**2 + 10*h - 11. Let y be w(7). Let v(s) = s**3 + 3*s**2 + s - 1. Let f be v(-2). Is y at least as big as f?
True
Let s(x) = -x**3 + 20*x**2 - 76*x + 6. Let q be s(5). Do -1/561 and q have different values?
True
Suppose -34 = f - h, 4*h = 3*f + 5 + 93. Let k = f - -37. Let p = -0.1 + 0.1. Which is smaller: k or p?
k
Let i = 0.784 - -0.016. Let r = -1 + i. Which is greater: -38 or r?
r
Let m = 4.6 - 5.1. Let v = -0.01 + 0.61. Let k = v + m. Which is smaller: 0 or k?
0
Suppose 269 = 5*v + 69. Suppose -k + 6*k + v = 0. Let a = -5 - k. Which is bigger: 3/2 or a?
a
Suppose -29*r = -7*r + 3762. Are r and -172 equal?
False
Suppose -2*o + 6*o + 200 = 0. Let l be (0 - 1)*3157/63. Let g = l - o. Which is bigger: 0 or g?
0
Let z be (-8148)/105*2/((-8)/20). Does z = 388?
True
Suppose 2*f = 5*u - f - 64, -50 = -4*u + 3*f. Suppose -3*k = 5*r - 5*k - 62, r - 2*k - u = 0. Which is smaller: r or 16?
r
Let s = 54/5 - 221/20. Let m = -1 + 14. Is m greater than or equal to s?
True
Let v be (6/8)/(-4*15/(-5840)). Which is smaller: v or 77?
v
Suppose -2*m = -i + 6 - 0, -3*i = m - 4. Let t be (-3)/i + (-3)/6. Is t at most as big as -2?
True
Let n be ((-3)/2)/(14/4). Let j be 2/(-8)*2*(168 - 166). Is j <= n?
True
Let m = -0.07 - -11.07. Let u = 50 + -22. Let a = -27 + u. Which is smaller: a or m?
a
Let u = -9 - -26. Let f be (-23)/(-10) - u/34. Which is bigger: 2 or f?
2
Let v be 4 - (-1344)/(-138) - -6. Is -1 > v?
False
Let l be (-20)/4 + (9 - 1). Let j be l/(-1) + 0 - 16/10. Is -4 >= j?
True
Let f be 3/(-3)*0 - -2. Suppose h - 5*y + f = 0, 1 = 4*h - 5*y - 6. Let n be (-5)/(-2) + -5 + h. Is n bigger than -1/3?
True
Let m = 14.8 - -66.2. Let w = m - 82.9. Is w less than 3?
True
Let u be 4/5*6/((-18)/(-165)). Does u = 50?
False
Suppose 0 = m + b - 2*b + 19, 4*b - 20 = 0. Let k = m - -4. Which is smaller: k or -34/3?
-34/3
Let b(i) = i. Let k be b(0). Let z be 72/756*(-3)/(-6). Which is smaller: z or k?
k
Let r = -10.81 - 0.19. Let h = -0.62 + 0.62. Is h not equal to r?
True
Let j = 22 - 24. Let v be ((j - -1)/(-4))/(-1). Does -4/11 = v?
False
Let z be (120/(-50) - -3) + (-13)/5. Let d(n) = -n**2 + n - 11. Let y(u) = -u**2 - 10. Let b(t) = 5*d(t) - 6*y(t). Let s be b(z). Does -1/14 = s?
False
Let f be (-31 - -25) + 98/16. Which is bigger: f or 13?
13
Let p = 18 + -5. Let u = -24.8 + 38. Let a = p - u. Is a less than -1?
False
Let a = -546 - -546.051. Which is greater: a or -4/5?
a
Let a be 27/(-12)*(-384)/(-12). Let g be 24/a - 25/(-3). Is 10 equal to g?
False
Let t(f) = -3*f - 15. Let o be t(0). Let d be 2/(10/o)*6/(-135). Which is bigger: -1 or d?
d
Let m = 26.69 - 26.99. Which is smaller: 0.25 or m?
m
Let w(s) = 0*s + 0*s - 9 - 2*s - 12. Let c be w(-7). Which is bigger: -48/7 or c?
-48/7
Suppose 3*z = -3*c - 0*z + 3, 3*z = -2*c + 6. Which is smaller: c or -17/5?
-17/5
Let n(h) = -h**3 + 15*h**2 + 5*h - 76. Let y be n(15). Let p be -1 - 3/(396/(-265)). Let m = -1/12 - p. Which is smaller: m or y?
m
Suppose 0 = 12*i + 199 + 257. Is -38 at least as big as i?
True
Let l = -3.01 - -14. Let p = 11 - l. Let a = -5/4 - -1/2. Is a at most p?
True
Let v(i) = i**3 + 4*i**2 + 12*i - 52. Let y be v(4). Is y smaller than 122?
False
Suppose -5*w - 2*p = 1295, 5*p + 579 = -2*w + 61. Is w greater than or equal to -0.6?
False
Let y = -3 - 3. Let b = y + 6.1. Are b and 2 unequal?
True
Let k = 18 + -1. Let q = 127 + -126. Is k at most q?
False
Suppose -41*p - 14 = -27*p. Which is smaller: p or -3/131?
p
Suppose 78 = 2*s - 5*s. Let q = -27 - s. Let c(a) = a**2 + 4*a + 4. Let g be c(-2). Is q at least as big as g?
False
Let l = -4989/7 - -713. Let s be -1*(-12 + 0/(-1)). Is s less than or equal to l?
False
Let o = 697 + -697.1. Which is bigger: o or -2/53?
-2/53
Let t be ((-70)/(-64))/(1/76*1). Let m = t - 1661/20. Is -1 at most m?
True
Suppose 8*y = 5*c + 3*y - 15, 0 = 4*c - y - 15. Let v be ((-10)/(-50))/(c/(-190)). Let g(p) = p**3 - 5*p**2 + 3*p - 6. Let x be g(4). Which is smaller: x or v?
x
Suppose d = 2*f, 0 = -3*d - 2*d - 4*f + 14. Let b = -42 - -44. Is d >= b?
True
Suppose -5*d - 2*f - 6 = 0, 2*d + 5*f + 37 = 22. Let t = -9 + 13. Which is smaller: d or t?
d
Let g = 3.98 + -79.98. Is -1/4 bigger than g?
True
Let t be ((-170)/(-4) - 2)*2. Is t less than 84?
True
Let v = 397.97 - 398. Is 0.5 != v?
True
Let a = 44 + -42. Let w = 17 - a. Which is bigger: 16 or w?
16
Suppose -s + 4*u = 13, -3*s - 4*u + 18 + 7 = 0. Let d = 5 - -1. Let h be 3 - d/(-3) - s. Is h <= 4?
True
Suppose -4*m - 2 = 6. Let w be m - (-5 + (-2)/(-1)). Is w <= 1/21?
False
Let s = 714 - 844. Which is greater: s or -132?
s
Suppose 20 = -2*b + 6*b. Let r = -10 + 12. Let w be -1*20*r/(-8). Is w smaller than b?
False
Let q = -11 + 10.9. Which is smaller: q or 25?
q
Let u = -127 - -114. Let o be (-2)/5 - 44/(-10). Suppose 0 = o*y + 41 + 11. Is y greater than or equal to u?
True
Let g(b) = b**3 + 9*b**2 - 6*b - 12. Let f be g(-8). Let s be f/14 + (-6)/42. Is 31/5 smaller than s?
True
Suppose 0 = -9*i + 81 - 18. Suppose -8*n + 20 = -4*n. Are i and n equal?
False
Let i = 209/273 + -8/21. Which is bigger: i or -1/3?
i
Suppose 2*r = -5*q + 38 + 62, 4*q - 108 = 4*r. Let j be 19 - q - 11/(-4). Which is smaller: j or -4/13?
-4/13
Let v(k) = -52*k - 359. Let l be v(-7). Let q be 6/(3/2 + 0). Is l bigger than q?
True
Let w = 683/798 - 3/133. Let x(v) = 6*v - 15. Let j be x(3). Suppose 4*u - u - a = -4, 12 = 4*u + j*a. Does u = w?
False
Suppose t - 205 = -5*s, 3*s + 205 = 8*s - 5*t. Which is smaller: -0.5 or s?
-0.5
Let v be (-4)/(-6)*(-6)/(-4). Let n be -2*(v - (-2)/(-4)). Let q = -124 + 121. Which is bigger: q or n?
n
Let r(x) = 22 - 1 + 2*x + 3*x. Let t be r(-9). Are t and -25 nonequal?
True
Suppose 1 = a - 2*v - 1, 0 = 4*a + 3*v - 8. Let c = 94.9 + 11.1. Let l = c - 105. Is a > l?
True
Let o = 25 - -57. Let s = 81.6 - o. Is s greater than or equal to -1/7?
False
Let b be 4/(-12) - 125/300. Suppose -3*g + 4*k - 7 = 0, 0 = -g - 2*k + 1. Is b < g?
False
Suppose 0 = 2*c + 7 - 1. Let l be 12/27*c/2. Let o(x) = 4*x - 162. Let h be o(40). Are h and l nonequal?
True
Let o(v) = v**3 + 3*v**2 + 2*v + 3. Let t be o(-2). Let k(b) = b**2 - 4*b + 4. Let x be k(t). Suppose -g - 1 = 2*s, 4*g = -4*s - x - 3. Is 0 > s?
False
Let n = 3.52 - 5.7. Let g = n - -0.18. Do g and 1/11 have different values?
True
Let c = -41.967 + 42. Let g = c - 0.033. Which is smaller: -33 or g?
-33
Let u(z) = 2*z**2 + 36*z + 17. Let s be u(4). Is s bigger than 195?
False
Suppose 7 = 8*o - 1. Let k be -5 + o - 88/(-11). Suppose -2*q - 2 = 2, -10 = -3*b + 2*q. Which is smaller: b or k?
b
Let o be -10 + 7 + 0 + 1143/24. Which is greater: 46 or o?
46
Let y be 7 + -8 + (-390)/(-386). Let a = y - 3285/386. Suppose 0 = 2*r + 4*h, 45 = -3*r + 4*h - h. Which is greater: a or r?
a
Let n = -5 + 5. Suppose n = -4*f + 5*a + 13, -5*f + 0*a + 9 = a. Suppose v - 2 = -d, v - f = d + 2. Are d and -3/13 equal?
False
Let w = 13 + 7. Let d = w