: t or -1/4?
-1/4
Let z = -17 - -25. Let i be (-10)/(-4)*z/50. Let b = 66 + -65. Which is smaller: b or i?
i
Let h = -171 - -160. Is 0.2 greater than h?
True
Let x = 3.2 + -17.2. Let j = 35 + x. Let f = j - 19. Which is smaller: f or -5?
-5
Suppose -7*w + 684 = -w. Let z be ((-6)/w)/(7/(-2)). Which is smaller: 1 or z?
z
Let o(w) = -w**2 + 10*w - 21. Let j be o(7). Do 5/323 and j have the same value?
False
Let k(n) = -n**2 - 9*n + 2. Let p be k(-12). Let u = -33 - p. Let y be (-1)/3 - 44/(-42). Which is smaller: y or u?
y
Let y(f) = f**2 + 6*f + 1. Suppose -5*x + 5*d - 15 = 0, 0*d = -5*d - 15. Let k be y(x). Let h be k + 1*(-2)/1. Which is greater: 2/7 or h?
2/7
Suppose 304 = 12*b - 4*b. Does 38 = b?
True
Let n = 0.089 - 0.168. Is 0 != n?
True
Let r be 6/21 - (3 - (-3942)/(-21)). Which is bigger: 183 or r?
r
Let u = -4203 + 4202. Let f = -0.01 - -3.01. Which is smaller: u or f?
u
Let v be (-2 - 5) + 2/2. Let m be -3 + 1 + 0 + 23 + -27. Let s be ((-1)/(-2))/(m/60). Is v < s?
True
Suppose 10 = -37*o + 27*o. Let x be (3 - -1)/((-31)/1628). Let j = 210 + x. Is o greater than or equal to j?
False
Let c be ((-801)/18)/(19/(-646)). Does 1513 = c?
True
Let a = 187 + -276. Let w = a + 67. Is w equal to -19?
False
Suppose -4*p + 4*r - 33 = -161, 2*p - 76 = 5*r. Suppose 0 = -h + 3*h - p. Let x = 5586 - 5574. Is x less than or equal to h?
True
Let z be 1 + -3 + 3*1. Let o be (z - -3) + (0 - -12). Is 16 greater than o?
False
Suppose 0 = 3*f - 13*f + 340. Suppose 5*g + 46 = 4*j - j, 4*g + f = j. Which is greater: g or -5?
-5
Suppose -7 = -3*o - 4, 0 = -t - 2*o - 1. Let a be (-205)/(-10) + t/6. Which is greater: -2/5 or a?
a
Let b = 1892 - 1893. Which is bigger: -538 or b?
b
Let k = -381 - -27. Which is smaller: k or -353?
k
Suppose 9*q - 7*q = 5*r - 2, -2*r + 2 = -q. Which is bigger: q or -4?
-4
Let h be 3/6 - (-13)/(-2). Suppose j + 3*k = 0, -11 = 2*j - 2*k + 5. Do h and j have different values?
False
Let q = -526 - -518. Let s(v) = v**3 - 4*v**2 + v + 2. Let h be s(3). Is h < q?
False
Let y = 12 - 1. Suppose y*t = 8*t. Suppose 0 = 2*h + 2 - 0. Are t and h nonequal?
True
Let g be (-1 + 212/220)*215. Is g less than -8?
False
Let j = 36 - 21. Suppose -4*u + j = -2*w + 5, -3*w = -u - 5. Suppose 5*l = -4*i - 1, l - 2*i + 6 = -w*l. Which is bigger: 1/3 or l?
1/3
Let v be 18/(-12) - (-1326)/(-4). Is -333 < v?
False
Let w be 8 + -11 - -2*4. Suppose 2*o + w*o = 0. Is 3/13 greater than or equal to o?
True
Let z = 7 - 6.4. Let x = -0.035 + -29.965. Let r = 29.9 + x. Is z != r?
True
Let b = -279 - -280. Is b at least -6/41?
True
Suppose 0 = -5*s + 2 - 7. Let w be 19 - (-3)/((-9)/(-3)). Let i = w - 61/3. Which is bigger: i or s?
i
Let g be (-1)/(-2)*1*6. Suppose g*l + 14 + 10 = 0. Let h = -3 + 2. Is h at least as big as l?
True
Suppose -6*d + 10 = -d. Suppose -x = -4*a + 2 - 11, 0 = 3*a + x - d. Are a and -2/25 nonequal?
True
Let q = -43/79 + -65/316. Let p be 0/((2 - 3) + 0). Suppose m + p*m + 1 = 0. Is q > m?
True
Let f(b) = -43*b - 650. Let j be f(-18). Are j and 124 equal?
True
Let y be -3*(-12)/27*3. Suppose -5 = y*d + 3*g + 8, -g - 8 = 5*d. Is d not equal to -4/7?
True
Let a be (-3)/(-14)*16917855/(-585). Let z = a - -6197. Is -1 less than z?
True
Suppose 13*d = 9*d + 16. Let a be 14/(-40) + 3/d. Which is bigger: -1 or a?
a
Suppose -27 = -63*m + 60*m. Suppose 5*k = -c + 11 + m, -k + 13 = 2*c. Which is greater: 2 or k?
k
Let k = 609 + -585. Is -2 at least as big as k?
False
Let v = 50 + -48. Let x(h) = h + 17. Let i be x(-18). Which is smaller: i or v?
i
Suppose 2*n + 116 = 90. Which is bigger: n or 3?
3
Let j = -6.9 + 6.8. Which is smaller: 16 or j?
j
Let p(n) = n**3 + 7*n**2 + 12*n. Let l be p(-4). Is 3/19 at most as big as l?
False
Let r be 18/30 - 641/35. Let a = 18 + r. Is a != -2?
True
Let j be (55/(-44) - (-6)/8)/(-5). Let b(h) = -h + 2. Let a be b(0). Suppose -a*l + 4 = 2*l. Is j >= l?
False
Let p be 3/((-484)/244 - -2). Let s = -1278/7 + p. Do 2 and s have the same value?
False
Let k be ((-8)/24)/((-52)/18). Let w = k + -1/234. Are -1 and w non-equal?
True
Let o = 13283/2 + -7037. Is o smaller than -395?
True
Let q = 18 + -200/11. Suppose -5*l = 2*d - 31, 25 = 6*l - l. Suppose -2*r - d*r = 5. Is r >= q?
False
Let j be -65*(10/(-2))/(-5). Let c = 66 + j. Do c and 0 have the same value?
False
Let i be 108/81*6/(-4). Let r = 221 + -671/3. Which is bigger: r or i?
i
Let y = 41 + -35. Suppose 315 = y*x + 3*x. Let c(u) = 17*u + 2. Let n be c(2). Which is smaller: n or x?
x
Let b be (8/(-14))/((-16)/8). Let z = 13/21 - b. Is 36 at least z?
True
Let b(t) = 32*t - 780. Let f be b(23). Suppose -284 = 5*g - 59. Does f = g?
False
Let i be (-142)/(-30) - (-125)/75. Which is greater: 7 or i?
7
Let w be 2/(-7) + 52/84. Let o(s) = s**2 - 2*s + 3. Let g be o(1). Suppose g*f = 4 - 6. Which is greater: f or w?
w
Let u be 20/(-15) - (-418)/120. Let q = -8/5 - u. Suppose 12 + 13 = -5*a. Is a at least as big as q?
False
Let g = 44.7 - 40. Let s = g - 8. Let t = s + 2.3. Is t != 2?
True
Let o be 6/8*4*3. Suppose -5*b + 90 = 5*l, -l + 11 = 2*b - o. Let p be 3/(-12) + 116/l. Is p less than 6?
False
Let n = 228 + -243. Which is greater: -110/7 or n?
n
Let s be 26/(-494)*38/(-4). Which is smaller: s or 4/7?
s
Let k = 1649 + -1541. Is 108 less than k?
False
Let a(u) = -u**3 - 5*u**2. Let p be a(-5). Let s be 28/35*(30 + p). Which is greater: s or 25?
25
Let b(n) = n**3 - 6*n**2 + 5*n - 6. Let h be b(5). Let i be ((-4)/h)/((-3)/9). Let j be 1/((-3)/(-9)) - 3. Is j greater than or equal to i?
True
Suppose -n = 2*n + 12. Let s = 78 + -78. Which is greater: s or n?
s
Let v be (-6)/18 + (-4)/6. Let n be (6*4/v)/(-2). Let i be ((-18)/n)/(6/8). Is i > -2?
False
Let a = 20929/57 - 1099/3. Which is greater: a or 2?
2
Suppose -298 = 5*b - a, -15*a = b - 14*a + 62. Which is smaller: -64 or b?
-64
Suppose 5*d = -4*o - 28, 2*d - 6*d = o + 18. Let v be 2*1 - (-33 + -5). Suppose -c - 2*i = i - 11, 4*i - v = 5*c. Is d smaller than c?
False
Let j be 11/5 + -3 + (-1116)/(-2945). Suppose 0 = 3*d + d - 4. Which is smaller: j or d?
j
Suppose 27*r = 30*r + 1872. Is -623 greater than r?
True
Suppose -3*l = -4 - 5. Suppose 5*b + 32 = 3*h, -h + 2*h - 11 = 2*b. Suppose c - 8 = -l*c, w + h = 5*c. Are 3 and w nonequal?
True
Let b = 0.0757 + 0.9243. Are 2.6 and b nonequal?
True
Suppose -4*i = -4*n + 316, -i + 431 = 5*n + 3*i. Let d = -83 + n. Let t be (1 - 16/13) + 0. Do t and d have the same value?
False
Let s = -18 + 14. Is -12 at least as big as s?
False
Let x = -38026/49 - -776. Let j = 1 + -1. Which is bigger: x or j?
j
Let g(u) = u**3 + 11*u**2 + 12*u + 21. Let o be g(-10). Are o and -1/148 equal?
False
Let r(m) = -3*m + 24. Let x be r(6). Suppose -11*u + x = -8*u. Is u less than 3?
True
Let o(f) = 2*f**2 + 11*f - 6. Let l be o(-9). Suppose -5*s - 133 = -4*u - 2*s, -u = 4*s - l. Let n = u + -34. Is 2 less than or equal to n?
True
Suppose -56*j + 5 = -61*j. Let k be 2/4*(-5)/(-7). Does k = j?
False
Let u be (-2)/3*((-285)/40 + 7). Is u <= -2/3?
False
Let w be (32/64)/(1/2) + 211. Which is smaller: w or 214?
w
Let g be (45/10)/3 - 5. Which is greater: g or -4?
g
Let k be 2/3*99/6. Let w = -10 + k. Which is smaller: 3 or w?
w
Let z = -301 - -268. Is z != -27?
True
Suppose 72*z - 61*z = 11. Which is bigger: -28/139 or z?
z
Let f = 24/55 - 291/1045. Let s(m) = -7*m - 1. Let i be s(-1). Suppose -i*o = -2*o + 4. Does o = f?
False
Let s(z) = -z**2 + 8*z. Let p be s(8). Suppose 3*i + 3*v - 75 = 0, -4*v - 8 = -0*v. Let g = i - 27. Is p less than or equal to g?
True
Let m be 4/(2/4 + -1). Let v(d) = 7*d - 39. Let z be v(7). Let s be (m/20)/(6/z). Do s and -1 have the same value?
False
Let h(b) = -3*b**3 - 17*b**2 + 7*b - 4. Let w be h(-6). Is -10 != w?
False
Let s(q) = -q**2 + 10*q + 2. Let d be s(10). Suppose 3*z - 5 = -d. Let u = -4597/22 + 209. Is u at most as big as z?
True
Let p be 55/(-19) - 24/(-8). Let c be (-1049)/2926 - (-4)/22. Let a = c + p. Which is bigger: 0.1 or a?
0.1
Let u = 230 - 274. Do -45 and u have different values?
True
Let j = 1392 + -5535/4. Let h be (2/(-4)*6)/(1/(-3)). Are h and j non-equal?
True
Let i = 5 - 5.6. Suppose 0 = 5*y - 3*p - 5, 2*y - 8 = -4*p + 20. Suppose g = -y*g. Do g and i have different values?
True
Let z = -4.1 - -12. Let l = 8 - z. Is l greater than or equal to -1.6