e
Let y = 12 - 18. Suppose 43 = 10*b + 13. Let r be ((-6)/(-4)*1)/(b/(-4)). Are y and r non-equal?
True
Suppose 96*k = 32*k - 1088. Is -31/2 > k?
True
Suppose 4 = 2*v - 5*t + 3*t, 0 = -3*t - 9. Which is smaller: -3 or v?
-3
Let c be ((-2097)/27 - 11)*(2 - 5). Is c at most 531/2?
False
Suppose 3*n + u = -51, n + u - 1 = -16. Let t be (n/15)/((-6)/9). Which is bigger: 3 or t?
3
Let h be 8 + 4290/4300 + -9. Is h at least 0?
False
Let m(w) = -5*w + 8. Let o be m(2). Is -43/38 < o?
False
Let q = 29 - 6. Let d = q - 16. Let t = d - 7. Is 1/2 greater than t?
True
Let j = 1/624 - -96701/11856. Which is greater: j or 7?
j
Let m = 219 - 221. Is m greater than 5?
False
Suppose 20 + 0 = -t. Let k be 5/t - 194/(-8). Suppose 5*m + k = 4*r, 5*r + m = 2*m + 9. Which is smaller: r or 6/7?
6/7
Let j = 407 + -388. Let b(f) = 2*f**2 - 4*f + 2. Let a be b(4). Is j >= a?
True
Let q = -462 + 624. Which is bigger: q or 6?
q
Let v = -5 - -8. Suppose 40*n = 95 + 105. Is n less than or equal to v?
False
Let i be (-2)/6*9/336. Let d = 16411 - 1838073/112. Let a = i + d. Is 0 less than a?
False
Let p = 13 - -2. Let d = p + -8. Which is smaller: d or 5?
5
Let k = 522 - 524. Is -20/9 less than k?
True
Let x = 3.73 + -2.73. Which is bigger: x or -8.1?
x
Let z be (2/(-14))/((-1)/1101). Let q(x) = 79*x - 1. Let h be q(2). Let g = z - h. Do 2 and g have the same value?
False
Suppose -3*g - 5 - 82 = 0. Let s = 53 + g. Which is greater: 25 or s?
25
Let n = -171498 + 854406/5. Let y = 608 + n. Which is bigger: y or -9?
y
Let y(t) = t - 1. Let g be y(5). Let i be g/14 - ((-239)/(-28) + -9). Does i = 0?
False
Let t(o) = -o**3 - 4*o**2 + 6*o - 3. Let m be t(-6). Let h = m + -59. Let f = -21 - h. Is f > 9/2?
True
Let n be (292/8 + 4)*-2. Let c = 83 + n. Do 11/6 and c have different values?
True
Suppose 0 = 14*a + 2013 + 1403. Is a at most -243?
True
Suppose 0 = -5*b - 2*b - 7. Let m be b/(2/(-4)*-26). Which is smaller: m or 2/7?
m
Let n = -81 + 3164/39. Let z = -134/1079 + n. Let c = 274/6225 - z. Is c greater than -1?
True
Let y be (1 + -3)*(-3)/2. Suppose 0 = 110*c + 189 + 31. Is y less than or equal to c?
False
Let t(x) = -x**2 + 1. Let f(w) = 4*w**2 - 3. Let c(v) = f(v) + 5*t(v). Let y be c(-2). Let o be (-3150)/(-270) - 1*13. Which is greater: o or y?
o
Suppose -z = 5*n - 13, -2*n + 10 = 2*z - 0*z. Suppose -w + 3*w - 3*r + n = 0, 5 = -5*w + 3*r. Let p be 2/1*w/5. Is -1 greater than or equal to p?
False
Suppose 2*n = -n + 54. Let k = 6 - n. Let i = k - -11. Is -3 bigger than i?
False
Suppose -s = 4*q - q + 532, -q - 174 = 2*s. Are q and -180 nonequal?
True
Let m be (-9 - -20)*10/376*2. Let w = m - 4/47. Which is bigger: w or -54?
w
Let b = 19 - 22. Let o be 20/(-6)*(-6)/5. Let f = b + o. Is 1/12 >= f?
False
Let g = -1 - -4. Let c = 4 - g. Let w = 8698 - 8695. Which is smaller: w or c?
c
Let x = -8.84 + 9. Let v = -4226 - -4225.9. Which is smaller: x or v?
v
Let d(a) = -a**3 + 12*a**2 + 10*a - 12. Let n be d(13). Let g = n - -457/9. Which is smaller: g or 1?
g
Let n be (-1)/(-6) + 489/198. Is 3 greater than n?
True
Suppose -12*o = -9*o - 132. Suppose 4*s + o = 204. Is -2/5 smaller than s?
True
Let s be 6/(-15)*(4 + -9). Which is bigger: 22/13 or s?
s
Let u = -321 + 8669/27. Suppose -3*x - 8 = -5. Is x greater than u?
False
Let g be (-1 + (-4)/(-3))*(2 + -3). Let d = 0.2 + 1.8. Which is smaller: d or g?
g
Let n(t) = -t**3 - 12*t**2 - 32*t - 3. Let q be n(-8). Which is smaller: -49/13 or q?
-49/13
Let j(o) = o**3 - 6*o**2 + 5*o - 3. Let i be j(3). Let d = 39 + i. Suppose 3*a - 4 - 8 = -3*f, -a = -3*f - d. Which is smaller: 8 or a?
8
Let n = 313/78 + -25/6. Let i be (-1)/(-3) - (-2)/(-6). Which is greater: i or n?
i
Let c be 3/44 + (-1)/4. Let i = -14215 - -14215. Which is greater: c or i?
i
Suppose -3*l + 5*i + 4190 = 0, -2*l - 3*i = -4220 + 1414. Suppose -4*s + l + 0 = 0. Let a = s + -4546/13. Is a smaller than 0?
False
Let x(d) = -4*d - 1 - 4*d**2 + 9*d + 5*d**2. Let y be x(-6). Let u(r) = 2*r**2 + 33*r - 50. Let l be u(-18). Which is greater: y or l?
y
Let z = -694/305 - -643101/2135. Let v = z - 299. Let y = 6 + -5. Is y at most as big as v?
False
Let u(f) = f**3 + 3*f**2 - 4. Suppose 8 = -2*m + 4. Let y be u(m). Is -1/31 at most as big as y?
True
Suppose 3*w = 3*p - 78, -36*p + 72 = -2*w - 39*p. Suppose -5*j + j = 5*o + 153, -3*j = 6. Which is smaller: w or o?
w
Let z be 1818/63 - ((-4)/7)/4. Do z and 32 have the same value?
False
Let m = -1.4 - 45.6. Let f = -47.19 - m. Is -0.1 at least f?
True
Let g be 1*6/(-2) + 5 + 0. Suppose -2*u + 30 = -n, -2*n - 44 = -u - g*u. Is u at least as big as 13?
True
Let s be (-1)/(-11)*-3*1. Let t = s - -38/99. Let p = 445 - 446. Which is greater: p or t?
t
Let w(j) = -5*j + 17. Let v be w(-2). Let p be (-294)/v - 1/9. Is -78/7 > p?
False
Suppose 4*h - 8*h - 4 = 0. Let l = h - -17. Let u be 1/(-4) - (-4)/l. Which is greater: u or 1/16?
1/16
Suppose 4 = s + 3*s. Let j = 0 - -2.8. Let m = -5.8 + j. Which is bigger: m or s?
s
Let n(z) = 3*z**2 - 4*z + 2. Let i be n(2). Let g be i/14 - 13388/(-56). Let s = g - 244. Which is smaller: s or -6?
-6
Let i = -43 - -46.6. Let h = i - 5.6. Let j = -10 + 9.7. Which is bigger: j or h?
j
Let o = 1087/3696 + -10/33. Which is greater: 1 or o?
1
Suppose -3*r + 2*r - 465 = 2*l, 0 = 2*r + 2*l + 928. Are -459 and r nonequal?
True
Suppose -5*x = -3*x - 10. Let w(r) = 8*r - 15. Let k(a) = 10*a - 15. Let p(b) = 2*k(b) - 3*w(b). Let n be p(4). Is x != n?
True
Suppose -u + 0*u = -4. Let q be -2*-1*2/u. Let y = -503/3 + 169. Is y != q?
True
Let g = 159/2 - 331/6. Which is bigger: g or 25?
25
Let k be (7/21)/(2/30). Suppose -4*b - 19 = -y, k*y + 28 - 3 = -4*b. Is y bigger than -2?
True
Let t = 63.64 + 0.36. Let v = t - 63. Which is greater: -5/7 or v?
v
Let q be (12 + -17)/((-5)/(-2)). Is -1 greater than or equal to q?
True
Let s(i) = i**3 - 3*i**2 + 2*i - 1. Let c be s(2). Let y be -5 + 7194/980 - 3/2. Let d = 2/49 - y. Which is greater: d or c?
d
Let f = 35 + -30. Suppose -2*x - 1 = -5*m, -f*m = 3*x - 45 - 16. Let p be (-9)/x*(-32)/(-36). Which is smaller: p or -6/7?
-6/7
Let a be (18/8)/(2/8). Suppose -4*b - 3*k + 28 = 0, 3*b - 4*k + 14 = 60. Suppose a*g = b*g. Is g <= -10/7?
False
Suppose 4 = -3*x + 16. Suppose 0*n = 2*g - 2*n + 4, -x*g - 5*n = -1. Is g bigger than -10/7?
True
Let g be ((-3)/2)/((-3)/(-6)). Let t be (-6)/(-9)*g/2. Let k be (-1)/(3/(3/t)). Is k less than 3/4?
False
Let d be ((-1)/(-1))/(-1) - (-7680)/60. Is d at most as big as 126?
False
Let y = 36 - 37. Let i be 1*(y + 1) - -1. Which is greater: i or 11/8?
11/8
Let x = 35 - 5. Let o = -4 + x. Is o greater than 26?
False
Suppose 44 = n + n. Suppose -n*m + 18*m - 4 = 0. Do m and -1/2 have the same value?
False
Let h = 99 + -86. Let o = -2 + 1.6. Let j = o + 0.5. Is j <= h?
True
Suppose 0*g - 2*g = -10. Let d be ((-105)/(-70))/(2*(-6)/(-32)). Is g at least as big as d?
True
Suppose -125 = -7*x - 18*x. Which is smaller: x or -0.044?
-0.044
Suppose 41 = 6*b + 5. Let z(p) = p**3 + 4*p**2 - p - 3. Let k be z(-3). Suppose -k = w - b. Which is smaller: w or -8/3?
w
Suppose -j - 14 = 2*j - 5*x, -12 = 4*j - 5*x. Suppose -2*w - 16 - j = -o, -3*w + 17 = 4*o. Let c be (3/4)/(7/o). Which is smaller: c or 1?
c
Suppose -3*y = -5*p - 9, -6 = -2*p - 5*y + 9. Let i = 2953/9 + -329. Is i at least p?
False
Let z = 60.946 - -0.054. Let b = z - 59. Suppose -15 - 9 = -4*x. Which is greater: x or b?
x
Suppose i + 2*p + 345 = 0, -2*i = p - 358 + 1045. Which is smaller: -347 or i?
-347
Let l(p) = 50*p - 211. Let f be l(21). Which is greater: f or 840?
840
Let x = 229 + -211. Which is smaller: x or 17?
17
Suppose 0 = -4*s + 3*l + l + 16, -5*s - 3*l = -4. Suppose j - 2 + 9 = -s*m, -m - j = 6. Do -24/17 and m have the same value?
False
Let b = -4.05 + 4.55. Is b at least -67?
True
Let r = -402 + 474. Is r at most 145/2?
True
Let v = -7 + 18. Suppose -2*c + v + 7 = 0. Suppose c*w = 3*w. Is w greater than -3/11?
True
Suppose 3*g = 3, -a + g + 3*g - 173 = 0. Let v = 170 + a. Which is greater: v or 6/25?
v
Let j(m) = m**3 - 2*m**2 - 44*m + 188. Let a be j(5). Which is bigger: 397/9 or a?
397/9
Let r = -810 + 931. Which is smaller: r or 118?
118
Let l = 27 - 30. Let x be ((-22)/4)/(-3*l/18). Is -29/3 equal to x?
False
Let o(x) = -8*x + 16. Let l be o(3). Let z = l + 6. Let f = -6 - 