+ -7 + 3. Let u = j - x. Are 1/25 and u nonequal?
True
Let b = -394 - -6696/17. Let c(x) = -x**2. Let y(l) = l**3 + 3*l**2 + l - 3. Let q be y(-2). Let p be c(q). Is p less than b?
True
Suppose 0 = -25*b + 16*b - 3582. Let n = -397 - b. Are n and 2/637 unequal?
True
Let k be (-2 - 77/3) + (-3)/9. Let i = 28 + k. Let b = 269 + -5648/21. Is b < i?
False
Let t = 89116.813 - 89117. Let b be (18/8 - 0) + -2. Is b at most as big as t?
False
Let t be 1/4*14*24/21. Let b be (t/(-6))/((-688)/138 + 5). Let s = b + 1611/35. Is -1 equal to s?
False
Let a be (-540)/(-144)*40/(-1745). Which is smaller: 0 or a?
a
Let n be (-5)/((-200)/(-15)) + (-357)/136. Is n at least as big as -115/43?
False
Suppose -4*l = 5*a + 1194, a - 1186 = 4*l + 2*a. Is -296 at least as big as l?
True
Let d be (-16)/6*(-1)/(-4)*-6. Suppose 3*x + 4*y = -4, 0*x = x + 2*y + d. Suppose t - x = 3*t. Is t at most -2?
True
Let d = 1/4789 - -4519/1293030. Which is greater: d or 3/2?
3/2
Let l = 101005/9361 + 24/851. Let w = l - 1505/132. Is w at least as big as -2?
True
Let w = 89 - 47. Let v = -40.856 + -0.144. Let o = w + v. Is o greater than -18?
True
Let j = -5 + 437. Let o = j - 432.5. Is 43 greater than or equal to o?
True
Let l = -3/124 - 339/1364. Let g(b) = b**2 - 13*b + 51. Let y be g(8). Suppose 5*f = 4*s - 12, 0 = y*s - 7*s - 12. Is l at most as big as f?
True
Let m = 23285 - 23286. Is -1.724 bigger than m?
False
Suppose 123868 + 52523 = -27*z. Let p = -267871/41 - z. Is 0 not equal to p?
True
Let l = -1044 + 1005. Is l > 20?
False
Let r be (-3*(-10 - (-728)/72))/(1028/(-18)). Which is greater: r or -4?
r
Suppose 0 = 40*k + 170*k + 125*k - 2094420. Is k not equal to 6252?
False
Suppose -5*f + 5*y - 20 = 0, -2*y + 45 = 37. Which is smaller: 5/2537 or f?
f
Let r be 16/6*(-18)/(-8). Let q be 2/(527/372 - (-6)/(-8)). Suppose -q*n + r*n = 9. Which is bigger: n or 1?
n
Let b = -26 - -29.46. Let q = b + -3.46. Which is bigger: q or -13?
q
Let c = 2.4 - 52.4. Let z = -50.31 - c. Let x = z + 0.11. Which is smaller: x or -7/5?
-7/5
Let m = 538218 - 7178213462/13337. Are m and 1 unequal?
True
Suppose 0 = 5*n - 10*n + 4*o - 35, 5*n + 2*o + 5 = 0. Let a be 496/160 - 1/10. Suppose 7 + 5 = a*h, 5*h - 4 = -4*i. Which is smaller: i or n?
i
Let i(f) = 12*f**3 - 45*f**2 - 5*f + 17. Let o be i(2). Is o at least -531/7?
False
Let o(n) = n**2 + 4*n - 4. Let m be o(-5). Let h = 6.76 - 0.66. Let p = -22.1 + h. Does p = m?
False
Let o = 4/6933 + -97306/422913. Which is smaller: -1 or o?
-1
Let q(t) = t**2 + 3*t + 9. Let v be q(-2). Let k be v + 3/(-3) + -3. Suppose 78 = k*i - 3. Is i >= 27?
True
Let v be 33 + 4 - (-313 + 349). Suppose 755 = 2*d + 2409. Is v <= d?
False
Let g(y) = y**3 + 4*y**2 - 18*y - 35. Let k be g(-6). Is 13/334 at least k?
False
Let h(p) be the first derivative of -p**4/4 + 14*p**3/3 - 21*p**2 - 6*p - 105. Let n be h(8). Does 22 = n?
False
Let l(m) = m**3 + 9*m**2 + 25*m + 61. Let b be l(-7). Let s be (-5)/(-10)*(2 + b). Let f = -3 + 1. Which is bigger: f or s?
f
Let a = 240 + -93. Let h = -938 + 939. Do h and a have different values?
True
Let v = 55.9 + -53. Let j = v + -3. Let a = -2771 - -2770.993. Which is bigger: a or j?
a
Suppose -3*u - 5 = -9*u - 35. Is -236/39 less than u?
True
Let l be 16/(-56) + -2*1/(-7). Suppose -4*d + 0*h - 111 = 3*h, l = -5*d + 2*h - 110. Is -26 <= d?
True
Let f = 1193 - 588. Let i = f - 617. Do i and 5 have the same value?
False
Let j(r) = r + 3. Let u be j(-4). Let q be 77478/814 + 8*1. Let o = q - 103. Are o and u equal?
False
Let c = -448/3 + 149. Let u be 4 + (-516)/56 + (-15)/(-6). Which is bigger: c or u?
c
Let u = 19019/176559297 - -3/21709. Which is smaller: u or 0?
0
Let i be 200/(-16)*(-20)/25. Let g be -1*(0 - 3) - 64/i. Let r be (1 - -2)/((-42)/(-4)). Is r smaller than g?
False
Suppose 4*v - 16 = -2*p, -3*p + 2 = -v - 2*p. Suppose -4 = v*t - 8. Let l = 258 + -258. Which is smaller: t or l?
l
Suppose 30 = 5*r, 5*x + 136*r = 140*r + 6. Which is smaller: -312 or x?
-312
Let c = 3576 + -2525. Which is smaller: 0 or c?
0
Suppose -18 = -2*a - 4*y, 7 = 57*a - 56*a + 4*y. Let r be a/(-132) - (-6)/(-18). Is -1 > r?
False
Let c be 67188/(-32) + 3 - (-264)/(-704). Which is smaller: c or -2100?
-2100
Suppose -h + 2*h + 3 = t, -131*t = -129*t + 26. Let q = -21 - 0. Which is smaller: h or q?
q
Let p = -704 + 694. Let k be ((-4)/p)/(184/(-10396)). Are k and -22 equal?
False
Let b = -78 + 112. Let v(l) = -l**2 + l + 1. Let f(j) = -20*j - 15. Let r(h) = f(h) + v(h). Let x be r(-16). Is b bigger than x?
False
Let d = -0.048 + 7.848. Let m = -8 + d. Let h(x) = -4*x + 8. Let c be h(1). Which is greater: c or m?
c
Let z = -3540 - -3695. Which is smaller: z or 154?
154
Let j(a) = 1847*a + 1596. Let m be j(-1). Is -275 at most as big as m?
True
Let m be -2*((-4)/8 - 0) + -4. Let p be 6/m + 4 + 0. Let i be (-14)/(-35) + p/10*-2. Which is smaller: -4/45 or i?
-4/45
Let o be (-3222)/2506 - 178/14. Let l = 0.8 + -0.7. Are l and o non-equal?
True
Let z(x) = -2*x**3 + 23*x**2 - 41*x - 36. Let b be z(9). Which is bigger: b or -791?
b
Let l = -135.32 - -135. Let i = l - 2.68. Let u = -9 + 8. Which is smaller: u or i?
i
Let n = 18 + -74. Let i = 56 + n. Let r = -3923/20 + 781/4. Which is smaller: r or i?
r
Let i be (-1 - 0)*2/(-7). Which is greater: 2126 or i?
2126
Let j = 36241637/400 - 90604. Are j and 1 nonequal?
True
Let p = -0.064 + -0.111. Let h = p - 153.825. Is h at least as big as -2/7?
False
Suppose 0*o - 4*o - 3*g = 10, 3*o + 4 = -4*g. Let v be o/(-18) - (-654)/(-27). Let d = 25 + v. Is -3/14 bigger than d?
False
Suppose -4*o = 3*j + 83, -o = -2*j - 25 - 45. Let n = j - -51. Let b be (-23)/1*(4 - n/4). Which is smaller: b or 11?
11
Suppose 3*y = -s + 3365, 0 = 6*y - 4*y + 2*s - 2250. Let j be ((-2)/15 - y/(-6150))/7. Which is greater: j or 0?
j
Let p(x) = 54*x - 9. Let q be p(1). Let f = q + -34. Is f at most 9?
False
Let m = -9 + 13. Let z be (-3)/186*-36421 - m/(-8). Let j = z - 588. Is j not equal to 1?
True
Suppose -25 = -5*x + 7*r - 3*r, -5*r = 4*x - 20. Let t = 26 - 21. Is t greater than or equal to x?
True
Let g = 2.6376 - 1862.6376. Which is smaller: g or 2?
g
Suppose -p + 5 = 2, -55 = 4*a + 3*p. Let s be (-2)/a - 10/(-48). Which is smaller: 1.66 or s?
s
Let g = 1428 - 1427.9093. Let d = 5.0907 - g. Which is bigger: -0.03 or d?
d
Let k(o) = -3*o**2 + 8*o - 7. Let b be k(5). Let p = 48 + b. Suppose -22 = 8*g - p*g. Is g at most -11?
True
Let o be ((-54)/(-48))/((-6)/(-8))*18. Let z(s) = 27*s**3 + 2*s**2 - 3. Let x be z(1). Is o equal to x?
False
Let o = 303 + 920. Let f = o - 79497/65. Is -1 equal to f?
False
Let k(x) = 337*x - 1825. Let h be k(5). Is -1836/13 not equal to h?
True
Let w = 20454 + -20453. Which is greater: 50/57 or w?
w
Let n be 2463/27 - (-111)/333. Is 93 not equal to n?
True
Let d(n) = n**2 - 4*n. Let j be d(6). Let x(h) be the second derivative of 7*h**3/6 - 36*h**2 - 12*h. Let v be x(j). Which is greater: 14 or v?
14
Let c(a) be the first derivative of a**3/3 + 2*a**2 - 22*a - 56. Let w be c(-7). Is -1/8 > w?
True
Let p = -10082 + 12602497/1250. Which is smaller: 0 or p?
p
Suppose -6 = 9*c - 33. Suppose 0*u + 4*u - 20 = 0. Suppose r = c*x - 92, 120 = 10*x - 5*x + u*r. Which is smaller: 27 or x?
27
Let p be -968*((-180)/16)/9. Suppose w + 907 = 4*w - h, 2*h = 4*w - p. Suppose w = 5*c + 87. Are 43 and c unequal?
False
Let y = 467 - 19156/41. Are -1 and y non-equal?
True
Let a = -1748 - -1637. Does a = -111?
True
Let p be -1*3*-6 + 1/(-4). Let s = 75 - 36. Let k = -20 + s. Which is bigger: p or k?
k
Suppose 0 = -4*c - 2*k - 254, 0 = -c + 4*k - 142 + 56. Let h(j) = -j**2 - 5*j - 1. Let y be h(6). Which is bigger: y or c?
c
Let a be 867*(-3)/9*(-17 - -16). Is a at most 290?
True
Let u = 2325 + -2323. Which is smaller: u or 41/19?
u
Let h(y) = -50*y + 1420. Let c be h(48). Is c at most as big as -980?
True
Let c be (-96)/160 + (2/(-5) - 1525/(-1585)). Which is bigger: c or 1?
1
Let o be -2 - (-78)/(-14) - 28/(-49). Let j = 8.01 + -49.01. Do o and j have different values?
True
Let p = -2/669 - -1432/31443. Is p greater than or equal to 0.3?
False
Suppose 14*u - 13*u = 22. Let w = -19 + u. Suppose 43 = -4*i - w*n, 0 = n + 3 - 6. Do i and -14 have the same value?
False
Let b(a) = 11*a + 28. Let h(i) = 3*i + 1. Let f(j) = 5*b(j) - 20*h(j).