.4. Which is greater: 1.3 or t?
t
Let c = 55341484/1719 - 32194. Which is smaller: 0 or c?
c
Let q be -26*(3618/12)/(-9). Let j = -18287/21 + q. Are j and 0 equal?
False
Let d(x) = -5*x**3 + 2*x**2 + 7*x - 23. Let p be d(3). Are p and -118 unequal?
True
Let z be (0 + 0)/(-1 + 0). Suppose p + 2*p + 30 = z. Let w be (-2)/p + (-72)/160. Which is greater: -0.02 or w?
-0.02
Suppose 13*o - 792 = 5*o. Let g be (22/o)/(4/18). Let r be 2/7 - 22/(-21). Which is bigger: r or g?
r
Let c be (-18)/12*32073/30. Let d = c + 1604. Is d > -1?
True
Suppose -v = -c + 1, -4*c + 5*c = -1. Let p be v/2*2/6. Let t = 13 - -6. Is p smaller than t?
True
Let s be (-1 - (-9)/6)*-30. Which is greater: 0 or s?
0
Suppose 38707 = -119*m - 1158. Is m less than -335?
False
Suppose -17 = -2*c - 3. Suppose -4*t + 17 = -15. Which is smaller: c or t?
c
Let p = 70 + -595/9. Is p < 5?
True
Let f(o) = -o**3 + 2*o**2 + 5*o - 4. Let l be f(3). Suppose -4*v - 40 = -l*v. Which is smaller: -2/5 or v?
v
Suppose 16*o + 12 = -3*j + 19*o, 3*o = 0. Which is greater: -129/38 or j?
-129/38
Suppose w - 3 = 1. Suppose 3 = w*s + 27. Suppose 0 = -2*a - a - 21. Which is smaller: s or a?
a
Suppose -2*n - 40 = -4*y - 0*n, 3*y + 4*n - 52 = 0. Let c = -13 + y. Let r be 9*c*(-1 - -2). Is -8 > r?
True
Let p = -694/5 + 138. Let t = 127 - 73. Let k be (-2)/(-9) - (120/t)/10. Are k and p nonequal?
True
Let m be (-20)/((-8)/2) + -2. Suppose -2*a + a = 2*l - 14, -45 = -m*a - 5*l. Suppose 0 = 3*v - 2*v + 4*z + 8, -4*v - 4*z - a = 0. Is v bigger than -4?
False
Let k(z) = z + 4. Let f be k(0). Let q be (-2)/(-4)*f/(-38). Let u = 178 - 179. Which is smaller: u or q?
u
Suppose d - 3 = 2*o + 5, -4*d + 4*o = -24. Suppose d*h = 6*h - 6. Is h at least 1?
True
Let r be (46/(-69))/(2/(-3)). Let k = 1987 - 399389/201. Which is bigger: r or k?
r
Let n = 459 + -460. Is n > 2/429?
False
Let o be 42/30 + (-2)/5. Suppose -p = -0 - o. Let s = 0.3 - -3.7. Do s and p have the same value?
False
Suppose 0 = 5*a + 22 + 13. Let g = -3 + -3. Which is smaller: g or a?
a
Suppose -4*x = -2*x. Let c = -97 - -1163/12. Is c greater than x?
False
Let b be 7/(((-10505)/22)/5). Which is bigger: b or 1?
1
Suppose 0 = 10*d - 12*d - 26*d. Let u be 1*-5*(-2)/36. Which is smaller: u or d?
d
Let q = -15 - -6. Is -9 greater than q?
False
Let k = 153.6 + -153.5. Let r = 67 + -112. Is k greater than r?
True
Suppose -x + 1 + 2 = 0, 0 = 3*h - 5*x + 15. Let c be 3 - (-11)/((-396)/112). Is c at least h?
False
Suppose -2*m - i + 163 = 0, 2*i = 5*m - 7*m + 166. Are m and 78 non-equal?
True
Let b be 8/1*2/(-1). Let l be 106/(-6) + 14*8/168. Is l bigger than b?
False
Let d(y) = y**3 + 7*y**2 + y + 6. Let v be d(-6). Let p = v + -253/7. Is -1 at most as big as p?
True
Let x = -2 - -1. Let g = 346/5 + -25263/365. Which is smaller: g or x?
x
Let m(k) = -4*k**2 + 32*k - 10. Let r be m(7). Let p be (-42)/r - (-6)/2. Do p and 9 have the same value?
False
Let a(g) be the second derivative of g**5/20 - g**4 + 7*g**3/2 - 5*g**2 + 22*g. Let p be a(10). Which is greater: 1 or p?
1
Let w = -114 - -99. Which is bigger: w or -13?
-13
Let k(i) = -19*i + 1. Let d be k(3). Let b be 18*(-11 - -8) - 3/(-12)*-8. Does d = b?
True
Suppose 11*k = -10 - 2795. Let v = k - -4591/18. Do v and -1 have different values?
True
Let i(f) = 2*f**3 + 3*f**2 + 2*f + 2. Let j be i(-2). Let z be j/4*(-5 + 7). Let b be -8 - ((-1)/(-1) + z). Which is smaller: b or -1?
b
Let g = -2474 - -2427. Which is smaller: -21 or g?
g
Let k = 9923/26504 + 2/3313. Let w be -3*3/(-36) + 0. Which is smaller: w or k?
w
Suppose -c + 94 = 5*y - 78, 8 = 2*y. Is c greater than or equal to 303/2?
True
Let s = -54 - -58. Let p be -4 + s - ((-34)/(-16) + -2). Is -1 at most p?
True
Let t = -0.01 - -0.11. Let z = 10.1 - t. Let s = z - 9.9. Which is smaller: s or 4/7?
s
Let f = -125 - -54. Is -68 less than f?
False
Let v be -16*(-387)/10*(-30)/36. Which is smaller: v or -515?
v
Suppose 88*a = 86*a - 498. Is -249 < a?
False
Suppose 3*h + 408 = -84. Is -165 less than h?
True
Let q = -1701 + 2212. Is 511 <= q?
True
Let j = -17.81 + 18.2. Do j and 3 have the same value?
False
Let d = -63/2 + 2047/65. Which is smaller: 1 or d?
d
Let b = 22 + -30. Let n be (-1)/(-4 + 116/b). Let t be (1/(-3))/((-1)/(-3)). Do n and t have different values?
True
Let m be 1 + 1 + -3 + 0. Let z be (-176)/(3 - (-188)/(-80)). Let p = -271 - z. Do p and m have the same value?
False
Suppose -3*j - 2*m + 3 = 170, 0 = 4*j + 2*m + 220. Is j equal to -7?
False
Let z = -17.8 - -18.6. Are z and 20 nonequal?
True
Let l(h) = -h**2 - 6*h + 1. Let k be l(-6). Suppose 3*z - 31 = v, -3*v + 23 + 16 = 3*z. Let c be (8/2)/(z + -1). Is k at least as big as c?
True
Let d(x) = -x**2 - 5*x - 1. Let l be d(-5). Let n be 4/111*5*(-9)/120. Are l and n non-equal?
True
Let w(z) = z**2 + 23*z + 41. Let k be w(8). Is 287 less than or equal to k?
True
Let a = -668 - -668.97. Which is smaller: 0.3 or a?
0.3
Let i = -4.2 + 26.2. Let h = i - 10. Let q = 10 - 39/4. Is h bigger than q?
True
Let u(f) = -2*f + 12. Let l(j) = 0*j**3 - 7 + 4*j**3 - 3*j**3 + 5*j - 6*j**2 + 3*j**2. Let a be l(3). Let r be u(a). Which is bigger: -3 or r?
-3
Let c = -359 + 370. Let o = -2.7 - -13.3. Let f = c - o. Which is smaller: f or -1?
-1
Let r = 106 + -74. Suppose 0 = -16*t + 20*t + r. Is t smaller than -11?
False
Let w be 8/48*(-76)/(-2) + -2. Suppose 2*p + 3*p = 25. Which is bigger: w or p?
p
Let c(r) = -r**3 + 10*r**2 + 7*r + 14. Let z be c(10). Suppose -2*n = 28 - z. Let b = 27 - n. Which is greater: b or 0?
0
Let p = -1382 + 1382.78. Is p less than or equal to 1/6?
False
Let g(t) = -7*t - 12 - 6*t + 16*t. Let l be g(5). Suppose 0 = -l*w - 14 + 5. Do w and -1 have the same value?
False
Suppose -3*i + 2*b + 42 = b, 39 = 2*i + 3*b. Let l be 2/4*(3 + 27). Do i and l have different values?
False
Suppose -41 = -5*c - 6. Is 23 not equal to c?
True
Let c = -9 + 12. Suppose -c*b - 6*b + 1305 = 0. Which is bigger: b or 146?
146
Let d be 5/(-65) - 270/(-130). Which is smaller: d or 10?
d
Let m = 227 + -222. Which is greater: -21 or m?
m
Suppose 2*g - 12 = -20. Which is greater: g or 8?
8
Suppose 3*a + 2*c = 85, a + a + c - 56 = 0. Let t be -2 - ((-6)/a - 2). Are t and -2 unequal?
True
Let t(q) be the second derivative of 3/4*q**4 + 11/2*q**2 + 0 + 1/6*q**3 + 1/20*q**5 - q. Let u be t(-9). Is u > -0.3?
True
Suppose m = -23 + 22. Which is greater: -6/13 or m?
-6/13
Let v = 8603216/63 + -136562. Let a = v - -4/9. Which is greater: a or -4?
a
Let t(s) = 40*s**2 - 2*s + 1. Let h be t(1). Let o = -33 + h. Does o = 6?
True
Suppose 10 = 2*m + 2. Suppose -3*s + 0*s - 2*j = 44, -m*s = -4*j + 32. Let a = -214 - -203. Is s less than a?
True
Let y be -11 - 7/((-63)/90). Which is greater: y or -4?
y
Suppose 3*l + 12 = -3*z, 0 = 4*l + 3*z + 11 - 0. Let m be l/((2/10)/((-12)/10)). Suppose -3*p - r = 2*p + 27, -p + 4*r - 18 = 0. Are p and m unequal?
False
Let c be (39/12 - 3)/(-1). Suppose -8*b + 4*i - 135 = -13*b, 4*b + 2*i = 102. Is c at least as big as b?
False
Let r = 10 - 10. Suppose r = 6*l - 3*l. Which is smaller: l or -3/11?
-3/11
Suppose 56 = -4*u + 3*s - 5, 5*s = -4*u - 37. Let n = u - -66/5. Let f = 14 + -14.7. Which is bigger: n or f?
n
Let j = 181 + -184. Is 4.3 <= j?
False
Let z = -2764/11 - -251. Suppose 2*v = 11*v. Which is bigger: z or v?
v
Suppose 15*o = 17*o + 14. Let c be o - -4 - (-3)/1. Which is bigger: c or -8?
c
Let g = 2150 - 23668/11. Which is bigger: 2/7 or g?
2/7
Let c = 101 - 108. Let r(h) = 8 + 12*h - h**2 - 4*h**2 - h**3 + 3*h. Let i be r(c). Is i smaller than -2/23?
False
Suppose -40 = -6*w + 44. Is -6 smaller than w?
True
Let n(u) = -u**3 + 9*u**2 + 20*u + 23. Let r be n(11). Which is greater: r or 2/81?
r
Suppose 8 = m - 5*m. Let c be (-12)/(-18)*3/m. Let j be 4/18 - (-1476)/(-5913). Is j > c?
True
Let i(j) = j**3 - 3*j**2 + 2*j + 2. Let g be i(2). Suppose -2*u + 2*a + 10 = 0, g*u - 5*u - 5 = a. Suppose -2*f + 2 - 4 = u. Is -4 > f?
False
Let m = -2100.3 - -2194. Let z = m + -99. Let k = z + 0.3. Which is smaller: k or 2?
k
Let n be 3/9 + 259/105. Is 3 not equal to n?
True
Let t = -0.35 + 3.15. Let h = 0.01 + -3.01. Let r = t + h. Is 1 at least as big as r?
True
Suppose 4*r - 5 = 7. Suppose 25 = 5*h + k, 15 = r*h - 2*k - k. Suppose p + 0 - 4 = 5*u, -h*u - 20 = -5*p. Is u < -2/15?
False
Let a b