/12 + 7*j**3/6 - 6*j**2 - 12*j. Let t be i(4). Let l = -11/9 + 79/72. Is l at most t?
True
Suppose -6*t + 5*t = 0. Suppose y - w - 2 = -t*y, -3*w = -y + 6. Let u = 3 + y. Which is smaller: u or 1?
1
Let h(d) = -3*d**3 - 5*d**2. Let g be h(-2). Suppose -34 = -g*o + 10. Which is smaller: 10 or o?
10
Let j = -288 + 271. Which is bigger: j or -19?
j
Let n = 0.727 - 0.779. Which is smaller: n or -2/9?
-2/9
Let x = -202 + 363/2. Do x and 2/3 have the same value?
False
Let s be ((-4)/12)/((-1)/(-3)). Let u = -2.2 - -2. Do s and u have the same value?
False
Let c = 1423372/295 - 4825. Which is smaller: c or -1?
-1
Let d be (15/9 + -2)*3. Are d and 18 unequal?
True
Let i be ((-72)/16)/9*2. Which is smaller: i or 18/287?
i
Let g = -1604 - -1450. Is g less than or equal to -156?
False
Let l = 25 + -45. Let a = 33 + l. Are 14 and a equal?
False
Let n be (2/(-7))/(-1 - 1). Let w be ((-2)/20)/(5/260). Let x = -192/35 - w. Is n at most x?
False
Let v = 18 + -90. Let o = v - -73. Is o at least -2/113?
True
Let b be 106/6 - 1/(-3). Let i = b + -143/8. Let q be 1 + (-6 - (5 + -6)) + 4. Which is greater: i or q?
i
Let j be (-6)/(-5) - 8/(-10). Which is greater: j or 28/15?
j
Let n(o) = -6*o - 13. Suppose -5*f - 4 = 4*a + 46, f = -2*a - 16. Let x be n(f). Which is greater: 22 or x?
x
Let y be (-5 - (1 - 3)) + 6. Let l be (-20)/(-84) - y/9. Which is smaller: -1 or l?
-1
Let g = 1.2 - -2.8. Which is smaller: g or -1?
-1
Let k = -1 - -7. Let c = -11 + k. Let q = -792 - -792.1. Which is smaller: c or q?
c
Suppose 2*d + 27 = -k, -2*k + 3*d = 26 + 42. Let g = -119 + 74. Let j = k - g. Does 14 = j?
True
Suppose 3*s - 5 = -5*r + 9*r, 12 = -2*s - 5*r. Is s < -15/46?
True
Let j(z) = -z**3 + 50*z**2 - 6*z + 299. Let k be j(50). Let a = 6053/13 + -466. Is a greater than or equal to k?
True
Let o = -318 - -311. Which is smaller: o or -16?
-16
Suppose 16 = -6*q - 44. Let f(m) = -m**3 - 12*m**2 - 20*m - 10. Let o be f(q). Are -14 and o non-equal?
True
Let i = -432 + 399. Is i bigger than -222/7?
False
Let l = 2309.99 + -2293. Let g = l + 0.01. Let s = -16.8 + g. Which is greater: s or 0.09?
s
Let l(t) be the third derivative of t**4/12 + 10*t**2. Let c be l(0). Is -2/121 smaller than c?
True
Let u = 107 - 89. Suppose u*w = 9*w + 18. Which is smaller: w or -18?
-18
Let m(l) = 3*l - 12. Let f be m(5). Suppose -2*o - f*z = 18, -6*o + 5*z + 5 = -o. Let s be (-28)/(-14) + 8/o. Is -1/3 smaller than s?
False
Let q = -0.007 - -0.907. Let s = -0.8 + q. Is -8/11 <= s?
True
Let c = -715 - -17869/25. Let p = 191 + -191. Which is greater: c or p?
p
Suppose -12 = 12*c - 0*c. Do c and -3/445 have the same value?
False
Let t = -5630/5181 + -2/471. Which is smaller: t or -4?
-4
Let r be ((-35)/15)/(1/3). Let k(o) = -o**2 + 12. Let y be k(-3). Suppose y*b - 2 = -26. Which is greater: b or r?
r
Suppose 4*s - 3*s - 22 = 0. Suppose -4*r - 2 = -s, -11 = -4*t + r. Which is smaller: t or 5/2?
5/2
Let j be (-1 - -10) + (-6)/(-2). Suppose -5*y - 1156 + 1216 = 0. Is y greater than j?
False
Let g = -0.049 - 4.551. Let h = g - -4.7. Which is bigger: -27 or h?
h
Let u = -1.214 + -12.046. Let v = 0.26 + u. Let c = -14 - v. Is c less than 1.4?
True
Suppose 27*m = 22*m - 15. Let o be (-51)/9*3*(m + 2). Is o bigger than 17?
False
Let s be 11 - (-5 + 14)*-47. Which is bigger: s or 436?
436
Suppose 5*m - 3*m = -30. Let s be 384/m - (-8)/(-20). Do s and -26 have the same value?
True
Let m be (3/3)/((-1)/18). Let z be (-1 - 16/m)/((-17)/102). Is z at least as big as -1/6?
True
Suppose 0 = -2*n + 7*n - 125. Suppose -2*v - 11*m + 7*m = -56, -4*v + 109 = 5*m. Are v and n non-equal?
True
Let m be (-46)/(-288) - 26/117. Let l(c) = c**2 + 9*c. Let i be l(-9). Suppose z + z = -4*o - 18, -z - 3*o - 13 = i. Which is bigger: z or m?
m
Let w = -809 + 44493/55. Let f(s) = 7*s - 21. Let d be f(3). Which is smaller: d or w?
w
Let r = 8 - 5. Let h = -15.3 - -30.7. Let q = h - 15. Which is greater: r or q?
r
Suppose -15 = -3*q, 2*s + 5*q + 20 = 7*s. Let l(g) = 3*g - 12. Let p be l(5). Let k = p - -6. Is k at most as big as s?
True
Let y = 1011/2 - 13217/26. Is -3 at least y?
False
Let f = 327 + -322. Which is greater: 6 or f?
6
Let k(o) = -8*o. Let n be k(-1). Suppose -j = n*j - 324. Which is smaller: j or 38?
j
Let a(h) = -h**3 + 12*h**2 + 13*h + 11. Let y be a(13). Let n(i) = 2*i - 21. Let k be n(y). Which is smaller: k or -2/41?
-2/41
Suppose 14 = -5*i + v, 0*v + v + 16 = -5*i. Let u(r) = 4*r - 12. Let n be u(-4). Do n and i have the same value?
False
Suppose -20 = -5*t, 7*j + 2*t = 9*j + 8. Which is smaller: j or -1/3?
-1/3
Let i = -10 + -126. Let a be i/(-190) + (-8)/20. Let x = a + -113/57. Is x <= -1?
True
Let p = 15.9 + -16. Let m be 0 - -5*(-6 - 3). Let w be (3/m)/(1/2). Which is smaller: w or p?
w
Let s = -3 + 9. Let u be 18/4*(-1)/s. Suppose -3*j - 29*n = -30*n - 3, -2*j - 5*n = 15. Which is smaller: u or j?
u
Suppose 0 = -30*a + 44*a. Is a smaller than -9/109?
False
Let y = 2 - 13/9. Let b = 0.3337 - 0.1337. Which is smaller: y or b?
b
Let z = 261 + -261. Which is smaller: z or -84?
-84
Suppose 2*x - 3*x - 4*y + 7 = 0, 8 = -4*x - 4*y. Suppose 34*m = 30*m - 24. Which is bigger: x or m?
x
Suppose 3*o = 5*w - w - 27, -5*w - o = -10. Suppose -4*y + 165 = -w*l, -2*y + 6*l - l + 79 = 0. Let s be 135/y + 4/14. Is -2/7 less than s?
True
Suppose -3*g + 7*g + 224 = 0. Let z be (3 - 9)/(6/g*-2). Which is bigger: z or -83/3?
-83/3
Let g(x) = 5*x - 21. Let a be g(7). Suppose -a = 3*v + 10. Which is smaller: v or -10?
-10
Let s(k) = k + 8. Let l be s(-6). Let i(r) = -r**2 + 91*r + 378. Let w be i(-4). Which is smaller: l or w?
w
Let f be (3*(-1 + -1))/(61/(3965/(-39))). Let d = 0.8 + -1. Let y = 0 + d. Which is smaller: y or f?
y
Let z be -219*(-4)/6 - -2. Suppose -10*m - 72 - z = 0. Is m bigger than -23?
True
Let k = -32.4 + 31.4. Is -9/4 equal to k?
False
Let i = -273 + 278. Which is smaller: 1/16 or i?
1/16
Let w be 50/(-24) + (-3)/12. Let o(t) = -6*t - 2. Let d be o(1). Let a = -10 - d. Which is greater: w or a?
a
Let j = -343 + 242. Is -101 greater than j?
False
Let g = -6.38 - -25.38. Which is bigger: g or 1/2?
g
Let m be 3/1 - 762/4. Which is smaller: m or -187?
m
Let n(a) = a**3 - 10*a**2 - a + 9. Let l be n(10). Let j be (-236)/(-180) - l/(-5). Which is smaller: 0 or j?
0
Let z = 0.3 - 0.25. Let v = 0.05 - z. Is -2/9 equal to v?
False
Let p be 13/20 + 1/(-4). Suppose 4*n - 2*n - 4*y - 28 = 0, 0 = n + 4*y + 16. Suppose -q + 3 - 8 = n*l, -q - 4 = 3*l. Is p >= l?
True
Let d be -25 + (-9)/((-9)/4). Let b be (-6)/21 + (-2253)/d. Which is smaller: 106 or b?
106
Let q be (-1 + 0)/((-5)/(-2)). Suppose 5*g - 4*t + t + 12 = 0, 3*g + t + 10 = 0. Let f = -3 - g. Which is greater: f or q?
f
Let n be (-28)/14*3/2. Let a be n - (-5 + 4/(-8)*-6). Which is bigger: 1/46 or a?
1/46
Let p be (10 - 2 - -125) + 8. Do p and -1/2 have the same value?
False
Let p be 2/(-6)*2 + (-266)/(-57). Suppose 2*d - 3*m = 103, -p*d + 4*m + 246 = 42. Which is smaller: d or 51?
d
Suppose 9*g - 6*g + 12 = 0. Let z be g + 3 + (-38 - 3). Let r be z/11 - 44/(-11). Which is bigger: -1 or r?
r
Suppose 7 = -8*o + 9*o. Suppose 5*t = -3*q + 5, 4*q = -0*q - 5*t. Let j = q + 9. Which is smaller: o or j?
j
Let d = 12676/35 + -1778/5. Which is bigger: 6 or d?
d
Let q = 5 + 4. Suppose -q = -5*s + 2*s. Suppose s*m - m = -8. Are m and -3 nonequal?
True
Let c = -0.111 - -0.411. Which is smaller: c or 13?
c
Let z be 152/(-30) + 13/(-39). Let v = 194/35 + z. Which is smaller: 1 or v?
v
Let v = -1720 - -1717. Suppose 4*h = 5*t + 28, -2*h = -h + 2*t - 7. Which is smaller: v or h?
v
Let i = -100 + -2. Let q = i - -105. Which is bigger: q or -2/5?
q
Let r = -491 - -491. Is r <= 1/76?
True
Let j = 627/5 - 2533/20. Let m be -2*(1 + -1 + 1). Is m greater than j?
False
Suppose 4*a = -0*a + 4. Is -2/229 smaller than a?
True
Suppose -5 = 4*a - 5*a. Suppose a*f - 2*f = 0. Suppose 4*s = -2*p + 28, f = -3*s - 6*p + 2*p + 11. Is 1/2 greater than or equal to s?
False
Let r be (-90)/25 + 25/(-40)*-4. Is r greater than 0?
False
Let o = -6159733/642 - -257285208227/26815698. Let l = 1/1547 + o. Which is greater: -1 or l?
l
Let w(v) = -2*v + 4. Let b be w(5). Let k = b + 9/2. Let q(l) = l - 17. Let c be q(16). Is c at least as big as k?
True
Let f = -345 + 347. Which is smaller: f or -3/26?
-3/