 or t?
t
Let o be (-9 - -9)*(0 + 1). Let p be (-2)/5 + (-1664)/(-4485). Which is smaller: o or p?
p
Let g = 13 - 12.935. Let u = 19.33 - 19.33. Is u equal to g?
False
Let q = -132 + 116. Is q at most -13?
True
Let t be -19 - -24 - 66/15. Which is greater: t or 19?
19
Let v(c) = c**3 - c**2 - 3*c + 3. Let u be v(2). Suppose 5*q = -0 - 10. Let x = q + u. Which is smaller: -2/19 or x?
x
Let v = 4 + -11. Let s be ((-3)/(-4))/(1/(-10)). Which is smaller: s or v?
s
Let r = -0.037 + -0.803. Let j = 1.8 + -1.94. Let l = j - r. Which is smaller: 1 or l?
l
Let w(u) = u**3 - 2*u**2 - 3*u - 2. Let r be w(3). Let i = -395767/880 + 7177/16. Let n = i - 5/22. Is r != n?
True
Let r = 172 - 173. Is r >= 10/59?
False
Let p(w) = -w**3 - 14*w**2 + 10. Let x be p(-14). Let q be (x/(-30))/((-2)/(-42)*-1). Which is smaller: 2 or q?
2
Let c be ((-3)/50)/(840/(-9154)). Let n = -17/125 + c. Let v = n + -3/8. Is 1 not equal to v?
True
Let o = 143 - 135.7. Let h = o + -7. Let i = -1 - -3. Are h and i equal?
False
Let n = 80/3 + -27. Let k = -395 - -416. Is n less than or equal to k?
True
Let l be ((-24)/16)/((-6)/8)*-3. Let w be l/(-2 - (-13)/(-10)). Which is bigger: 3 or w?
3
Let h be ((-252)/(-56))/((-10)/(-24)). Are h and 11 equal?
False
Let v be 5*((-12)/15)/1. Let h be ((-1)/(-3))/(4/108). Let d = v + h. Is 6 smaller than d?
False
Let z be 5/(-3)*(-12)/128. Which is greater: 4 or z?
4
Let l be 1 + 0 - -5 - 7. Is l greater than or equal to -1/357?
False
Let l(r) = r**3 + 4*r**2 - 17*r - 40. Let p be l(-2). Which is bigger: 20/11 or p?
p
Let n = 91/36 + -22/9. Let r = -96 - -95. Which is greater: r or n?
n
Let d(k) = 18 + 2*k**2 - 24*k - 10*k**2 + 119*k**3 - k**2 - 118*k**3. Let i be d(11). Is i at most as big as -3?
True
Suppose 0 = 17*k - 9*k + 2824. Is -352 equal to k?
False
Let j = -297 + 294. Which is bigger: j or -61?
j
Suppose 0 = 17*y + 2*y - 1273. Are 61 and y unequal?
True
Let i be (1 - 9/(-2))*10. Let x = -33 + i. Which is greater: x or 23?
23
Let u(z) be the second derivative of z**4/12 - 11*z**3/6 - 12*z**2 - 5*z. Let d be u(12). Which is greater: d or -11?
-11
Let q(d) = 2*d - 4. Let a be q(7). Suppose -2*h = h + 303. Let c = h + 112. Which is greater: c or a?
c
Suppose 0 = 2*y, -3*o = y - 4*y - 30. Let s be -55*(1 - (-6)/(-10)). Let f be (-260)/(-22) + (-4)/s. Is f greater than o?
True
Let n be 8/(-20) + (649/385 - 1). Is n at most -135?
False
Let o(w) = w**2 - 25*w + 29. Let m be o(23). Let f be -6*m*3/(-81). Is f greater than 0.1?
False
Suppose 0 = -l + 2*s + 17, 0 = -l - 4*s + 7 + 16. Let b = l + -23. Let g = -7 + 1. Is g not equal to b?
True
Let r be ((-172)/(-4472))/((-27)/(-6)). Let q = -1 - -2. Is q at least r?
True
Let a = -15106 + 15111. Let w(x) = x**2 + 5*x - 1. Let t be w(-6). Let i = t + -3. Which is greater: i or a?
a
Let r = -218 - -217. Which is bigger: -4/67 or r?
-4/67
Let f = -9.94 - -10. Let q = f + -0.16. Is -5 greater than q?
False
Let n be (-74)/36*(-7 + 6/(-2)). Which is smaller: n or 21?
n
Suppose -2*o - o = q - 15, 0 = -5*q - 15. Let v be (14/56)/(o/(-64)). Which is bigger: -4 or v?
v
Let x(l) = l**3 - 6*l**2 + 5*l - 2. Let k be x(5). Let s be (4 - 1)*(-10)/(-6). Suppose -30 = -5*p - s*y, -p + y + 2 = 2*p. Does k = p?
False
Let a = -321 - -25679/80. Is a bigger than 0?
False
Let l = -7.654 + -0.276. Let b = 11 - 10.93. Let z = b - l. Is 2/7 less than z?
True
Let z = -810 - -823. Let c(s) = s**2 - s + 11. Let t be c(0). Which is greater: t or z?
z
Let x = 73.6 - 37.6. Is x != 41?
True
Let w = 4610/1341 - 31/9. Which is smaller: w or 1?
w
Let l = 4 - 0. Let p = 13 + -7. Is l > p?
False
Let s = -2.32 + 2.32. Is -12.6 at most s?
True
Suppose 4*v - 8*v = 0. Let g be (1 - 1)*(v - 1). Suppose j + 0*j = g. Which is smaller: j or 1?
j
Let a be 6/30 + 9/(-720). Does a = -1/3?
False
Let l = 78 + 42. Let t be (3/(-120))/((-16)/l). Which is smaller: -1 or t?
-1
Let a be (-19110)/165 + (-2)/11. Is -115 at most a?
False
Let k be 14/12 - 1/6. Which is greater: -1/561 or k?
k
Suppose 174 = -115*i + 118*i. Which is greater: i or 50?
i
Let r = 6.93 + -7.13. Is 237 > r?
True
Let r be -1 - -50 - (19 - 15). Which is greater: 221/5 or r?
r
Let a = -2.856 + -0.044. Let k = -2.77 - a. Let g = k - -0.07. Which is smaller: g or 0?
0
Let i = 384 + -567. Is i smaller than -735/4?
False
Suppose 7*m + 1 = j + 5*m, 0 = m - 5. Let u(g) = g**2 - 10*g. Let d be u(j). Suppose -d*y = -8*y. Is y > -1/2?
True
Let m = 3 - 12. Suppose 17*l = 13*l + 152. Suppose -3*g = 4*n + l, 3*n + 1 - 5 = g. Are g and m equal?
False
Let z = -0.02 + -1.98. Let t(m) = -m**2 + m - 1. Let q(g) = 6*g**2 + 3*g - 2. Let d(c) = q(c) + 5*t(c). Let s be d(-9). Which is bigger: z or s?
s
Suppose 368 + 308 = 13*p. Which is smaller: p or -0.6?
-0.6
Let q be (-9 + 1)*(-1)/2. Let g be 15/(-30) + (-6)/(-4) + 2. Suppose -2*d + 0*l - 2*l = 0, g*l = d - 12. Is q >= d?
True
Suppose 2*r + 3*c - 15 = 7*r, -r = c + 3. Let p be r*6/(-27)*-6. Let y be 2/(-28) - (-261)/3654. Which is smaller: p or y?
p
Suppose f - 3 = 2. Suppose 5*h - 58 = f*u - 3*u, 4*h - 47 = u. Suppose -h*x + 17*x + 15 = 0. Which is smaller: 0.3 or x?
x
Let h(n) = 12*n - 9. Let m be h(4). Let r = m - 40. Let z be (-296)/150 - (0 + -2). Which is greater: z or r?
z
Suppose -93*c - 90 = -75*c. Which is smaller: -34 or c?
-34
Let p = 79 + -62. Suppose 13*q + 200 = p*q. Is q greater than 49?
True
Let c(l) = -l**2 - 4*l. Let q be c(-2). Suppose -3*j - 29 = 76. Let a be q/14*j/(-20). Is 0 greater than or equal to a?
False
Let l be (-16)/(-4) - 2*-17. Let b be (l/(-4))/(3*(-20)/(-24)). Is b equal to -3?
False
Let c = -749 - -748. Is -1/321 at least as big as c?
True
Let x = 0 + 1. Let d = 1 - x. Let w(b) = -b**2 - 19*b - 78. Let q be w(-13). Is q != d?
False
Suppose 22*q + 45 = 67. Let x = -601/6647 - -1/289. Which is bigger: x or q?
q
Let v(j) = 9*j**2 + 3*j. Let c be v(-2). Suppose -22 = -4*i + c. Suppose -5*q + 11 = -2*z - 10*q, 3*z = -4*q - i. Which is smaller: -1 or z?
z
Let n(x) be the second derivative of -x**5/10 + x**4/6 + x**2/2 + 12*x. Let v be n(2). Suppose 11 = 2*j - 5*m, 4*j - 4*m - 27 = 5*j. Are v and j nonequal?
False
Let z(o) = -2*o**2 + 3. Let q be z(2). Let i(b) = b**3 + 5*b**2 + 9*b + 3. Let c be i(q). Which is greater: -43 or c?
c
Let p(n) = -n. Let d be p(4). Let s be 10/4*32/(-20). Let g = s - d. Which is greater: -7/6 or g?
g
Let v(o) = -o**3 - 11*o**2 - 10*o. Let k be v(-10). Suppose -3*g = -7 + 19, k = -4*w + 4*g - 20. Suppose 0*z - 55 = 5*z. Is z <= w?
True
Suppose 48 = 9*t - 5*t. Let r = -38/3 + t. Is r at most 7?
True
Let f = 100140 - 6108389/61. Let w = f - -3/122. Is 3 at most w?
False
Let v = 0.2 + -0.04. Let l = -0.26 - -0.36. Is l less than or equal to v?
True
Let d(m) = 7*m**2 + 17*m - 5. Let z be d(-3). Which is smaller: z or -4?
-4
Let y = 348 + -288. Which is smaller: y or 62?
y
Let h be 30/(-8) - (-1)/(-4). Let i be 0/(-3) + h - -4. Suppose 0 = 3*o - i*o - 3. Which is smaller: o or -1/11?
-1/11
Let k = -0.02 + -0.01. Let p = 0.021 - -0.109. Let n = p + k. Which is greater: n or 2?
2
Let u(f) = 3*f**2 + 4*f - 4. Let o be u(2). Suppose o*m - 12*m = 144. Does m = 36?
True
Suppose 0 = -2*k + 2*a + 4, -2*k - 5*a + 16 = 5. Let o be k/(12/52) - (-3)/1. Is o less than 17?
True
Let m be 8/(-6) + (-14)/(-63). Suppose -51 = -6*x - 57. Which is smaller: m or x?
m
Let v = -0.744 - -0.79. Let s = 0.046 - v. Which is smaller: -1.2 or s?
-1.2
Let o = -186 + 110. Let k = o + 29. Which is greater: 0 or k?
0
Let c = 101 - 95. Suppose 5*d + c = -4, 2*k + d + 86 = 0. Which is greater: -43 or k?
k
Suppose -3*u - 3*n - 30 = 0, 44 = -5*u - 0*u - 2*n. Suppose -5*v = -3*p - 27, p - 2 = -5*v - 11. Which is bigger: p or u?
u
Let c be (137/5)/((-16)/20). Which is smaller: c or -35?
-35
Let m = 126 + -258. Which is greater: m or -131?
-131
Let r = -1.49 + 0.29. Which is greater: r or 0.1?
0.1
Let l(c) = 10*c + 17. Let t be l(-2). Is -40/19 bigger than t?
True
Suppose -2*j + 2*w - 6 = -6*j, 6 = -5*j + 2*w. Suppose -4*s - 5*k - 50 = 0, 2*s + 3 = 2*k - 13. Let r = s - -10. Is r less than j?
False
Suppose 190 = -12*i - 170. Let y = -19 + -10. Which is bigger: i or y?
y
Let u be 9/1*1/3. Let m(t) = t + 13. Let h be m(-9). Suppose h*f = -3*g + 4, 0*g - 3*f + 2 = 2*g. Which is bigger: u or g?
g
Let q(t) = t**3 - 5*t**2 + 3*t + 3. Let n be 