h is bigger: d or m?
d
Let m(s) = s**2 + 13*s + 16. Let l be m(-12). Suppose l*y - u = 4, u + 2*u + 12 = y. Let z = -22/185 - 3/37. Is z less than y?
True
Let s = 41 + 20. Is 59 greater than s?
False
Let c be 7175/275 + (-2)/(-44)*-2. Is c not equal to 28?
True
Let u be ((-3)/2)/(6/(-32)). Suppose 0 = n + 2*i - u, 2*i + 1 = -2*n + 11. Suppose 7*p + 36 = 4*v + n*p, 0 = -4*v + p + 20. Which is smaller: v or 2?
2
Let r = 1.908 + -0.738. Which is bigger: 0.1 or r?
r
Suppose 0 = 46*q - 12*q + 374. Are -3 and q equal?
False
Let y be 3/(-2)*(-5 + 803). Let j be (-4)/14 - 321/y. Is j bigger than 0?
False
Let o be (-6 + 0/(-3))/2. Let j be (-9 - o - -4) + 1. Which is greater: 8 or j?
8
Let l be 36/10 + 21/(-35). Suppose -2*g + 6 = 0, -l*q = 4*g + 2 - 14. Suppose -3*k + 3 = -q. Which is smaller: -1 or k?
-1
Let x(q) = 2*q**3 - 3*q**2 + 2*q - 3. Let m be (-8)/(-36) + 6/(-27). Suppose -i + 2 = -m. Let v be x(i). Are 6 and v non-equal?
True
Suppose -2*k + 65 = -7*k. Let f be (-21)/84 - (-43)/(-4). Which is smaller: f or k?
k
Suppose -9 = 6*o - 213. Suppose 0 = -2*y + 2 + o. Is 19 smaller than y?
False
Let k be (234/130)/((-9)/870). Is -4 smaller than k?
False
Suppose 0 = 2*p + 14 + 4. Let o(d) = 6*d - 25. Let k be (-14)/112 - (-50)/16. Let y be o(k). Is y greater than or equal to p?
True
Let k be (-5166)/(-8148) - 2/4. Which is smaller: -1 or k?
-1
Suppose 2 - 8 = -3*l. Let i(x) = 2*x**2 - 6*x + 4. Let f be i(l). Which is greater: f or 2/9?
2/9
Let m = 131 + -2488/19. Which is smaller: m or 1?
m
Suppose -117 = -5*a + 53. Let h(u) = 4*u**2 + 52*u + 35. Let j be h(-13). Which is smaller: a or j?
a
Let p(l) = -13*l**2 - 11*l - 11. Let f be p(9). Let a be ((-6)/(-27))/((-2)/f). Let g = 129 - a. Is -1 less than g?
True
Suppose 4 = 3*b + 7. Let o be 2/20*(-2)/(-8). Which is greater: b or o?
o
Let o = 174 + -165. Let t(w) = -10*w**3 - w**2 - 2*w - 2. Let l be t(-1). Is l < o?
False
Let q = 94/33 - 58501/20526. Are q and 1 nonequal?
True
Let a = -2828 + 2814.91. Let s = 0.09 + a. Let f = 8 + s. Do 1 and f have different values?
True
Let k = -1 - -10. Let d = -8 + k. Let u = 0.09 - 0.06. Is u greater than d?
False
Let w be (-4325)/500 - 18/(-2). Which is smaller: 0 or w?
0
Let s = -1.667 + -0.033. Let h = s - -3.7. Are h and 1/4 non-equal?
True
Let l(r) = r**3 - 17*r**2 + 16*r + 21. Let h be l(16). Suppose 5*j = -196 + h. Which is smaller: j or 0.1?
j
Suppose 4*a + 14 = m, 2*a + 3 = -m - 1. Suppose -10 = -2*s + i, 0*i = 5*s - m*i - 24. Suppose -y + s = 3*y + 4*d, 0 = -3*d. Which is bigger: -1/16 or y?
y
Let a be (-152)/(-360) - ((-12)/(-10) - 1). Let n = -0.1 + 0.3. Is n bigger than a?
False
Let f = 25 + -22. Suppose 0 = 3*o - 2*c, -f*c + 2*c = -4*o. Does o = 3?
False
Suppose 0 = 3*w - i - 31 - 251, -2*i - 378 = -4*w. Which is greater: w or 91?
w
Let d = -8.5 - -13. Let x = 3.5 - d. Do x and 2/13 have the same value?
False
Let z = 473 + -398. Is 72 < z?
True
Suppose 20*n = 6*n. Is -6/65 less than or equal to n?
True
Suppose -2*h + 2*c = 2, 4*c = -4*h - 25 - 3. Let z be 5*(0 + 1) + h. Suppose -8 = -4*n + 5*g + z, -5*n + 5*g + 5 = 0. Is -7 smaller than n?
True
Let h = 0 + 5. Let l be -2 + (-3 - (-1 + 93/(-12))). Is l at least h?
False
Let a be (2 + 9/(-2))/(9/666). Are -185 and a equal?
True
Let t(m) = -m - 5. Let s be t(-6). Let q = s + -6. Let p = 5 + q. Is p at least as big as 1/6?
False
Suppose -3*o - 1 = 3*g + 14, 3*g = 5*o - 15. Let l(d) = o*d**2 + 3*d**2 + 3*d - 2 + 2*d**2 - 6*d**2. Let k be l(2). Are -1 and k non-equal?
True
Suppose -12 = 13*b - 10*b. Suppose 3*a - 16 = a. Let s be (-2)/a - 1/b. Is -2/23 <= s?
True
Let h = -33987 + 210413519/6191. Let n = h + -12804/1306301. Which is smaller: n or 0?
n
Suppose 130 = 19*j - 14*j. Which is greater: j or 176/7?
j
Let w = 56 - 111. Let z be (-84)/22 - (-10)/w. Are -4 and z nonequal?
False
Let a = -306 - -307. Which is bigger: 5 or a?
5
Let x = -6 + 7. Let d = -3 + x. Let f = d - -2. Are f and -1 nonequal?
True
Let m be -4 + 3/6*232. Let c be m/(-10) - 1/(-5). Is -31/3 less than c?
False
Let c(n) = -4*n - 5. Let y be c(-2). Suppose -a + 9 + 2 = 3*r, 5*a - 31 = -y*r. Let f = -25/9 + 40/9. Which is greater: r or f?
r
Let o(d) = -d**2 + 21*d - 14. Let b be o(19). Let r be ((-12)/(-8))/(9/b). Do -2 and r have different values?
True
Let x be (24/(-25))/(4/10). Let m(c) = -3*c - 49. Let q be m(-16). Which is smaller: q or x?
x
Suppose -8*i + 443 - 299 = 0. Do i and 13 have different values?
True
Let z = -31.0883 - -0.0883. Which is greater: 8 or z?
8
Let t be (-6)/12 + 579/1278. Is 0 bigger than t?
True
Let d = -0.1 + 0.09. Let f be (-530)/15 + (-2)/6. Let l = -36 - f. Is d != l?
True
Let h be (-15 + (-2)/1)*(68 + -69). Which is bigger: 7 or h?
h
Suppose -6*k + 3*k - 3*d - 177 = 0, -2*k = 5*d + 130. Does k = -166/3?
False
Suppose -32*z + 665 = -391. Which is greater: 35 or z?
35
Let m = 394.846 - 395. Is m less than -2?
False
Let l be (-13 - -11)*(-16)/(-2). Is 30 greater than l?
True
Let k = -116 + 296. Which is smaller: -1/2 or k?
-1/2
Suppose 0 = 4*a + 2*q + 10, 5*q + 21 = 5*a - 4. Suppose a = -0*y + 3*y. Let c be (-6)/4*(-4)/(-6). Which is bigger: y or c?
y
Suppose 8 + 16 = 6*z. Let b be -2*(-3 + (-2)/1). Suppose -14 = 2*w + 4*y, 0 = 6*w - w + 5*y + b. Is w equal to z?
False
Let c(x) = -x**2 - 9*x - 6. Let a(w) = 3*w**2 + 27*w + 17. Let o(q) = -2*a(q) - 7*c(q). Let y be o(-8). Let v = 779/1386 + -1/154. Which is greater: y or v?
v
Let s = -99/8 - -565/56. Is s > 1?
False
Let q be 298/84 + 7/(-2). Which is smaller: q or 2/15?
q
Let w be (3 - 40/15)*-57. Let l(p) = p + 21. Let b be l(w). Which is smaller: b or 1?
1
Let s(t) = t + 1 + 1 + 2 + 3. Let h be 2*(-2 + 0)*1. Let b be s(h). Is 3 equal to b?
True
Let j be 2/(7 + 2235/(-320)). Is -2 at least j?
False
Let i = -144 - -3311/23. Suppose -20*a = -15*a + 5. Does i = a?
False
Let l be 424/(-654) + (-2)/(-3). Let m be ((-81)/(-135))/((-2)/10) + 2. Which is bigger: m or l?
l
Suppose 11*m = 20 + 13. Do m and 0 have the same value?
False
Let r be 33*1/495 - (-92)/(-30). Let o be -1 + 2 - 7/5. Is r < o?
True
Suppose 5 + 3 = 4*z + q, -4*z + 8 = -5*q. Which is bigger: z or 2/181?
z
Let m(n) = -3*n - 9 + 9 - 19 - 8. Let l be m(-9). Which is greater: -4/3 or l?
l
Suppose -4*j = 3*p, j = -0*p - p. Suppose 2*z + 13 = y + 2*y, 2*z + 4 = j. Which is smaller: y or 6?
y
Let y = -38.09 - -0.09. Let m = 36 + y. Is m greater than 1?
False
Let l = -9 + 20. Let j = 44 + -54.4. Let o = l + j. Is o <= 1/4?
False
Let u = -0.228 - -2.228. Let l = 0.06 - 0.1. Let n = -2.96 + l. Is n > u?
False
Let m = -10.98 + 11.04. Which is bigger: m or 5?
5
Let d(j) = j**2 + 63*j + 66. Let x be d(-35). Do x and -914 have the same value?
True
Let n = -66.15 + 71. Let t = 8 + -8.15. Let d = t - n. Is 0 bigger than d?
True
Suppose 5*k - 5 = -0. Let r be 2 - k - (-2 - -4). Is r > -5?
True
Let r = -9.66 + -0.34. Which is bigger: r or -3?
-3
Let w = 20.67 - 20.47. Suppose -2*u + 0*i + i = 12, 2*u + i + 4 = 0. Let m be (-1)/(-1) - (-6)/u. Which is smaller: w or m?
m
Let g = 17582240301/1065562066 - -640/475273. Let h = -2/1121 + g. Which is bigger: h or 17?
17
Let t(l) = -296*l**2 - 2*l + 2. Let r be t(1). Let g be (-3)/(-6)*r/12. Let y = g - -13. Which is smaller: y or 0?
0
Let f = -21 + 45/2. Let t = -19 + 21. Is f < t?
True
Let w = 904 - 909. Is -9 bigger than w?
False
Let h = 1150/3 - 383. Is 0.024 greater than h?
False
Suppose 545 - 7214 = 57*i. Is -110 greater than i?
True
Let b(p) = -p**3 - 5*p**2 + 8*p - 42. Let u be b(-7). Is -256 at most as big as u?
True
Let d(j) = -2*j**2 - 58*j + 59. Let b be d(-30). Does 14/187 = b?
False
Let x be 3/9 + 152/(-456). Let n = -1354/1197 + -2/171. Which is smaller: n or x?
n
Let m = -12 - -15. Let d(h) = m*h**2 + 4*h - 13*h - 8 - h**2. Let i be d(6). Which is bigger: i or 9?
i
Let b be (0/(6 + -3))/(-1). Let l = -1471/15 - -98. Is l at least as big as b?
False
Let c(a) = -2*a**2 + 10*a + 4. Let o be c(5). Suppose -3*u + o + 11 = 0. Which is smaller: u or 3?
3
Suppose -3*t + 116 = 2*g, -2*g - g + 174 = 5*t. Let i = g + -58. Are i and 0 unequal?
False
Let n = 66.127 + -0.527. Let p = -66 + n. Are -0.4 and p non-equal?
False
Let t = 115 - 573/5. Let a = 6.4 + -6. Do t and a have different values?
False
Let f = 0 - 1. Let y = 383 + -3455/9. Is y >= f?
True
Suppose 48 = 