Suppose 17*d - 493 = -510. Which is greater: d or h?
h
Let i be (346/10)/(8/40). Is 174 >= i?
True
Suppose -3*r = 2*r - 10. Let p = 0.581 - 0.281. Which is greater: p or r?
r
Let l = -0.2 + 0.1. Let q be (-84)/294 + (-93)/189. Which is greater: q or l?
l
Suppose 4*a - 3*d - 94 + 17 = 0, -3*a - 4*d = -89. Suppose -3*j - 5*u - 18 = -2*j, 3*u - a = 2*j. Which is bigger: j or -18?
j
Let y(s) = 3*s**2 - 16*s - 2. Let q = -97 + 104. Let h be y(q). Do 34 and h have the same value?
False
Suppose -45*r = -18*r + 864. Let l = -1 + 1. Are r and l equal?
False
Let l = 1768 + -1763. Which is smaller: l or 85/18?
85/18
Let x(r) = -32*r + 190. Let m be x(6). Let z = -7 - -4. Which is smaller: z or m?
z
Suppose 0 = 2*h - 6 - 0. Let b = h + -6. Suppose 3 = -2*z + z. Are b and z equal?
True
Suppose 0 = 2*k - 2, -4*k = -7*u + 8*u - 7. Suppose -3*h = -l - 7, 2*l = 5*h - 2*l. Which is smaller: h or u?
u
Let h be ((-1575)/42)/(1/(-6)) + 5. Which is greater: 229 or h?
h
Let g = -255 + 303. Is -1/5 > g?
False
Suppose 0 = -37*n + 8*n - 348. Which is bigger: n or -11?
-11
Let u = 199 - 149. Let j = 50 - u. Which is bigger: j or 4.6?
4.6
Suppose -2*q + 3*c + 16 = 0, 3*q - 3*c - 9 - 12 = 0. Suppose q*p + 2 = a, -3*p + 6 = p + 3*a. Suppose g = -1 - p. Is -12/5 smaller than g?
True
Let s = 89 - 88. Is s < 5?
True
Let n = -113 + 128.8. Is -2/5 not equal to n?
True
Suppose -5*g + 935 = 915. Which is smaller: g or 68?
g
Let g = -21 - -1. Let k be (15/(-225))/(6/g). Is k greater than 1.6?
False
Let o = 13.372 - 0.272. Let b = -12.1 + o. Which is smaller: -3.3 or b?
-3.3
Suppose 3*x - 2 = 2*h - 27, -2*h = -2*x - 20. Let m be h/(-25)*-5*-1. Which is bigger: -4/17 or m?
-4/17
Let j = -10 + -9. Let s = -21.1 + 21. Is j < s?
True
Suppose c - 3 = -2*k + 3, -5*c + 2*k + 6 = 0. Let d = c - 4. Let u be (-8)/(2*d/(-4)). Which is bigger: u or -9?
u
Let i = -1918 + 1994. Which is smaller: 0.02 or i?
0.02
Let g = 0.14 - 0.1. Let f = -10.7 - -9.4. Let k = -1.3 - f. Which is smaller: k or g?
k
Suppose 4*o + b - 265 = 0, -5*b + 217 = 3*o - 3. Are o and 62 non-equal?
True
Let z = 0 - -2. Let f = 3.2 - -5.85. Let q = -9 + f. Is q >= z?
False
Let a = -612/7 + 2959/28. Suppose 5*m = 2 + 3, 4*t + 5*m = 81. Which is bigger: t or a?
t
Suppose -5*x = -3*x - 2. Let g(a) = -a**2 + 6*a - 6. Suppose -5*m + 3*v + 18 = 0, 19 = 5*m - 7*v + 3*v. Let k be g(m). Is x at most as big as k?
True
Suppose 61*k - 76 = 23*k. Let u = 1/45 + 533/315. Which is smaller: u or k?
u
Let o be (-3)/(-2)*-5 - (-60)/10. Which is bigger: o or 47?
47
Let v = 22 + -18. Let t be (-308)/(-16) + v/(-16). Let o be (-7)/28 - t/4. Is -3 less than or equal to o?
False
Let t = -1147 - -1086. Which is smaller: -55 or t?
t
Let k be (-1)/4 - 8/(32/(-21)). Suppose -k*o + 4*q = -17, o + 2*q + q = -8. Is -1/2 at most as big as o?
True
Let l = -2 - -1. Let f(u) = -3*u**2 + u - 1. Let m be f(1). Let g be (m/(-4))/((-6)/(-16) - 0). Is l greater than g?
False
Suppose -2*o + 4*o - 400 = 0. Suppose 0*c + o = 5*c. Suppose c = 3*w - n, 2*n = -2*w + 7 + 9. Which is smaller: 11 or w?
11
Suppose -10*u = 4*s - 5*u + 27, -2*s + 3*u = -3. Let v(p) = 40*p**2 + p + 6. Let t be v(6). Let k be t/(-492) - s/1. Is k > 0?
True
Suppose -22 = -5*h - 37. Let u be (-46)/12*-2*h. Are u and -23 unequal?
False
Suppose 0 = -q + 2*q - 10. Let p = 18 - q. Which is smaller: 7 or p?
7
Let y be ((-1)/(-5))/(12/10). Let h = 20.13 - 21.13. Is y at least as big as h?
True
Let h = -16 + 9. Suppose 4*z + 100 = 3*f + f, 75 = -3*z - f. Let a = 17 + z. Is a > h?
False
Let p be 1235/(-1720) + 20/32. Is p bigger than 0?
False
Let m be -12*(2 - (-21)/(-9)). Suppose -m*u + 7 - 3 = 0. Let v be (15/12 - 1)*u. Is -1/3 at least v?
False
Suppose -5*c = 5*w - 25, -c - 25 = w - 6*w. Suppose c = 6*n + 54 - 162. Is n smaller than 18?
False
Let n be ((-9)/(-6) + -3)/(15/(-20)). Is 102/31 less than or equal to n?
False
Let w be (-8)/(-24) + 230/(-858). Let r = 17/66 - w. Let z = 14/39 - r. Is z at most as big as 0?
False
Suppose -3 = -4*s - 7. Suppose -4*g + 24 = -72. Let i = g - 26. Which is greater: s or i?
s
Let q(b) = -10*b + 2. Let y be q(2). Let a be 1199/(-7) - y/63. Let d = a - -1194/7. Is d not equal to 1?
True
Let w = -878 - -877. Which is smaller: -2 or w?
-2
Let y = 1065 + -2215/2. Let f = 925/22 + y. Which is greater: 0 or f?
0
Let i(w) = 12 + 4*w**3 - 17*w**2 - 3*w**3 - 13*w + 6*w**2. Let m be i(12). Which is smaller: 1/6 or m?
m
Let u = 45/22 + 16/11. Do -4 and u have the same value?
False
Let p = -1.1 + 1.2. Let y = p + -9.3. Let s = 9 + y. Which is smaller: -0.1 or s?
s
Let f be -3 - 2 - (-40)/10. Is 18/37 smaller than f?
False
Suppose -7*z + 3*f = -2*z - 20, 1 = -4*z - f. Which is bigger: 6/37 or z?
z
Let v be (3 + 9)/4 + -4. Let x = v + 6. Suppose -6 = -x*n - 1. Is n at least as big as 2/13?
True
Let d = -0.2 + 1.2. Let z = -6.93 - -35.93. Which is greater: z or d?
z
Suppose 21*j - 23*j = 2. Is -173 > j?
False
Suppose -4*u = -4 - 0. Let f(w) = 50 - 27 - 5*w**2 + w - 24 + w**3 + 3*w**2. Let r be f(u). Which is bigger: 1/6 or r?
1/6
Suppose 0 = -5*l - s + 183, 0*l = -4*l + 4*s + 132. Let m be -1 - (6/(-8) + 3/l). Is -2.7 not equal to m?
True
Let t be 2*2/8*4. Suppose 0 = 3*u - 2*u + t*g - 10, -3*g = u - 12. Let n = u + -6. Which is smaller: -2/39 or n?
-2/39
Suppose -6*m = -2*m + 1211856. Let t = -2723468/9 - m. Let j = 356 - t. Which is greater: 1 or j?
1
Let n(w) = 3*w - 2. Let l(p) = -p**2 + p - 2. Let o be l(0). Let k be n(o). Let m = 62 + -64. Is k not equal to m?
True
Let j = -21470/663 - -422/13. Which is smaller: j or -1?
-1
Let p(n) = -n**2 + 8*n. Let z(u) = -u**3 - 7*u**2 + 8*u + 8. Let o be z(-8). Let w be p(o). Which is bigger: w or 2/89?
2/89
Let o(r) = 2045*r**3 + r**2 - 9*r - 9. Let v be o(-7). Let g = -331028511/472 - v. Let m = g - 2/59. Which is smaller: m or -1?
-1
Let p = -530 - -756. Is p at most as big as 226?
True
Let n = -4 + -4. Let a(w) = 45*w + 7. Let k be a(1). Suppose -5*v + 2*m + 1 = 33, -3*m - k = 5*v. Is v > n?
False
Let u = -0.06 + -9.94. Let l = -10 - u. Suppose 0*d - 15 = 3*d. Is d smaller than l?
True
Suppose -3 = -d - 0. Let f = 71 + d. Let p be -19 + 16 + f/24. Is -1 smaller than p?
True
Let w = -412/5 - -82. Does 13 = w?
False
Let g = 6173/16 - 386. Which is smaller: g or 0?
g
Let p(f) = f**3 - 7*f**2 + 6*f + 12. Let o be p(6). Let h be o/15 + 12/(-15). Let z(j) = j**3 + 3*j**2 - 5*j - 2. Let n be z(-4). Which is smaller: n or h?
h
Let m = 4 + 4. Let q = m - 155/19. Do q and 0 have the same value?
False
Let f be 3 + -2 + 2 + 3. Let x = -162 + 168. Is f less than or equal to x?
True
Suppose -3*u = 145 - 142. Let q be 11 - -4 - u*3. Are 19 and q nonequal?
True
Let z(t) = -t**3 + 7*t**2 - 5*t - 6. Let x be z(7). Let a be 2/(-5) + 624/(-15). Is x < a?
False
Suppose 36556 = -0*k + 2*k. Let g = -365407/20 + k. Let a = -37/5 + g. Which is smaller: -1 or a?
-1
Let n be 149/(-18) - (266/63 + -4). Is n bigger than -10?
True
Suppose 33*k + 195 = 28*k. Let j = 16 + k. Which is bigger: j or -25?
j
Let b = 0.062 + -0.682. Let x = b - -0.38. Which is smaller: 0 or x?
x
Let x be (13 - 1)/(2/1). Let m(c) = -3*c**2 + 7*c + 4. Let k(u) = -10*u**2 + 22*u + 11. Let j(s) = -2*k(s) + 7*m(s). Let z be j(x). Is 1/33 at least z?
True
Let u(m) = m**3 - 9*m**2 - 10*m + 101. Let i be u(8). Is -47 at least i?
False
Suppose 146 = -5*t + 776. Let b be 50/225 + (-10)/t. Let c(z) = z - 4. Let s be c(4). Which is bigger: s or b?
b
Let n(x) = -9*x**2 - 2*x - 2. Let h be n(-2). Suppose 0 = 4*q + 3*q + 385. Let b = h - q. Is b at least 21?
True
Let x = -27 + 5. Let o = 21 + x. Is 6 at most as big as o?
False
Suppose 0 = 2*f + 2 - 6. Let o be ((6/9)/(-2))/f. Let h = 2 - 3. Is h not equal to o?
True
Let w = 632 + -180118/285. Is w >= 1?
False
Let j = -1481 + 1104. Which is bigger: -378 or j?
j
Let d(w) = -5*w**2 - w - 1. Let h be d(-1). Let i(n) = -n**2 - 2*n + 77. Let y be i(-10). Which is smaller: y or h?
h
Let y = -543 - -532. Which is greater: y or -86/7?
y
Let w be (-24)/20*720/(-28). Let n = 31 - w. Is 0 at least as big as n?
False
Let u = -69195/4 + 17392. Is u at most as big as 93?
False
Let f be ((-4)/(-328))/(-1 - 2). Let p = -8316247 - -14320577833/1722. Let z = f + p. Which is bigger: -7 or z?
z
Let l(i) be the second derivative of 13*i**4/12 + i**3/6 - i**2 + 6*i. Le