 2 = -0, 5*z - a = 4*j. Is z less than -1/3?
False
Let z = 14.6 + -14.8. Which is smaller: -3/35 or z?
z
Let i be 1*(27/15)/(66/(-220)). Which is smaller: i or 0.047?
i
Let t = -3317/9 + 17074/45. Let y = 613072/56765 - 2/11353. Let f = y - t. Is 0 >= f?
True
Let a be 1/(-6) - 225/(-54). Suppose 8*d - 3*d - 75 = 0. Suppose -2*c + d = -3*x, 7 = 5*c + 2*x - 2. Which is smaller: a or c?
c
Let v = -67 + 72. Let q(j) = 2*j**3 - 8*j**2 - 10*j + 1. Let y be q(v). Is y > 1/53?
True
Let n(f) = 4*f + 24. Let v be n(-20). Let c be (3 - v/(-12))*(-6)/4. Is c bigger than 3?
False
Let u = -30 - -34. Let b = u + -3.7. Is 2 less than b?
False
Let l = 70.1 - 71. Let a = -6.9 - l. Do a and 5 have the same value?
False
Let y = -501045/113 + 4434. Let d be -2 + 3/(2373/2239). Let m = d - y. Is 2 smaller than m?
False
Let m be ((-27)/(-12))/(3/64). Suppose 4*z - 4 = 5*j + m, 3*z = 4*j + 40. Let k be (4/z)/((-3)/6). Which is bigger: k or -11?
k
Let z = 11935/3 - 3981. Suppose -1 + 3 = -k. Is z smaller than k?
True
Let j be -3*((-10)/(-115) + 0). Let a be (1 + (-4 - -3))/1. Which is smaller: j or a?
j
Let k(w) = 2*w**2 + 6*w + 1. Let o be k(-3). Let x be 0 + (-31)/32 - -1. Is o greater than or equal to x?
True
Let y = 6 - 3. Let s(o) be the third derivative of -o**4/12 + 7*o**3/6 + 8*o**2 - 2. Let c be s(y). Is c less than or equal to 2/7?
False
Suppose 4*k - k - 4*z + 57 = 0, 5*z + 15 = -2*k. Let b = k - -29. Let y = 134 + -121. Which is greater: b or y?
b
Suppose 7 = -3*i + 19. Suppose -7 = -d - i*v, 8 = -3*d + 4*v - 3. Is d at most 1/4?
True
Let q = -30.3 + 31.3. Which is greater: 39 or q?
39
Let f = 10090/7 - 1446. Is -6 <= f?
True
Let z be (-94)/14 - ((-40)/(-28))/5. Let q be (z/14)/((-2)/4). Is -2/13 greater than or equal to q?
False
Suppose 5*f - l - 4 = 2*l, 0 = 4*f + 4*l - 16. Let s be 3/(54/5)*f. Which is smaller: 0 or s?
0
Let x = 9 + -15. Let v be ((-4)/(-12))/((-3)/63). Let m = v + 3. Is x <= m?
True
Let l = 10 - 9.9. Let x(i) = -i**3 - 13*i**2 - i - 11. Let f be x(-13). Which is greater: f or l?
f
Let w be 12/10 - (-1 + 1). Suppose -3*b + 6*b = 3*y - 42, -4*y + 1 = b. Let o(v) = v**3 + 12*v**2 + 14*v + 33. Let i be o(b). Is i bigger than w?
False
Let v = -2.23 + 0.83. Is v > 8?
False
Let u(a) = a**3 + 6*a**2 - 10*a - 12. Let b be u(-6). Let k = b + -48. Is k greater than 3/5?
False
Suppose 4*u = 2*i + 26, 5*u - 2*i = -7*i + 25. Suppose 3*p - 12 = 4*s, -3*p + 4*s = -u*p + 12. Suppose c + 25 = -p*c. Are c and -5 nonequal?
False
Let d(p) = -24 + p**3 - 13*p**2 + 19*p**2 - 5*p + 9. Let n be d(-6). Which is bigger: 16 or n?
16
Let i be -3 - (-74)/(-4) - (-27)/18. Which is smaller: -11 or i?
i
Let p(m) = m**2 + 14*m + 9. Let l be p(-17). Which is smaller: l or 58?
58
Let g = 142.9 - 154.9. Let u = -51/28 + 11/7. Which is bigger: g or u?
u
Suppose 67 = 5*j - o, 5*o - 1 = 4*j - 42. Let q = 28 + -14. Is q at most as big as j?
True
Let c = -1 + 9. Let h(g) = 1 - c*g + 7*g - 8 - 1. Let i be h(-4). Is -5 equal to i?
False
Let k = -1/128 + 517/640. Let a = -38 + 23. Let n be 1/5*a/6. Which is smaller: k or n?
n
Let w be 120/36*3 + 186. Are w and 196 unequal?
False
Let y = 154 + -164. Let g = -3 - -8. Suppose -g*s + 5*w = 10, -1 + 7 = -5*s + 3*w. Is y at least s?
False
Suppose -106 + 226 = 4*k. Is k greater than or equal to 29?
True
Let u = 8/241 + -16661/964. Which is smaller: u or -16?
u
Let i = -33 - -46. Which is greater: i or 15?
15
Let s be 3/(-2) - 1670/1100*-1. Is -1 not equal to s?
True
Let n = 2040 - 1983. Let k(i) = i**2 - 5*i - 9. Let t be k(-6). Are t and n unequal?
False
Suppose 12 = 21*n - 27*n. Is n less than or equal to 9?
True
Let d(u) = u**2 + 3*u - 4. Let r be d(-3). Let c = 14 + r. Which is smaller: c or 12?
c
Let l = 2542 - 12648/5. Let z = -206/15 + l. Is 0 smaller than z?
False
Let r(v) = 31*v - 559. Let m be r(5). Is -405 <= m?
True
Suppose -5 = 5*v - 2*l, -1 = 2*v - 3*l + 1. Let o = 2 + 0. Let r = o + -1. Which is bigger: v or r?
r
Let k(d) = d**2 + 5*d - 14. Let y be k(-8). Are y and 13 unequal?
True
Let g be 918/170*10/(-3). Which is greater: g or -25?
g
Let n = 3479 - 10648/3. Which is greater: -70 or n?
-70
Let f(u) = u**2 - 6*u - 11. Let k be f(8). Suppose -w + 2*g + 3*g = -20, -5*w = -k*g - 40. Suppose 0*x + 3*x = -2*h + 21, 4*x - 23 = -h. Is x not equal to w?
False
Let u be (1334/5)/((-42)/30). Suppose -3*c = -6*c + 4*k + 566, 3*c - 3*k - 567 = 0. Let q = u + c. Is 2/3 at most q?
False
Let r(z) = z**3 - 7*z**2 - z + 9. Let v be r(7). Suppose -3*k - 43 = -5*f, -4*k + 9*k - v*f + 40 = 0. Let s be ((-1)/3)/(1/(-3)). Which is bigger: k or s?
s
Let w = 4807/13 - 370. Suppose -5*y = v + 9, -y + 0*y = -3*v - 11. Which is bigger: w or y?
w
Let g = -15.9 + 15. Let b = g + 0.4. Let c = b + 1.2. Is c smaller than 1?
True
Let h be (-12)/8*8/30. Let t = -84.3 + 91.3. Is t <= h?
False
Let s be 304/(-329) - (-2)/7. Let n = s + 1006/987. Let m = n - -2/105. Is 1 smaller than m?
False
Let p = 0.016 + 14.184. Let z = p + -13. Let x = z + -1.1. Which is greater: x or 9?
9
Let x = 222 - 230.9. Let a = x - -12. Which is smaller: a or -1?
-1
Let r = 172 + -94. Let j = r - 114. Is j at least 0?
False
Suppose -5*t + 2*w = 3, -w + 3*w = 4*t + 2. Let b(i) = -3*i - 64. Let d be b(-23). Is d <= t?
False
Let v = -278 - -279. Is v equal to 0.0668?
False
Let y be (-14)/(-119) - 2048/15674. Which is smaller: 0 or y?
y
Let c = -42 + 45. Suppose 183 = 4*r + x, -3*r + c*x + 156 = -0*x. Is 48 bigger than r?
True
Let d(a) = -32*a - 7. Let b be d(-1). Let v be (-1)/((15/(-69))/5). Is b >= v?
True
Suppose -729*h + 732*h + 3 = 0. Is -13/19 != h?
True
Let v be (-3 - -7)*(-2 - -9). Let d be 4833/2920 + 21/v. Let w = 3/584 - d. Is -1 less than or equal to w?
False
Let f be (4 - (1 - -4))*-3. Let y be (f/2)/((-15)/20). Which is smaller: -17 or y?
-17
Let t(m) = -10*m - 15. Let w be t(-2). Suppose 34 = w*b + 29. Is -6/19 >= b?
False
Let j = -8 - -12. Let f = 4 - j. Let h = 580 + -576. Which is smaller: f or h?
f
Let x = -0.06 - -5.06. Let l = 5.1 - x. Let k = -0.2744 + 0.2144. Is l <= k?
False
Suppose -2 - 2 = -x. Suppose 0 = -2*d + d - x. Suppose 5*n + 21 = 1, 2*p = 2*n. Are d and p equal?
True
Let m = 1142 + -4571/4. Let a = -0.4 + -1.6. Let r = -4 - a. Is r smaller than m?
True
Let v = -2 + 2. Suppose v = -4*p + 5*p + 2. Let b = 741 + -743. Is b less than p?
False
Let n(h) = -h**2 - 4*h. Let p be n(-4). Let o = -12385361261/13883991 + -5/420727. Let c = o - -892. Which is greater: c or p?
p
Let f(c) = 7*c + 2. Let a(r) = -4*r - 1. Let h(u) = 5*a(u) + 3*f(u). Let w be h(-5). Let x(z) = -z**2 - 3*z + 3. Let g be x(w). Are g and -1 equal?
True
Let m = 0.048 + -0.178. Let t = -4.8 - -5. Is t at least as big as m?
True
Suppose 1350*i - 1425 = 1345*i. Which is smaller: i or 284?
284
Let t be (5 + (-500)/95)/3. Is 1 equal to t?
False
Suppose 4*y = -9 - 23. Let h be 3/(-6) + 124/y. Let v be (4/h)/(3/(-12)). Which is bigger: v or -1?
v
Suppose -3 = 22*p - 25*p. Which is greater: p or -89?
p
Let g = -1905/8 - -14425/72. Suppose 4*b + 159 = 7. Let p = b - g. Which is smaller: p or -1?
-1
Let s = 1 - 2. Let k(v) = v**3 + v**2 - 32. Let n be k(0). Let b = n + 30. Are b and s non-equal?
True
Let y be -3 + (3 - 11 - -11). Is y smaller than -1/444?
False
Let l be (6/(-12))/(2/4). Suppose 12 = -8*n + 4*n. Let a be n - (l + (-44)/26). Which is bigger: a or 0?
0
Let r = -417 - -398. Is r at least -0.03?
False
Suppose -6*l = -2*l - 176. Let k = l + -14. Is k < 31?
True
Let n = -463 + 459. Which is bigger: n or 42?
42
Suppose 28 = -6*i + 22. Is i greater than or equal to 6/961?
False
Let r be 206/1326 - (-14)/(-182). Is -4 less than or equal to r?
True
Let c = -1120 + 1119. Is -48/97 less than or equal to c?
False
Let m be -1 + 2/16*11. Let u(z) = 5*z**2 - 7*z - 21. Let b(c) = -2*c**2 + 2*c + 7. Let d(p) = 8*b(p) + 3*u(p). Let n be d(-2). Which is greater: m or n?
m
Suppose 0 = -p - 3*p - 4. Let h be (20/10)/(p - -2). Let a be (-2 - 0) + 68/24. Is a smaller than h?
True
Suppose 106 + 41 = 7*c. Let x be c/(-33)*8/(-28). Let i(u) = u + 4. Let j be i(-3). Is j greater than x?
True
Let y be (-322065)/3213 - (-2)/(-21). Which is smaller: -99 or y?
y
Let n(h) = -2*h**2 + 2*h + 2. Let a be n(-2). Let z(k) = 5*k**3 - 2*k**2 - k + 2. Let l be z(1). Suppose -3*r = -3*v - 27, -l*v + r - 13 = 23. Is v 