3 + 10*a**2 + 3*a + 12. Let q be l(-5). Let m = q - u. Is m < -10?
True
Let r = 512.9 - 513. Is 0.035 > r?
True
Suppose 0 = -0*j + 5*j + 4*d - 21, -2*j + 18 = 4*d. Which is greater: -6/125 or j?
j
Let v = -0.51 - 9.28. Let h = v + -0.21. Which is greater: 1 or h?
1
Let b = -26 + 58. Let m(v) = v**2 + 11*v - 30. Let k be m(4). Which is greater: b or k?
b
Let a = -5 + 21. Suppose 3*o + f + a + 60 = 0, 0 = -4*o + 4*f - 80. Let b = -38 - o. Which is bigger: -13 or b?
-13
Let q be 37*1/(1 + 0). Let f = 760 - 723. Is f smaller than q?
False
Suppose 9*v + 16 + 38 = 0. Is v less than 0?
True
Let l(c) = 6*c**3 - c**2 - 2*c - 1. Let g be l(-4). Let r be (4/(36/g))/3. Let z = r + 43/3. Is 23 less than z?
False
Let m(o) be the second derivative of -o**3/6 - 3*o**2/2 - 4*o. Let z be m(-2). Let p be 1 + (4 - 5) + z. Is p not equal to -2/23?
True
Suppose 0 = -4*r - 1 + 9. Let l(v) = 4*v**3 - v**2. Suppose -2*t = -3*t + 1. Let b be l(t). Does r = b?
False
Suppose -3*g - 60 = 2*g. Let b(s) = s**3 + 12*s**2. Let h be b(g). Which is smaller: 0.7 or h?
h
Let k = 335 + -332. Let g = 8 + -11. Is k at least g?
True
Suppose 20 = 4*r, 6*x = 2*x - r + 21. Suppose -12 = -x*z + 4. Are 5 and z equal?
False
Let l(s) = s**3 + s**2 - 5*s + 3. Let m be l(-3). Which is bigger: m or -18/131?
m
Let f(x) = -x**3 - 3*x**2 + 4*x - 2. Let h be ((-4)/(-6))/(4*1/6). Let m be f(h). Which is greater: -4 or m?
m
Let x = 12 - 10. Let n = 21 + -24. Let r be (-1)/(n*x/(-6)). Which is smaller: 0.18 or r?
r
Suppose 4*l + 1089 = 15*l. Let v = l - 310/3. Is -3 at least v?
True
Let w = -93 - -47. Which is greater: 2/9 or w?
2/9
Let r be 0/(3 + (-3)/3). Let k = 2/1055 - 8486/24265. Which is smaller: r or k?
k
Let s(n) = n**3 + 2*n**2 + 4*n + 3. Let t be s(-1). Which is greater: t or 2/39?
2/39
Suppose -328 = -q + 52. Suppose 4*h = -0*l + 4*l - q, 5*h = -3*l + 253. Let z be 7/3*26/l. Which is greater: z or 3?
3
Let s be 1224/126 - (2 + -3 + 1). Which is smaller: s or 9?
9
Suppose 27*j + 48 = 33*j. Let i be ((-724)/1032 + 8/12)*j. Is i at least 0?
False
Let t = 6261/20 + -1145/4. Do t and 28 have the same value?
False
Suppose 2*w - 1 - 7 = 0. Suppose -6 - 2 = -w*d. Let c = -1 + d. Which is smaller: 3 or c?
c
Let k be 4/6 + ((-144)/(-27))/4. Let n(j) = 19*j**2 + 2*j - 2. Let x be n(k). Which is smaller: 79 or x?
x
Suppose -6*g + 6 = -3*g. Suppose -c = g*c - 18. Suppose c*i - 45 = i. Which is bigger: 10 or i?
10
Let y = -39 + 46. Suppose y*b - 3*b + 20 = z, 0 = -3*b - 3*z. Is -4 > b?
False
Suppose 21*a - 900 = 26*a. Let v = a + 143. Which is bigger: v or -38?
v
Suppose -5*z + 155 = -0*z. Suppose 12*k - 101 = z. Is 11 at least as big as k?
True
Let t = -17 + 24. Which is smaller: t or 5?
5
Let p be (42/(-4) + 9)*-24. Is p >= 21?
True
Let r(l) = 40*l - 401. Let k be r(10). Which is smaller: 4/153 or k?
k
Suppose 15*r = 19*r + 16. Which is bigger: -3 or r?
-3
Let k = 1693 + -749. Is k less than or equal to 944?
True
Let k be (3*20/(-15))/(-1) + -5. Which is bigger: -16/37 or k?
-16/37
Let p = -506 - -507. Is 1 at most p?
True
Suppose 231*q = 220*q - 66. Which is smaller: q or -72/13?
q
Suppose 2*f + 9 = 5*u - 8, 4*u + f = 11. Let j be ((-14)/8 + 2)/((-1)/(-4)). Let z be 13*(u - 4)/j. Is -13 greater than or equal to z?
True
Let j be (594/72)/((-3)/(-4)). Which is greater: j or 4/37?
j
Let p = -122 + 368/3. Is p at least 20/9?
False
Let a be (-6)/8 + 1/(-4). Let r be (298/(-385) - (-6)/11)/((-28)/(-10)). Is r greater than or equal to a?
True
Let x = -16 - -15. Let g be -1*1 + 4 + -1. Suppose g*l + 0*l = 8. Is l less than or equal to x?
False
Let l = -19.1 - -15. Let f = 4.1 + l. Which is smaller: -1.7 or f?
-1.7
Let j(a) = -a + 23. Let u be j(-9). Which is greater: 30 or u?
u
Let b = 624 + -623. Which is bigger: b or 2/503?
b
Let x(i) = -i**3 + 4*i**2 + i. Let b be x(4). Suppose 17 = b*j + 3*s, 0 = 2*j + s - 2*s - 1. Suppose -87*h = 2*h - 89. Are h and j non-equal?
True
Let z be 1/2*-98*(0 - -1). Which is bigger: -47 or z?
-47
Let r(t) = t**3 - 12*t**2 - 27*t - 15. Let c be r(14). Which is greater: c or -4/151?
-4/151
Let x(n) = n**2 + 14*n + 1. Let q be x(-14). Suppose -t + 0*t = -q. Which is smaller: t or 5/4?
t
Let l be ((-15)/(-45))/((-2)/(-90)). Which is smaller: l or 59/4?
59/4
Suppose 4*z + 2*i + 81 = 27, -5*i = -3*z - 34. Is z smaller than -51/4?
True
Let h = 671 + -676. Which is smaller: -2/359 or h?
h
Suppose 8*d - 3*d = 25, 2*o + 3*d - 33 = 0. Let y = -1.8749 - 0.1251. Which is smaller: y or o?
y
Let r = -28 + 32. Suppose r*h + o = -62, h - 3*o = -2*h - 54. Which is smaller: h or -15?
h
Let i(u) = u**3 + u**2 - 6*u + 1. Let x(y) = 2*y**3 + 2*y**2 - 11*y + 2. Let o(q) = -7*i(q) + 4*x(q). Let z be o(0). Is -3/17 > z?
False
Let i = 1.1 - 10.1. Let l = 10 - -4. Let r = i + l. Is r equal to 2/7?
False
Suppose -3*y = 3, -4*y = -0*c - 2*c + 50. Which is bigger: 19 or c?
c
Suppose -5*d = n - 1 - 3, 4 = 3*d - n. Are d and -2/17 non-equal?
True
Let a be (-6)/(-46)*14/(-21). Let d(w) = -w**2 + 4*w + 5. Let x be d(5). Which is greater: a or x?
x
Let v be 2/(3/(-6) + 1). Let o = -5 + v. Let k be (-3)/6*(6 + -1). Are o and k equal?
False
Let o = -43 - -115. Let w = 41 - o. Is -30 not equal to w?
True
Let t = 18 - 26. Let q(x) be the second derivative of -x**3/6 - 7*x**2/2 - 5*x. Let h be q(t). Which is smaller: -8 or h?
-8
Let y = 31/98 - 479/98. Are y and -5 nonequal?
True
Suppose -z = -n - 545, 2335 = -4*n - 3*z + 183. Which is smaller: -543 or n?
-543
Let x = -131.9 + 47.9. Are x and 1 unequal?
True
Suppose i + 4*w = 1, 5 = 5*i - 2*w + w. Let l be i/(-3*(-46)/(-18)). Which is greater: l or -1?
l
Let v = -1.04 + 12.04. Which is smaller: -4 or v?
-4
Let d(v) = v**2 + 3*v - 4. Let w be d(-4). Let a be (-4)/144*21 - 3/(-6). Is w at most a?
False
Let r = -0.1 - -0.27. Let n = r - 0.07. Let h = -245 + 244.9. Which is smaller: h or n?
h
Let r = -121.54 - 0.46. Let v = -133 - r. Which is bigger: v or -2/13?
-2/13
Suppose 0 = -4*q - 4*j + 528, 4*q + j - 634 = -109. Suppose -3*b + k + 65 = 0, 4*k - q = -5*b - 0*k. Suppose -13 = 3*o + b. Is -11 >= o?
True
Let r = 79 - 80. Let q be 3/((-90)/4 - r). Which is smaller: 0 or q?
q
Let x(p) = 22*p**2 + 3*p + 4. Let o be x(-2). Let k = o + -90. Is k >= 1/4?
False
Let i = 2.12 + 79.88. Which is bigger: i or -1/4?
i
Let d = 33 - 32.959. Let g = d + -2.041. Let f = 5 - 3. Which is greater: g or f?
f
Let n = -18/65 - -536/2405. Let k = 5/777 + n. Are k and -1 non-equal?
True
Let a(o) = -2*o**3 - 3*o - 4. Let d be a(-1). Is d > -27?
True
Let h be -1*((-114)/(-12) + -10). Suppose -127 = 4*l - 3*t, 2*l + 5*t + 60 = 3*t. Is l not equal to h?
True
Let b(z) = z**2 - 2*z - 3. Let o(n) = -n - 2. Let d(c) = 2*b(c) - 3*o(c). Suppose -5*l - 1 = 3*w, 0 = 2*w + 4 - 0. Let j be d(l). Is 1/3 <= j?
True
Let z = -27.1 + 26.8. Which is bigger: 25 or z?
25
Let p(s) = -4*s**3 - 12*s**2 + 3*s - 2. Let v(c) = -c**3 + c - 1. Let d(k) = p(k) - 3*v(k). Let z be d(-12). Let x = -25 + 201/8. Which is smaller: z or x?
x
Let z(p) = p**3 + 16*p**2 + 33*p + 18. Let r be z(-13). Which is smaller: 93 or r?
93
Suppose 34*d + 28920 = 2842. Are 2/3 and d unequal?
True
Let a = 494 + -332. Is a != 164?
True
Suppose -5*n = 5*o - 0*o - 15, 16 = 4*o. Suppose -187 = -7*u - 54. Let g be (-22)/(-7) + (u - 22). Is n at most as big as g?
True
Suppose 8*n - 4*n + 12 = 0. Let j be (n + 3)/6 + 1 + 0. Which is smaller: 8/11 or j?
8/11
Suppose -5*w = -w, 0 = d + 5*w - 1. Let q = -613/6 - -102. Let n = 11/12 + q. Do n and d have the same value?
False
Let j be (-640)/48 - -14 - 2/(-6). Which is bigger: j or -757?
j
Let i be (-11)/(308/1068) + 15/70*-4. Let g be ((-114)/(-15))/(1/(-5)). Which is bigger: g or i?
g
Let t = 36 + -19. Let v = t + -8. Is v >= 9?
True
Let k = 74 + -72. Let h = -6101/7 + 873. Is h greater than or equal to k?
False
Let q(r) = 2*r**3 - 5*r**2 + 11*r - 5. Let w be q(5). Which is smaller: 176 or w?
w
Suppose -3*q + 5*q = 0. Suppose 5*l - 15 = 2*v, -2*l + 2*v - 3*v + 6 = q. Let x be 11 - (9/l)/3. Is 9 less than or equal to x?
True
Let o(t) = t**3 + 22*t**2 + 9*t + 18. Let n be o(-21). Let w be n/(-33) - (-5)/(55/2). Are w and -7 equal?
False
Let v = 606/7 + -34724/399. Which is bigger: v or 0?
0
Suppose -6*p + 3*p = 63. Let a = p + 22. Do -0.14 and a have different values?
True
Let k(z) be the second der