. Suppose 4*t = -f + l, 0*f - f + 23 = -3*t. Is f > 11?
True
Let w = -204 - -162.9. Let m = 41 + w. Is 20 greater than m?
True
Let z = -2.91 - -0.75. Let y = 0.16 + z. Let p = y - -3. Which is smaller: 0.13 or p?
0.13
Let i = -0.0165 - -1.0165. Do i and -875 have the same value?
False
Let u be ((-2 - 2) + 2)/(-64 - -36). Which is smaller: u or 0.1?
u
Suppose 4*o - 44 = r, -o = o - 5*r - 4. Is 19 at most o?
False
Let b = -20 + -4. Let t = 1 - -25. Let u = t + b. Is u at most as big as 3?
True
Let q = 6 + -6. Suppose 0*o - 67 = o. Let f = o + 334/5. Which is greater: f or q?
q
Let u be ((-48)/156)/((-4)/(-6)). Suppose 3*y + 0*y - 3 = 0. Is y at least u?
True
Let v = 737/7 - 105. Let d(w) = w**2 - 3*w + 1. Let c(i) = -i + 1. Let h(b) = 2*c(b) - d(b). Let t be h(1). Which is smaller: t or v?
v
Let j = 26 - 32. Let l(o) = 2 + o + 0*o + 2. Let h be l(j). Which is bigger: h or -1/2?
-1/2
Suppose -2*m = -0*m + 4*f, 5*m - 5*f - 75 = 0. Suppose 2*v - p - 14 = 0, 4*p + 1 = -4*v + 53. Is m greater than v?
True
Let p = -2.67 + 2.6. Let f = -0.03 + p. Let h = -3/119 + -586/357. Is f < h?
False
Let b = 78 + -88. Let p(y) = 4*y**3 - 33*y**2 - 23*y + 5. Let r(k) = k**3 - 11*k**2 - 8*k + 2. Let w(t) = 2*p(t) - 7*r(t). Let j be w(b). Is j < -2/11?
True
Let a(g) = -g**3 - 15*g**2 - 14*g + 6. Let z be a(-14). Suppose 0 = z*o - 5*o + 1. Let s = -23/4 + 6. Is o less than s?
True
Let o(y) = -y**3 - 4*y**2 - 4*y - 2. Let u be o(-3). Is u != -14/31?
True
Let s = -2198.1 - -2104. Which is greater: s or -1?
-1
Let t be 26/8 - (3 - 0). Let a = -121 - -117. Which is smaller: a or t?
a
Let m(z) = z**2 - z. Let p(k) = -k**2 + k + 1. Let c(t) = 2*m(t) + 3*p(t). Let j(n) = -n**3 + 5*n**2 - 2*n - 8. Let o be j(4). Let i be c(o). Is 3 equal to i?
True
Let m = -0.789 + 0.049. Let w = m + 6.74. Which is smaller: w or -4/7?
-4/7
Let i = 114 - 68. Let l = i + -29. Let q be (4/2)/(2/17). Are q and l non-equal?
False
Let f = 16 + -16. Suppose 2*n = 2*j + 74, -n - 4*j + 3*j + 37 = f. Suppose 5*k + n = -h, 5*k + h + 3*h = -43. Which is smaller: -0.1 or k?
k
Let z(s) = -71*s - 494. Let o be z(-7). Suppose -k = 4*k. Are k and o nonequal?
True
Suppose b = -3*t, 6*b - b = -4*t. Let o = -18 - -47. Let l = 30 - o. Which is smaller: l or b?
b
Let z be (75/(-9))/((-2)/6). Suppose 15 = 5*u - z. Is 10 at least as big as u?
True
Let o = 1461 - 1462. Which is greater: -407 or o?
o
Suppose 6 = -4*o - 5*v, 2*o + 6 = -2*v + v. Let t(f) = -7*f - 23. Let u be t(o). Do 4 and u have the same value?
False
Let o be (4/(8/1))/((-3)/12). Let z be (o + 3)*(-2 - -1 - 3). Let s = 0 + -3. Which is greater: z or s?
s
Let j(w) = -w**2 + w - 53. Let b be j(-8). Is -124 <= b?
False
Let y(d) = -2*d + 1. Let f be y(-2). Suppose f*z + 7 = -3. Are -4 and z unequal?
True
Let z(o) = -o - 14. Let x be z(-14). Let b(w) = -18*w + 12. Let g be b(8). Let q = g + 1454/11. Is x smaller than q?
True
Suppose -i - 27 = 42. Let r = i + 68. Which is smaller: 1 or r?
r
Let d be (1/3)/(4/768*3). Let f = 89 - 67. Which is smaller: d or f?
d
Let x = 6 + -2. Suppose -11*v + 7*v = -x. Is v greater than -1/3?
True
Let m(a) = -126*a**3 + 2*a**2 - a + 1. Let k be m(1). Is k equal to -124?
True
Let o = -54 - -32. Let w be ((-7)/(-14))/(o/4). Which is smaller: -1 or w?
-1
Let p = 132 - 125. Suppose -244 = -p*i + 57. Is 0.1 > i?
False
Let s = -15.1 - 232.9. Is s <= 0.2?
True
Let s = -84 + 17. Let w = s - -65. Which is smaller: -3 or w?
-3
Let w = -7 + 7. Suppose w = 4*t, -3*j + 5*t = j + 52. Let u be (-4)/j*(-15)/6. Which is greater: -1 or u?
u
Suppose -3*k + 5 - 8 = 0. Let i be (7/(-4))/(k/8). Suppose -2*w + i = -2*o, 9 = w + o + 2. Which is greater: w or 6?
w
Let x = -479/160 + 83/32. Is 638 smaller than x?
False
Let x = -293118/127 - -2308. Suppose 4*o + 2*n = -6, 2*o + 0*n = n - 1. Is x greater than o?
True
Let p be 1 + 3 + -1*(-1)/(-1). Suppose -p*o - 105 = -99. Is o at least as big as -7/4?
False
Let r(q) = -q**3 - 2*q**2 - 4*q - 3. Suppose 6*v - 3*x = v - 66, 2*x - 40 = 3*v. Let y = -14 - v. Let n be r(y). Which is greater: 4 or n?
n
Suppose -44*t = -3*o - 43*t - 52, 3*o = -4*t - 77. Which is smaller: -16 or o?
o
Let h = -4704/559 + 110/13. Which is bigger: 1 or h?
1
Let o be (-9)/(36/8)*1. Let z(d) = -d**3 + 4*d + 5. Let h be z(o). Suppose 4*j - h = 5*j. Are j and -3 unequal?
True
Let g(q) = -q**3 + 14*q**2 + 16*q + 3. Let z be g(15). Suppose -3*o + 6*o = z. Suppose 2*l - 5*l - v + 17 = 0, 4*l - 5*v - 10 = 0. Which is bigger: o or l?
o
Let z = -5399/21 + 257. Which is smaller: 1/7 or z?
z
Let w(f) = -f - 2 + 7 - 4. Let m(z) = 8*z - 5. Let l(g) = -2*m(g) - 14*w(g). Let a be l(-2). Is -2/7 less than or equal to a?
True
Suppose -4*m = 19 - 27. Suppose -a - 1 = -4. Are a and m equal?
False
Let r = -14461/142523 + 31/359. Which is bigger: 1 or r?
1
Let a be (18/(-84))/(3/66). Let x = -24942 - -523879/21. Let w = x + a. Is -1 < w?
True
Let g(s) be the second derivative of s**5/20 + s**4/4 - s**3 - 5*s**2/2 + 2*s. Let c be g(-4). Let j be -2*(-2)/(-12)*c. Which is greater: -4/7 or j?
-4/7
Suppose 226*i - 231*i - 80 = 0. Which is smaller: -13 or i?
i
Suppose 97*t + 8 = 89*t. Which is smaller: -17/7 or t?
-17/7
Suppose -1 = -c - 4*h, 5*h + 3 = 4*c - 1. Let p be (((-45)/3)/(-3))/1. Which is smaller: p or c?
c
Let a be ((-64)/(-24))/(2/3). Let x = 10 + -16. Let w be 3 - (-33)/11*2/x. Which is smaller: a or w?
w
Let h(t) = -t**2 - 3*t - 2. Let m be h(-3). Let y = 3 + m. Let i be (-6)/(-30) + (-10)/1050*-24. Is y at least i?
True
Let m be (2/(-16))/(3/6935). Let d = m - -289. Suppose 4*i + 2*i = -17*i. Do i and d have the same value?
False
Let j = 427 + -649. Is j greater than or equal to -221?
False
Let y be 2 + 4/(8/14). Let v(a) = a**3 - 9*a**2 - a + 12. Let b be v(y). Let p = 0.2 + -0.2. Which is smaller: p or b?
p
Suppose -22*a - 36*a - 58 = 0. Is a less than or equal to -1/531?
True
Let w be (-277)/18 - (-6)/(-12). Let j = -16 - w. Is -0.6 smaller than j?
True
Let y be (-1)/(-9) - (-560)/144. Which is bigger: 46/11 or y?
46/11
Suppose 0*b + 117 = 4*b + 5*f, -3*f + 15 = 0. Suppose 3*s + m = -24, 0 = -2*s - 6*m + 3*m - b. Let g be (36/16)/(s/(-4)). Is 0 > g?
False
Let j = 2 - 3. Let g be 8/((-40)/(-15)) - 14. Let m be 1 + 2 + ((-1155)/(-28))/g. Are j and m equal?
False
Let r be (-6)/(-8)*(2448/54)/34. Let o = -52/3 - -17. Which is greater: o or r?
r
Let i = 22.6535 + 0.0465. Let m = i + -25. Are -0.1 and m nonequal?
True
Suppose -2*f - 2 = -4*f. Suppose -19*i - 80 = -17*i. Let x be i/(-22) - (-1 - -3). Which is greater: f or x?
f
Let u be (-15)/(9/3 - 4). Let f be ((-3)/u)/((8/(-10))/(-2)). Is f < 4?
True
Suppose i - 5 + 41 = 0. Let h = i + 31. Is h greater than -7?
True
Suppose 2*h - 2*g + 7*g - 13 = 0, 2*g = 2. Let l be 665/(-183) + h + 2/(-6). Let v be (2/(-2))/(-3 + 4). Which is bigger: l or v?
l
Suppose 40*n = 41*n - 7. Suppose -4*h = -5*a - 11, -h + 4*a + n = -4. Is h at most as big as 8?
True
Let o = 2351 - 2350. Which is greater: 15/86 or o?
o
Let z(u) = -2*u**2 - 23*u + 97. Let r be z(6). Which is greater: -114 or r?
r
Suppose -44 + 65 = 7*y. Suppose q = 6*q - 15. Suppose 5*u + q*d = -32 + 6, -y*u - 6 = -3*d. Is u at most -6?
False
Let x(z) = -5*z - 51. Let t be x(-10). Let a = -6/11 + 1/22. Which is greater: a or t?
a
Suppose 4*g + 5*r = 2*g + 1, 4*r + 2 = -3*g. Let y be 2 + (2 - 0) + g. Suppose -w + 0*v + 4 = v, 2*v - 4 = y*w. Is 4 != w?
True
Let n be 1446/(-11) - 156/286. Which is bigger: -131 or n?
-131
Let q(n) = -n + 4. Let i be 3/5 - (-88)/20. Let m be q(i). Which is greater: 3/19 or m?
3/19
Let m = 13 - 6. Suppose 16 = 3*p - m*p. Which is greater: p or -2?
-2
Let f be 1256/((-2)/8 - (-324)/(-112)). Let l = f + 400. Does 0 = l?
False
Suppose 4*p - 39 = 7*p. Let u be p/3 - (-2)/6. Suppose -4*g = 0, 34*s - g = 33*s - 6. Which is smaller: s or u?
s
Let o = -59 + 52.5. Let l = -0.09 + 2.59. Let b = l + o. Which is greater: b or 0.2?
0.2
Suppose -6*m + 74 = -5*m. Let k = m - 40. Suppose k = s + 5*q, 0 = -2*s + 7*s - 5*q - 20. Which is bigger: -1 or s?
s
Let p = 427/28569 - -1/267. Is p smaller than 0?
False
Let s(i) = 3*i**2 + 8*i + 6. Let n be s(-2). Which is smaller: n or 35?
n
Let w be ((-1341)/(-12)*-2)/(66/88). Which is bigger: -299 or w?
w
Let f be 44/8 + (-1)/(-2). Suppose h = 2*h + f. Let s be 4/(-6) + h/(-9). Which is smal