 0 = 3*q + 2*z - 29. Suppose b = -4 + q. Which is greater: 4 or b?
4
Let a be 32/304 - 1408/19. Is a at most -73?
True
Let a = 47150/33 + -1429. Which is smaller: a or 0?
a
Let m = 60.7 - 60.7. Is -6.6 at least m?
False
Let i = -66 + 42. Let x = i - -26.1. Are x and 0 equal?
False
Let y(x) = -x**2 - 42*x - 115. Let q be y(-41). Which is bigger: -76 or q?
q
Suppose 1 = 5*t - 4*t. Let j be -2*-1*t/26. Which is bigger: j or -1?
j
Suppose 0 = 2*k, -2*k = -2*f + 16 - 6. Let h(s) = 4*s**2 - 35*s + 73. Let d be h(3). Which is smaller: d or f?
d
Let d be 28713/4777 + (2 + -4 - 4). Is d <= 0?
False
Let q be 18224/(-112) + ((-18)/(-21))/(-3). Which is smaller: q or -162?
q
Let j(c) = -c**2 + 31*c - 58. Let k be j(2). Is k equal to 1/12?
False
Suppose -6*z - 1722 - 1230 = 0. Let k = z - -4418/9. Which is smaller: -1 or k?
k
Suppose -2*d = -2*n, 5*d + 6 = 2*d - 3*n. Is d less than -2/227?
True
Let h = -11.8 - -9. Let n = 13.8 + h. Let s = 10.9 - n. Is s > -18?
True
Let m = -219 - -275. Do m and -0.1 have different values?
True
Suppose 0 = -6*x - 3*x - 108. Let y = x - -61. Is y <= 49?
True
Let c = -223 + 166. Are -57 and c unequal?
False
Let j = -12654658/11 - -1147109. Let h = j - -3317. Which is smaller: h or 4?
h
Let n = 0.37 - -0.43. Let i = 1 - n. Which is greater: 3/5 or i?
3/5
Suppose 4*z - 14 = 6. Let f(v) = -12*v + 60. Let u be f(15). Let p be (-1)/(-5) - (-16)/u*-41. Is p < z?
False
Let g = 2 + 3. Suppose -8 = 2*j + 2*v, -v + 1 = 5*j + g. Suppose -5*x - 5*z + 6 = -3*z, -5*x - 4*z + 12 = 0. Is x at most j?
True
Let s = -6.2 + 2. Let k = -3.7 - s. Is k <= 0.1?
False
Suppose 5*c - 24 - 1 = -q, -4*c = 5*q - 41. Which is greater: 38/9 or c?
38/9
Let p(m) = m**2 - 6. Let v be p(0). Let z be (-2)/6 - 14/v. Suppose -25*a - 2 = 3*o - 20*a, -2*o - 4*a = 2. Which is greater: o or z?
z
Let t(j) = j**2 + 3*j + 16. Let f be t(-11). Suppose -78 = 7*a + f. Which is bigger: a or -0.1?
-0.1
Suppose 82*h = 93*h + 506. Is h at least -58?
True
Let i be 8*(-81)/(-6)*1/(-2). Let n = -50 - i. Which is bigger: 0 or n?
n
Let i = -9464335/16 + 591283. Let f = i - -238. Which is bigger: 1 or f?
1
Let a(f) = 2*f**2 + 21*f + 10. Let t be a(-10). Are t and 4/269 non-equal?
True
Let u(l) = 2*l**2 - 13*l + 2. Let m be u(6). Which is greater: 1 or m?
1
Let j = 596/7015 + -6/115. Which is greater: j or -1?
j
Let v be 10 + -7 + 10/(-205)*51. Is 1 > v?
True
Suppose 0 = 19*p - 449 - 254. Which is greater: 187/5 or p?
187/5
Suppose 2*y + 0 = -f + 13, 0 = 2*y + 2*f - 16. Suppose -5*k - y*j = -j - 4, 3*k + 4 = 4*j. Do 18/13 and k have the same value?
False
Let j be 10552/2120 + -6 + 1. Which is greater: j or 0?
0
Let x(a) = 2*a**2 - 72*a - 2 - 4*a**2 + 71*a. Let y be x(-1). Is -26/9 at most as big as y?
False
Let k = 343 + -4461/13. Let r = -210 + 181. Let m = 30 + r. Which is greater: m or k?
m
Let g = 186 + -187.24. Which is greater: -2/3 or g?
-2/3
Let q = 71 - 73.9. Let u = -0.02 - -1.52. Let g = u + q. Is -1 > g?
True
Let y be (1/(-2))/(87/(-18) - -5). Let v be (-2)/(-12)*-158 - 1/y. Which is smaller: v or -24?
v
Let w(x) = -x**2 + 9*x + 10. Suppose 7*s - 4*s = 30. Let p be w(s). Let y be (-5)/(-10)*p/(-3). Which is bigger: y or -2/11?
y
Let m = -581 + 581.8. Do m and -3 have the same value?
False
Suppose 14 = 3*h + 2. Suppose o = a + 1 - 11, 46 = -5*o + h*a. Is o smaller than -7?
False
Let f be 1/1 + 2 + 0. Suppose 5*v + 0 = 3*h - 9, -2*h + 6 = f*v. Which is bigger: v or 1/2?
1/2
Let z be 1*(-5 + 2) - (-2 + -2). Which is smaller: 3/7 or z?
3/7
Suppose -17 = 5*o + 63. Let a(l) = 35*l**2 + 50*l - 3. Let d be a(-1). Which is smaller: o or d?
d
Let o be 2 + ((-142)/3)/((-63)/243). Let b = 185 - o. Which is bigger: 1 or b?
1
Suppose -79*w = -87*w. Are 71/6 and w unequal?
True
Suppose -6 = -w - w. Let h = 1 + w. Suppose -h*r + 6*r + 6 = -j, 5*j = 5*r. Which is greater: r or -1?
-1
Let w = 3576/365 - -44/73. Which is greater: w or 11?
11
Let h = -131.6 + 131.7. Is 22/13 less than or equal to h?
False
Let v = 6 + -17. Let j be -2 + (5/2 - v/22). Which is smaller: -6/19 or j?
-6/19
Let m be -1*(-2)/(2/(-1)). Let f = m - -3. Suppose 421*j + 1905 = 40*j. Which is smaller: f or j?
j
Let i = -10 - 1. Let n(u) = u**2 + u - 1. Let y(h) = 4*h**2 - 7*h - 20. Let g(o) = -5*n(o) + y(o). Let l be g(i). Do l and -3 have the same value?
False
Suppose -2856 = -20*v + 2904. Is 575/2 < v?
True
Let z = -2275.88 + 2276. Let b = -0.1 + 0.2. Are b and z nonequal?
True
Suppose 2*a - k + 3 = 6, 5*a + 15 = -2*k. Is 2/433 >= a?
True
Let j = -541 + 532. Which is greater: j or -50?
j
Suppose -3*z + 0*q - 7 = q, 7 = -z + 2*q. Let l = -0.09 + -0.01. Let a = l - 0.1. Which is greater: z or a?
a
Suppose 0*i + 117871 = -5*u - i, -5*u - 5*i = 117875. Let o be u/(-4)*(-8)/312. Let w = o + 303/2. Is -1 > w?
False
Let p be 1238*((-133)/(-14))/(-19). Are p and -619 non-equal?
False
Let y = 12 - 10. Let r be 92/6 - y/6. Suppose 3*v - 17 = -0*t + t, 5*t = -5*v + r. Which is smaller: t or 0?
t
Let b = 54931/434 - 887/7. Is b less than or equal to -1?
False
Let f(z) = z**3 - 5*z**2 - 4*z - 6. Let n be f(6). Let h = -1615 + 1614. Is h less than n?
True
Let b = -5.49 + 5.49. Are 460 and b unequal?
True
Let i be (111/(-74))/((-21)/6 - -2). Which is smaller: 32/59 or i?
32/59
Let r = -23/15 - -1/5. Let b = 18 + -18.6. Let v = b + 0.6. Is r at least as big as v?
False
Let t(a) = -a**3 - 11*a**2 - 11*a - 19. Let u be t(-7). Which is smaller: -137 or u?
u
Let d = 64.6 + -64.8. Is d less than -5?
False
Suppose 0 = 4*s - 0*s - 10056. Let b be s/840 - (0 - -3). Which is bigger: b or -1?
b
Let j = -8/5 + -9/10. Let g = 321 + -325. Does j = g?
False
Suppose -24 = -0*r - 2*r + 2*w, -3*r = 3*w - 42. Let k = r + -11. Suppose 2*d - k = d. Which is greater: 4/5 or d?
d
Let a = 1024 + -4139/4. Which is greater: -11 or a?
a
Let b(q) = -q**3 - 2*q + 9. Let x be b(0). Let t be (-2)/x + (-228)/(-54). Suppose 4*n + 2*o + o - 9 = 0, -2*n - 12 = -t*o. Is n bigger than 2?
False
Let b = 722 - 721. Which is smaller: -0.99 or b?
-0.99
Let r = -77 - -121. Let w = 52 - 52. Which is smaller: r or w?
w
Suppose -3*o - 105 = 3*j, 4*j + 13*o = 12*o - 149. Which is smaller: -55 or j?
-55
Suppose 0 = -5*y - 5*y. Which is smaller: y or 4/65?
y
Suppose -41 = -13*a - 2. Suppose a*t - 74 = -2*q, 4*t + 4*q - 48 = 52. Are t and 23 nonequal?
True
Let m(c) = -4*c**2 - 16*c - 1. Let s be m(-4). Which is greater: s or 6/83?
6/83
Let p be (1491/(-84))/((-17)/(-8) - 2). Is -141 bigger than p?
True
Suppose 572 = -3*t + 2*p, 2*p + 2*p - 174 = t. Is -195 at least t?
False
Suppose -2*l - l + 11 = 2*s, -2*s + 46 = -4*l. Suppose 0 = -3*v + 2*v + s. Let u be v/14 + (-33)/77. Is u > -2/9?
True
Let c = -24 - -11. Let w = 13 + c. Let r = -0.4 + w. Which is greater: -2/7 or r?
-2/7
Let r be ((-2)/15)/((-1)/3). Suppose 4*q - 2 = 74*p - 71*p, 2*q - 6 = 4*p. Is r < q?
False
Let q(a) = -3*a**3 + a - 1. Let w be q(1). Let f(t) = 6*t + 17. Let o(s) = 3*s + 9. Let j(b) = w*f(b) + 5*o(b). Let u be j(-6). Does 11 = u?
False
Let a = -397 - -396.8. Which is bigger: 0.09 or a?
0.09
Let t = -130 - -135. Which is smaller: t or 2?
2
Let r = -3.1 + 3. Let c = 0.1 + r. Let b = 11.989 - -0.011. Is c at least as big as b?
False
Let u(d) be the second derivative of d**4/12 + d**3 - 23*d**2/2 + 21*d. Let i be u(-8). Is i less than -6?
True
Let s be ((-2)/7)/((-10)/(-15)). Which is smaller: s or 3/91?
s
Suppose 0 = 36*z - 41*z - 5. Let p be (-174)/(-600) + (2/8)/z. Which is smaller: 1 or p?
p
Let c be ((-28)/(-12)*87)/1. Let y = c + -302. Let p be 18/y + (-4)/99. Is p < -1?
False
Suppose -1 = 3*j + 2. Let u be (-2)/(-10)*(-10)/j. Let f(d) = d**2 - d. Let b be f(2). Are u and b equal?
True
Let z be 2/(-10) + (-19)/5. Let y be (-465)/(-42) + (-6)/z. Let t = -82/7 + y. Do 2 and t have the same value?
False
Let s(n) = -n**2 + 8*n - 12. Let o be s(5). Suppose 0 = -2*i - 3*i - 4*t + 82, -3*t = o*i - 51. Suppose 5*u = -0*u + 20, -i = 5*f - u. Which is bigger: f or 0?
0
Suppose 2*s = -19*n + 15*n + 34, s - 25 = -4*n. Which is smaller: 11 or s?
s
Let c = -1 + 6. Let b be 0*(c/2 - 2). Let j(u) = -u**3 - 3*u**2 - u + 4. Let r be j(-2). Is b at most as big as r?
True
Suppose -6*b - 52 = 7*b. Let w be ((-2)/4)/((-2)/(-8)). Let h be -7 - w/(4 + -3). Which is bigger: h or b?
b
Let k = 3.1 - 16.1. Let s = -11 - k. Is s 