 -3*p + 4*u. Is p smaller than 1454/3?
False
Suppose -14*h = -31 + 3. Suppose -16 = -2*w - h*m, -m - 15 = -4*m. Which is smaller: 36/11 or w?
w
Let k = 4 + -2. Let h = -79975 - -80698.94. Let p = 724 - h. Is p greater than k?
False
Suppose -7*f + 3*f = 4. Let g(o) = o**3 - 3*o**2 - 3. Let c(d) = 2*d**3 - 7*d**2 + d - 7. Let y(p) = -2*c(p) + 5*g(p). Let a be y(f). Are -2 and a equal?
False
Let m be 2 + (-2 - -2 - 156). Let t be 6/(-21) - (-124)/m. Let a = -13116 + 13114. Are t and a nonequal?
True
Let g be (-28)/(-14) + -5*(-3840)/(-6). Which is smaller: -3197 or g?
g
Let s = 104 - -58. Let q(o) = -40*o - 3078. Let v be q(-81). Is v at least as big as s?
True
Let z = -0.031 - 143.969. Let o = -9219/4 + 2305. Which is smaller: o or z?
z
Let c = -77 - 6. Let n = c - -140. Let z = n + -58. Are z and -3 non-equal?
True
Suppose 236*m - 248*m + 5556 = 0. Do m and 459 have different values?
True
Let t = 3737/7055 - 171/415. Let w = 1/189 + -109/189. Is t bigger than w?
True
Let u(p) = 4*p + 25. Let f be u(-20). Let l = 46 + f. Let h = l + 10. Is -1 >= h?
False
Suppose 0 = 2*s - 0*x - 4*x + 250, -4*s = 4*x + 524. Let l be (-2 - -8) + -136 + -2. Is s >= l?
True
Let s = -415/873 + 3/97. Let a(y) = 3*y + 49. Let t(k) = 2*k - 36. Let r be t(10). Let b be a(r). Is s not equal to b?
True
Let q = 31 + -33.7. Suppose 37*z - 47*z = 20. Let w be (-2)/z - 0/(-33). Which is smaller: q or w?
q
Suppose 8064 = 3*h - 0*h. Suppose 0 = 4*k + 17*k + h. Which is greater: k or -129?
k
Suppose -4*i = -418 - 114. Let w = i - 85. Suppose -22*n = -16*n + w. Is n > -8?
False
Let a be 2/(-7) + (-3044)/(-70). Let z = -43 + a. Let w = -16/95 + -12/19. Which is bigger: w or z?
z
Suppose 0 = -3*a + 2*a + 58. Let v be -2 + a/20 - 1. Let z be ((-420)/(-672) - (156/(-32))/(-13)) + (-6)/(-8). Which is smaller: v or z?
v
Let d = 30403823/6942 + -59/2314. Let n = 4448 - d. Let u = n + -68. Is u smaller than 45?
True
Let p be (72/6210)/((-9)/(-30)). Let d = 2558/12627 - p. Is d >= 0?
True
Suppose 9*t - 331 = 560. Let y be (-8)/((-240)/t) + 21/(-35). Is 3 bigger than y?
True
Suppose -30*i = 562 + 278. Which is greater: -20 or i?
-20
Let t be (1 + -21)*8/(-4). Suppose 45*q = t*q + 15. Let a be (q - -1)*18/(-72). Is a at most as big as -9?
False
Let c(b) = 2*b. Let f be c(2). Let u(i) = 2*i**3 + 10*i**2 - 108*i - 460. Let m be u(-4). Suppose f*t - 2 = d - 3, -m*d = t - 4. Which is smaller: t or -2/51?
-2/51
Let r be (-35 + 3)*(-1)/(-2). Let u be -2 + 1202/(-1206) + r + 19. Is u equal to 1?
False
Suppose m - 49 = 2*z, -5*m + 142 = -2*m - z. Suppose 49*o = m*o + 4. Let x = 312 - 1552/5. Which is bigger: x or o?
o
Suppose -2*j - 4*s = -0*s - 4, 0 = 2*j - 3*s + 10. Which is smaller: j or -2/3397?
j
Let c = 8145/4 + -2056. Let f(u) = 2*u**3 - u**2 - 3*u - 7. Let b be f(-2). Which is smaller: b or c?
b
Let j be (33744/576)/(15/20). Is j < 77?
False
Suppose -2*c = 0, -5*z - 5*c = -6*c + 80. Suppose -45 = 3*v - 3. Which is bigger: v or z?
v
Let l = 310 + -105. Let y = 407/2 - l. Which is greater: y or -48?
y
Let h = -24887/7344 - -91/27. Is 1 at most as big as h?
False
Suppose -64 = -4*t - 4*n, 0 = -2*n - 3 + 1. Suppose -5*f + 41 = -8*h + 4*h, -40 = -5*f + 5*h. Let v = f + 7. Are v and t unequal?
True
Let h be (15/33)/((-8)/44*-1). Suppose 3*j = 4 + 5. Is h at most as big as j?
True
Let o = 10982 - 11849. Which is smaller: o or -0.07?
o
Let f be (-9)/(-126) - 3572/56. Which is smaller: f or -65?
-65
Suppose -485 = -5*a - 0*a. Suppose 1 = f, 5*o - f = 2*f + a. Let v be -4*(2 + (-13)/o). Is -4 > v?
True
Let z = -80 + 227. Suppose -g - 756 = -6*g - 3*b, -z = -g - 2*b. Is 153 > g?
False
Let z be (9 - 232/24)/(3 + 55/(-15)). Which is greater: 1/1760 or z?
z
Suppose -5*i - 8 + 84 = -34. Which is greater: i or -89?
i
Let s be 9*(-5 - -8)/(-3) + 5. Is s less than 3/211?
True
Suppose 2*k - 4*m = 14, 2*k + 2*m - 11 + 21 = 0. Let j = 864 + -308. Let f be 14/(-56) + 147/j. Which is greater: k or f?
f
Let r = -25.07 + 24.27. Which is smaller: r or 141?
r
Let k = 7955/1029069 + 9/1049. Are k and 0 nonequal?
True
Let d(b) = -171*b + 5. Let i be d(-3). Suppose i = y - 11. Let c = y + -1561/3. Which is greater: 8 or c?
c
Suppose -8 = -1678*q + 1682*q. Let y(z) = z + 1. Let a(s) = -3*s - 3. Let j(f) = -2*a(f) - 5*y(f). Let d be j(q). Is -1 less than d?
False
Let l = 0.31 - 0.01. Let g = 12561 - 12547.161. Let t = g + 0.161. Which is bigger: l or t?
t
Suppose 0 = 345*r - 370*r - 25. Which is bigger: 1291/5 or r?
1291/5
Suppose 0 = -69*t + 88*t + 114. Let g be (-3)/t*0/(-2 - 3). Which is smaller: -2/73 or g?
-2/73
Let j be (5406/18 + 9)*(-466)/56. Let s = -2575 - j. Which is greater: -1 or s?
s
Suppose 4 = 36*n - 38*n. Let b be 4 + (-268)/262 + -3. Let i = -941/1048 - b. Are n and i equal?
False
Let r = 241 + 42. Let j = 282 - r. Does j = 1?
False
Let l(b) = -37*b + 13. Let t be l(-1). Let u = t - 50. Which is smaller: 7/92 or u?
u
Let i = 39.07 - 39. Let p = i + -0.17. Suppose 0 = -5*a + 4*a + 2*f, 18 = -2*a - 5*f. Is p equal to a?
False
Let w be 57/1083 - 1570/28386. Which is greater: w or 49?
49
Let x = 1.779 + -0.579. Let n = 2.2 - x. Is n less than or equal to 3.75?
True
Let w = 0 + -10. Let k(q) = -4*q + 26. Let b be k(18). Let x = b - -39. Is w greater than x?
False
Let x = -23673/8 + 143483/24. Which is smaller: x or 3019?
3019
Let o be -6*19/3*-1. Suppose -o*m + 34 = -21*m. Which is smaller: m or 29/17?
29/17
Let k be ((-4020)/(-25))/((1/(-6))/(25/9)). Which is smaller: k or -2679?
k
Let t = -2056/87057 - -6/569. Suppose -5*u = 3*g + g + 358, u + 437 = -5*g. Let r = g + 86. Which is bigger: r or t?
t
Let r = 5611.196 + -5613. Is -0.2 bigger than r?
True
Suppose 58*x = 60*x + 44. Suppose 4*u + 63 = u. Do x and u have the same value?
False
Let i be (1 + -3)/(1/(-11)). Let w(a) = 4*a + 11. Let k(o) = -9*o - 24. Let x(g) = 6*k(g) + 13*w(g). Let l be x(-11). Which is smaller: i or l?
l
Let l be ((-91)/20 + 5)/(141/(-16))*2. Which is smaller: 0 or l?
l
Let v = -6467/3 + 2182. Suppose -4*y + 7*y = 81. Is y at most as big as v?
False
Let b = 5972 - 6592. Is b != -622?
True
Let i(r) = -6*r**3 + 6 + 3*r**3 + 2*r**3 + 34*r - 25*r - 8*r**2. Let m be i(-9). Suppose -a - 3 = -1, 2*p = -3*a - m. Is 2 > p?
True
Let k = -409226/1499 + 273. Is -1 < k?
True
Let h(y) = -y**2 - 14*y + 32. Let z be h(-16). Suppose -g + 12*g = z. Do g and -1/14 have the same value?
False
Let t = 393 - 135. Let r = t + -180. Which is bigger: r or 2/7?
r
Let q = 18 + -11. Let t = q - -1. Let m = 7.7 - t. Is m less than or equal to 3/4?
True
Suppose -8336 + 26868 = 164*b. Are -20 and b unequal?
True
Let f be (-12 - (-11 - -1))/(9 + -11). Which is greater: 118/65 or f?
118/65
Let b(h) = 60*h**2 + 22*h - 75. Let a be b(7). Is 1 equal to a?
False
Let t(x) = -x**2 + 13*x - 52. Let s be t(7). Suppose -5*d - 54 = 2*c - 11, -2*c + 47 = -5*d. Is d at least s?
True
Let c(q) = q**2 - 43*q + 193. Let v be c(38). Suppose 3*u = -5 - 10, u - 37 = -v*r. Let x(t) = -3*t + 2. Let o be x(-4). Is o greater than r?
False
Suppose -27*o = 5*c - 30*o - 101, -6 = 3*o. Suppose 0 = -4*h + 5*q + 66, c - 11 = -4*q. Is h less than -2/19?
False
Suppose -4*w = 3*n - 5, -4*w - 2 = -5*n + 7*n. Let c(p) = 2*p**2 - 13*p - 1. Let o be c(n). Which is smaller: 1 or o?
1
Suppose 343*k = 307*k - 9144. Which is greater: -252 or k?
-252
Let k(q) = 62*q - 23. Let f be k(2). Suppose f*i - 168 = 93*i. Which is bigger: i or -3?
i
Suppose 67*m + 109238 + 74557 = -10103. Is m less than -2893?
True
Let w = -3.6 - -25.6. Let k = w + -31. Let r = k + 9. Which is greater: 25 or r?
25
Let j be ((-3)/30)/1 - 765/(-150). Suppose 6*b = h + 7*b - 19, -h + 15 = j*b. Which is smaller: 17 or h?
17
Let o = -214 - -99. Let z = -129 - o. Which is bigger: z or -18?
z
Let x(t) be the third derivative of -t**4/12 - 11*t**3/3 + 11*t**2. Let v be x(-12). Let y be 6 + -1 + (-2 - v). Is -2/15 equal to y?
False
Suppose -3*h - 6 = -4*k, -k - 4*h - 8 = -3*k. Suppose -2*j = 3*t - 4*j, k = -t - 3*j + 11. Is -1/87 greater than t?
False
Suppose -2*v = 3*y + 93, 4*y - 136 = 55*v - 51*v. Let u(a) = -2*a**2 + a + 4. Let o be u(-4). Is v less than or equal to o?
True
Let k = 100.6745 - 101.12. Which is bigger: -0.1 or k?
-0.1
Let w(j) = -3*j**2 - 16*j - 16. Let k be w(7). Let y = k + 274. Is y equal to -24?
False
Let f = 20371 