9 + -25. Let x(i) = o*b(i) + q(i). Let a be x(8). Are a and 2/9 non-equal?
True
Let t(k) = -4*k**2 + 19*k. Let u be t(12). Let w be u/(-44) + -3 + -4. Is 2 smaller than w?
False
Let u be (-13029)/645 - 10/2. Which is bigger: -26 or u?
u
Let u be (-3)/(-9) + 70/6. Suppose 3*b = 4*a + 34, 0 = -b - a + 6 + 3. Is b not equal to u?
True
Let k = -168 - -2531/15. Which is bigger: 0 or k?
k
Suppose -747*n + 761*n = 3122. Which is bigger: 2 or n?
n
Let b be 4*1724/1872 + (-6)/27. Do b and 4 have different values?
True
Suppose -2938 = 2*p - 874. Let y be p/(-30) - 2/5. Does y = 35?
False
Let a = 13689/20 + -4116/5. Is a less than or equal to -140?
False
Let u(d) = 1 - 2 + 21*d - 20*d + 20*d**2. Let q be u(1). Let o be (2/4)/(q/(-12)). Which is greater: o or 0?
0
Let a = 32 + 1. Let j be (-2)/(-8) + a/(-4). Let i be 68/(-18) + j/36. Does 0 = i?
False
Let v(j) = 3*j + 29. Let m be v(-18). Let w be (-10)/m + (-24)/110*1. Is w bigger than 2/5?
False
Let y be 6/14 + 1476/378. Let g(x) = -x**3 - 5*x**2 + 5*x - 4. Let p be g(-6). Suppose 3*s - 3*v + 6 = 0, 1 = 5*s - p*v - 4. Which is bigger: y or s?
y
Let x = 0.077 - 82.077. Let i = -49 - x. Let l = i + -32.8. Is -0.6 less than l?
True
Let l be 172 - (3 + 1 + 0). Suppose -u = -4*q - q + 48, 5*u - q = -l. Which is smaller: -34 or u?
-34
Suppose -6*k - 147 - 369 = 0. Which is smaller: k or -259/3?
-259/3
Suppose 5*f + 2*l + 3 = 0, 2*l = -2*f - 3 - 3. Suppose 0 = 4*t + f - 13. Suppose 10 = -u + 3*u. Is u greater than or equal to t?
True
Let a be (3 + 42/(-8))*160/12. Which is smaller: a or -29?
a
Let n = 47 - 23. Let i = -25 + n. Is i greater than or equal to -2/13?
False
Let v = 0.48 - -0.81. Let l = 1291 - 1291.29. Let t = v + l. Which is smaller: -2 or t?
-2
Let q be -2 - 90/(-12)*6/5. Suppose 0 = -3*h - 4 + q. Is 13 < h?
False
Suppose 2*o + l = 9, 0 = o - 3*l + 3 + 10. Suppose o*d = 7*d + 10. Let k be (d/3)/(14/(-21)). Are k and 3/2 equal?
False
Let h(y) = 36*y - 73. Let i be h(2). Which is smaller: 7/79 or i?
i
Let o be (-185)/(-65) - 3 - (-2247)/(-13). Let y = o + 139. Is y less than -34?
False
Suppose 0 = -5*b + 9*b - 164. Let s be 12/((-2)/(60/(-9))). Which is smaller: b or s?
s
Suppose 0 = 2*p - 4*m + 36, -4*p + 2*m = -2*p + 26. Let h = 111 + -195. Let r be (p/h)/(3/(-9)). Which is greater: r or 0?
0
Let m = -681/7249 + 2/659. Which is smaller: m or 1/11?
m
Let v be (8 + -12 + 47)*-1. Is v at most -48?
False
Suppose -4*m - 30 = -10*m. Which is smaller: 50/9 or m?
m
Let x(t) = t**2 - 12*t + 18. Let s be x(12). Let a(o) = o**2 + 6*o + 1. Let i be a(-7). Let n be (-45)/s*i/(-10). Is n <= 3/2?
False
Let i = -127 - -176. Which is smaller: i or 45?
45
Let v = 0 - -4. Let i(g) = v*g - 2*g - 2 + 1. Let t be i(0). Which is bigger: 2/19 or t?
2/19
Let y(t) = -17*t + 105. Let l be y(8). Are l and -6 unequal?
True
Let k(l) = 3*l**2 - 7*l + 6. Let p(y) = -8*y**2 + 21*y - 17. Let r(z) = -11*k(z) - 4*p(z). Let s be r(-8). Let a be 0 - ((-40)/12)/5. Does a = s?
False
Suppose -i - 8 = -3*i. Suppose a = i*a + 12. Let t be a/8 + (-4)/(-8). Is t bigger than -2?
True
Let n be (-1452)/(-16) - (5 - 85/20). Which is smaller: n or 87?
87
Let g(p) = -p**3 + 23*p**2 - 3*p + 41. Let o be g(23). Let j be o/36 - (-4)/(-18). Do -2/113 and j have different values?
True
Suppose 0 = -6*g - 14 + 20. Which is smaller: -1/79 or g?
-1/79
Let f be 2/(-2) + 3 - 8. Let s be f/(-12)*16/(-14). Do -2 and s have different values?
True
Suppose 3*c + 21 = -3*r, -3*r = 5*c - 5*r + 49. Let b be (6/c)/(8/6). Which is smaller: 40 or b?
b
Let z(a) = 2*a**2 + 32*a + 12. Let y(k) = 3*k**2 + 48*k + 18. Let f(s) = -5*y(s) + 8*z(s). Let d be f(-15). Is -8 > d?
True
Suppose -2*g - 7 = -2*p + 3, 0 = -3*p + 2*g + 11. Which is smaller: p or -1.62?
-1.62
Let c be ((-20)/(-15))/(1/(-36)). Let r = c - -29. Let w = -136 + 116. Is w at most as big as r?
True
Let z be (-46)/90 + (-10)/(-25). Let f = -2 + -9. Let a(d) = 2*d + 23. Let s be a(f). Are z and s equal?
False
Let a = 3514 - 565750/161. Let u be (-192)/207 - (-2)/3. Let x = a - u. Which is bigger: x or 1?
1
Suppose 0 = -2*t + 4 - 2. Let n = -2/167 + -467/2839. Is t less than n?
False
Suppose f = q + 2, f + q = -f + 1. Is 1/87 less than f?
True
Let s = -275 - -339. Which is greater: 60 or s?
s
Let g = 1 + 0. Suppose 16*l - 175 = 9*l. Suppose 12 = -19*c + l*c. Which is smaller: c or g?
g
Let m = 0.032 + -5.932. Let o = m - 3.1. Which is smaller: o or 2/5?
o
Let z = -3 + 5. Let n be ((-1)/z)/((-8)/(-112)). Suppose -13*i = -15*i. Is n >= i?
False
Let t be 4 + 4*(-3)/(-6). Let h be (-35)/210*(-1 - (-68)/(-2)). Is t bigger than h?
True
Let z = -141253138277/21298358724 + -2/43289347. Let f = z - -79/12. Which is greater: f or -1?
f
Suppose 5*k - 16 = 2*x + 19, 3*x = -2*k - 5. Suppose -17*p + 314 = -19*p. Let l = 157 + p. Is l at most x?
False
Let k = 54 - 24. Let b = -30 + k. Let x = -2 - -2.01. Which is smaller: b or x?
b
Let h be 2 - (-2*3)/3. Let c(v) = 2*v - 14 - 2 + h. Let s be c(8). Is s at most 4?
True
Let w = 2.2 + -3.2. Let p = 8.94 - -0.06. Let r = p + -13. Which is smaller: r or w?
r
Let i be 174/15 - (-6)/15. Let b = i + -13. Let y be (6 - (-1 - b))*-1. Is -5 less than or equal to y?
False
Suppose -5*n + 185 = -10*n. Let g = n + 49. Do g and 11 have different values?
True
Let u be ((-28)/(-21))/(136/12). Let z(s) = -s**2 + 2*s + 3. Let k be z(3). Is k >= u?
False
Let y be (-524)/(-704) + 2/(-11). Let x = -79/112 + y. Is 0.1 at least x?
True
Let v be (-6)/24 + (-7)/4. Let n = 28 + v. Let h = n - 16. Which is greater: h or 11?
11
Let j be -3 - -6 - (0 + 76 + 1). Let d = -521/7 - j. Which is bigger: 1 or d?
1
Let a = 30/7 - 349/70. Suppose -2*r - 4*o - 12 = 0, 2*r + o = -4*o - 15. Are r and a equal?
False
Let s = 275 - 8523/31. Which is smaller: s or -1?
-1
Let h be (-4)/74 + 94752/(-777). Which is smaller: h or -121?
h
Let s be (4 + 28/(-8))*29 - -3. Let b = -139/8 + s. Does b = -10?
False
Let l be 2 + 1 + 903/(-303). Let t = 26 - 8. Let d be (0 + 0)/(t - 14). Is l >= d?
True
Let u = -32 - -31. Let a be (u - -6) + (0 - 0). Suppose 25 = -2*i + 5*o - 0*o, 25 = 2*i + a*o. Which is greater: i or -33?
i
Let d(v) = v - 4. Let w be d(4). Suppose -4*n = -0*q - 5*q - 53, w = n + q - 2. Which is greater: n or 9?
9
Let i = -952 - -12364/13. Let b = 161 - 17. Let t = 142 - b. Is i greater than t?
True
Let d = 23 - 24. Suppose -4*r + 4 = -12. Suppose -y + r*w + w = 0, w = 3*y. Which is smaller: y or d?
d
Let n = -458 - -470. Let t = 293 + -304.9. Let h = t + n. Is h smaller than 0.3?
True
Suppose -4*p + 62 = 3*k, 0 = -6*p + p + 5*k + 60. Suppose -4*w + 23 + 37 = 0. Is w > p?
True
Suppose 4*r - 1 = -5*q - 19, -5*q = -2*r + 6. Is -3 < r?
True
Let k be 10*(-9)/270 + (1 - 1). Let g be (-4)/(-96)*(-3)/7. Which is bigger: g or k?
g
Let q = 14 + 5. Let w be (156/(-8))/((-123)/q) - 3. Which is bigger: -1 or w?
w
Let f be 3/(-201)*186 - -2. Which is smaller: f or -2/5?
f
Let x(o) = o**2 - 3*o - 2. Let g be x(-4). Let b = -25 + g. Is 11/6 at most b?
False
Let h = -3.53 + -0.47. Is h equal to 89?
False
Let w be 57/21 - (-2)/7. Suppose -w*a + 15 = 18. Is a equal to 3/13?
False
Suppose -4*m + 124 = -d, -18 = -4*d - 2. Which is greater: m or 2?
m
Let i = -174 + 174. Suppose 2*g + 2 = -4*q, 0*q + 1 = 4*q + 3*g. Let u be (1 + 0)/(-3 - q). Is i less than or equal to u?
False
Let x = 8.7 - 1.7. Let d = 36 - 36. Is x > d?
True
Let r be 2/(((-336)/(-35))/(-4)). Do r and -0.1 have different values?
True
Let s(z) = -7*z**3 - z**2 + 6*z + 3. Let u be s(-2). Which is bigger: u or 41?
u
Let p = -1805/17 - -106. Let q = 27/136 - p. Suppose 0 = 4*f - 20, 2*f = -2*k - 0*f + 10. Is q < k?
False
Let b = 25.966 + -26. Let j = b + 0.134. Let p = 24 + -16. Do p and j have different values?
True
Let p = -49 - -109. Let i = 59.8 - p. Which is smaller: i or -4/15?
-4/15
Suppose 0*p = -11*p + 2*p. Suppose 0 - 56 = -5*r - x, p = r + 4*x + 4. Is 9 at most r?
True
Let m = -3 + 1. Let k = m - -2.1. Let h be ((-1)/11)/(2/(-4)). Which is bigger: k or h?
h
Let r = 1 + -0.9. Let s = -164 + 192. Is s <= r?
False
Let g = -712 + 23402/33. Is -4 greater than or equal to g?
False
Suppose -4*t - i + 127 = 0, 3*i + 131 = -0*t + 4*t. Suppose -13*g - t = -5*g. Is g greater than -3?
False
Let h be -2 - (771 + 2/2). Let z be -3 + 5253/h*1. Let s = -59/6 - z. Which is sma