= 0. Let m = 432 - s. Which is smaller: m or 2?
m
Let f be 1 + -1 - 11/((-23199)/(-564)). Let z = f - -6/37. Which is smaller: z or 2?
z
Suppose -3*t + 3 = 3*d, -2*d + 5 - 2 = 3*t. Let n(u) = -u**3 - 26*u**2 - 23*u - 15. Let z be n(-15). Let j be 1 + -7 + z/(-360). Which is smaller: d or j?
j
Let p = 10 - 3. Let s be 20/p*(-49)/(-14). Let w be (-18)/s + 1 + -3. Which is smaller: -5 or w?
-5
Suppose -48 = -4*h - 4*h. Suppose h*t = -0*t + 102. Suppose t*o = 18*o - 3. Which is bigger: o or 15?
15
Suppose 0 = -3*o - 151*f + 153*f + 22256, 37035 = 5*o + 5*f. Which is bigger: o or 7413?
o
Let h be (75/30)/((-2)/(-4)). Suppose -9 = 2*w - h. Let o be (-24)/135 - w/5. Which is bigger: o or 1?
1
Let m = -527022 - -4727863/9. Let k = m + 1701. Is -1/2 smaller than k?
False
Let y(c) = -c**3 - 20*c**2 + 23*c + 47. Suppose -14*o = 10*o + 504. Let t be y(o). Which is smaller: t or 10?
t
Let o = 51.7 + -52. Let i = -135 + 135.7. Which is smaller: i or o?
o
Let k = 3120.81 - 2961. Let u = -159 + k. Let r = -0.19 - u. Do r and -0.1 have the same value?
False
Let y = 156 - 96. Let x = 58 - y. Is x > -2/23?
False
Let z be (-13)/104*0 + 0 + 108. Suppose -2*i + 6*p - 157 = 3*p, 0 = -4*i - p - 349. Let a = i + z. Which is bigger: 1 or a?
a
Suppose 0 = 6*v - 2*v - 24. Suppose -v + 2 = 2*b. Let n be (-54)/56 + ((-285)/(-105) - 3). Which is greater: n or b?
n
Let i(c) = -4*c**3 - 498*c**2 - 2619*c - 120. Let d be i(-119). Let q = -700 + 92. Let b = -113698/187 - q. Is d < b?
True
Let d = 161.967 + -162. Let l = d - 15.967. Let k be (-8)/12*(-9)/12. Which is smaller: l or k?
l
Suppose -88772 = 54*q - 3884. Which is greater: -1 or q?
-1
Let l = -0.362 + -0.038. Let q = l + -2.6. Let j = 2.9 + q. Which is bigger: j or -20/7?
j
Suppose 22*v - 18*v - 2*b - 6 = 0, -2 = 2*b. Is v not equal to -18/455?
True
Let u be ((-45)/10)/3*-52. Let g = u - 76. Let q be (-8)/g*(2 - (3 + 0)). Which is bigger: q or -2/5?
q
Let n(s) = -2*s**3 + 9*s**2 + 8*s - 1. Let y be n(6). Suppose 24*h = -17*h - 2665. Is h smaller than y?
True
Suppose 0 = 2*l + 5*g + 5002, -l = 25*g - 27*g + 2528. Is -2515 less than l?
False
Suppose -2*r - 5*r + 105 = 0. Suppose 5 = u + r. Let k be 1/(8/(-110))*(-2)/u. Do k and 0 have the same value?
False
Let d(s) = -6*s + s**3 + s**2 + 4 - 4*s + 2*s + s. Let k be d(4). Suppose -2*m = w - k, 2*w + 174 = 5*w + 3*m. Are 60 and w equal?
True
Let i(w) = -w**3 - 5*w**2 - 5*w - 16. Let b be i(8). Let z be b/16*(-6)/1. Let q be (0 + 12/z)*5/(-10). Do 1 and q have the same value?
False
Let j be (-176)/792 + (-219)/(-135). Which is bigger: j or 48?
48
Let g(j) = -10*j**2 + 1372*j + 106. Let n be g(137). Is n greater than 386?
False
Suppose 4*p - 2*f + 68 = 0, 21*p - 24*p + 3*f - 54 = 0. Let t(w) = w**2 + 2*w. Let y be t(-3). Suppose y*h + 75 = -2*h. Which is bigger: p or h?
h
Let z = -687.905 + 0.905. Let a = z - -688. Are 7.11 and a equal?
False
Let n be (-694)/(1*(-28)/12)*98/28. Which is smaller: 1036 or n?
1036
Let n be (-6)/9*(-6 - 108/(-16))*-2. Are n and 0.01111 equal?
False
Let k = -63.3 - 0.7. Let m = 16 - 31. Let c = m - k. Which is greater: 1 or c?
c
Let z = 2658.2 - 2657. Which is bigger: z or -9?
z
Let c(x) = -131*x - 23. Let b(p) = -265*p - 46. Let u(z) = -2*b(z) + 5*c(z). Let y be u(1). Is y at most -148?
True
Let x be ((-10)/(-4))/(((-10)/(-4))/5). Suppose -15 = c - x. Let a = 1.7 + -1.7. Is a <= c?
False
Let u(k) = -k**3 + 3*k**2 + 864*k + 111. Let r be u(31). Is r > 565?
False
Let r = -492/11 - -18682/429. Is r less than or equal to -2?
False
Let a = 399 + -5987/15. Suppose -13*k = -11*k - 4. Let u be 13/(-52)*(k + 0). Is u < a?
True
Let d = -6712 + 6712. Let p be 60/(-14) - 10/(-35). Let x be 7 + p + (-537)/180. Which is smaller: d or x?
d
Suppose -2*d + 594 = 2*b, b + 5*d - 154 - 139 = 0. Is 1489/5 greater than or equal to b?
False
Let w = 11963 + -11963. Is -4641 greater than or equal to w?
False
Let u(s) = 3*s**3 + 29*s**2 - 10*s - 6. Let v be u(-10). Let x(a) = -3*a**2 - 10*a - 25. Let k be x(v). Is k > -217/3?
False
Suppose -4*z = -5*f + 1504, 14*f + 355 = -z + 10*f. Is -345 equal to z?
False
Let z be (310/(-4))/(-5)*(8 + -6). Let x be (z/(-11) - -5) + -2. Let b = -40 + 161/4. Which is bigger: x or b?
b
Suppose 0 = -4*i, v + 2*i = 10 + 3. Suppose -3*f - v = 10*f. Let z be (-1)/22*-2*2. Is z at least as big as f?
True
Let m(z) = z**3 + 19*z**2 - 3*z - 47. Let u be m(-19). Let b be u/(-35) + 37/7. Suppose -a - 12 = 3*i, -5*i + b*a - 21 = 7*a. Do i and 7 have the same value?
False
Let l(k) = k**2 - 35*k + 12. Let h be l(21). Let b be (-2 - 328/6) + (-188)/h. Is -56 smaller than b?
False
Suppose -84*l - 16*l = 6600. Which is smaller: l or -76?
-76
Suppose 642 = 33*y - 810. Is y at most as big as 53?
True
Let u = -4294/609 + 210/29. Which is smaller: -7 or u?
-7
Let t be (-6)/9*(-4 + 1 + 0). Let o be (15/(-12))/((-22)/t). Which is bigger: o or -1?
o
Let y = -20029/2 + 10013. Let w = 0.2 - -0.4. Which is greater: y or w?
w
Let f be (-1)/(9/264) - (-2 - 5/(-3)). Is f != 32?
True
Suppose 126*k - 1449 = 1071. Suppose 2*s - 33 = 9. Which is smaller: k or s?
k
Suppose 10*f - 5823 + 773 = 0. Let i = -506 + f. Which is smaller: -4/133 or i?
i
Let p be (-2)/(-3 - -1) + 1926/216 + 9. Do 19 and p have different values?
True
Let l = -319 - -319. Suppose -9*a + l = 9. Suppose 24 = 4*x - 7*x. Which is bigger: a or x?
a
Let m be ((9 - (-72)/(-8))/(-3))/(-3). Which is smaller: 2/27165 or m?
m
Let v = 11.265 + -10.265. Is v < 2.151?
True
Let g(l) = 5*l**2 - 19*l - 711. Let n be g(-13). Which is greater: 4179/11 or n?
n
Let o(w) = 34*w**3 - w**2 + w + 1. Let k be o(-1). Let u = -3736 + 3776. Let h = u - k. Which is smaller: h or 76?
h
Let t(d) = -d**2 + 30*d - 74. Let z be t(3). Suppose z*u + 182 = 6*u. Which is bigger: u or -2?
-2
Let m(s) = 3*s**2 - 3*s + 70. Let y be m(7). Let n be (0 + 67)/(y/28). Is n at most as big as 10?
True
Let v = 136.3 + -172. Let n = 37 + v. Let a = n + -1.2. Which is smaller: 33 or a?
a
Let m be (32/(-5)*-1)/(4636/(-34770)). Let z be ((-2)/4)/((-2)/(-176)). Is m greater than or equal to z?
False
Let z be (-16)/6*(-42)/(-4). Let d be 13 - (23 + 1)*790/1422. Which is smaller: z or d?
z
Suppose -4*f + 5*b - 78847 = 0, -f + b = -2*b + 19717. Let x be ((-4)/(-10))/(f/(-65)). Let v = x - 1145/6064. Is v != -1?
True
Let y be (1072/(-9715))/((-76)/10). Which is smaller: 0 or y?
0
Let o(c) = -c**3 - 17*c**2 - 15*c + 20. Let y be o(-16). Let d be 3 + ((-22)/y)/((-14)/(-84)). Let a be (-20)/22*24/d. Is 1 > a?
True
Let a = 370 - 357. Suppose 10*x = 5*o + a*x + 157, -o - 28 = 4*x. Do -34 and o have the same value?
False
Suppose 113*w + 4413 - 1023 = 0. Is w greater than or equal to 156/5?
False
Suppose -2449*t + 2431*t = 40374. Which is greater: -2242 or t?
-2242
Let p(b) = b**3 + 7*b**2 + 6*b + 39. Let x be p(-7). Let m be ((-13)/x)/(4*6/1224). Do 220 and m have different values?
True
Let m be -4 + (558/(-16))/(-9). Let q = -38 + 55.9. Let r = 19.6 - q. Which is smaller: m or r?
m
Let p = 38 - 20. Suppose 0 = -6*i + 18 + p. Let o be -3 + 3 + (-12)/4. Does i = o?
False
Let g = -109 + 136. Let v = 26 - g. Is 27 >= v?
True
Suppose 2*l + 126 = -x, 2*l = 2*x - 61 - 71. Is l at least as big as -129/2?
True
Suppose 40 = 2*v - 4*a, 4*a + 20 = -0*a. Let b = 105 - 102. Let w be (3*v/75)/(b/(-120)). Is -16 >= w?
True
Let f = -1046/119 + 12272/5593. Let b = 141125/21432 + f. Let d = b - 1/24. Is -1 greater than or equal to d?
False
Suppose 3*o + 5*u - 106 = -141, -u = 2*o + 7. Is -11/332 <= o?
True
Let l(t) = 2*t - 1. Let w be l(2). Suppose -3*p - 3*u = -4*u - 25, w*u + 30 = 4*p. Let n(b) = b**3 - 10*b**2 + 14*b - 11. Let i be n(p). Is i != 34?
False
Let a(l) = -l**2 - 14*l + 201. Let b be a(-20). Are b and 66 equal?
False
Let t(l) = -l**3 + 16*l**2 - 28*l + 1. Let j be t(14). Which is bigger: j or 8/705?
j
Suppose 37*u - 94 = 127*u - 4. Which is smaller: u or 783?
u
Let h be (12 + -5 + -8)/((-2)/6). Suppose -h*q = q - q. Suppose q = -5*u - 5 + 10. Is 0.5 at most as big as u?
True
Suppose 4*x + 5*f - 2*f = -46, 4*f + 8 = 0. Let a be (x/12)/(18/8 + -3). Which is bigger: 2 or a?
2
Let b be (88/45)/(412/(-1030)). Let p(f) = -f**2 - 6*f - 5. Let a be 6*2*(-2)/4. Let d be p(a). Which is smaller: d or b?
d
Let a = -261 + 1204/5. Are 8 and a nonequal?
True
Suppose 0 = -7*h 