/(-24). Is 45 smaller than l?
True
Let k(l) = 16*l - 75. Let q be k(5). Suppose q*j = 2*p - 66, p = -3*p + 4*j + 108. Let d(i) = 3*i**3 - i**2 + 2*i - 1. Let n be d(2). Does p = n?
True
Let k(s) = -32*s + 105*s - 56*s + 87. Let l be k(-9). Is l greater than or equal to -64?
False
Let m = 118 - 118. Let p be -3*8/12 + (-3 - -2). Let o be (p/(-15))/(6/(-5)). Is o not equal to m?
True
Let r = 1491 + -237074/159. Which is smaller: 1 or r?
r
Let u = 19 - 12. Suppose 21*a - 32 = -4*m + 25*a, 2*a - 26 = -4*m. Is u >= m?
True
Let f = 3683 - 5575. Is f greater than 1?
False
Let m = 831251/7 - 119290. Let q = -1132 - -593. Let s = q - m. Which is bigger: s or 0?
s
Suppose -10 = 2*b, -4*t + 5*b - 162 = -211. Let x = 16 - -8. Suppose 0*w = -4*w + x. Is w greater than t?
False
Suppose -240 = 14*u - 226. Do -2/3979 and u have different values?
True
Let x = 96 + -94.74. Let s = -6882 + 48176/7. Is x greater than or equal to s?
True
Let m be 0 + (-1)/3 + (-17524)/(-52338). Let h be 0/(7 - (2 + 3)). Which is bigger: m or h?
m
Let r = -297 - -296.516. Let f = 8.216 - r. Is f != -2/15?
True
Let q = -7.5 - -8. Let y = 0.5 - q. Let r = 441.9 - 450.9. Which is smaller: y or r?
r
Suppose 5*x + 38 = 3*v, -4 = -3*v + 2*x + 13. Is -23/329 >= v?
False
Let y = 3239 - 3240. Is -1/3724 bigger than y?
True
Let v be (-2)/(-12) + 4452/72 + 11. Is v bigger than 71?
True
Let o(k) = k**3 - k**2 + 3*k - 10. Suppose -2*j = q + 6, 6 - 26 = 5*j. Let a be o(q). Are a and -40 nonequal?
True
Let q = -23.058 + 0.058. Let c be -2 - (-1 + 0*8/32). Is c greater than q?
True
Let o be 4/32 + (-3204)/32. Let d = o - -107. Let i be 7/(-3) - (-21)/d. Does i = -12?
False
Let i = -0.4197 + 0.0077. Let f = i - -0.512. Is -151 > f?
False
Let w = 0 - 1. Let i be (-4 - (7 + 86)) + 20/(-8) + (-3)/(-6). Which is greater: w or i?
w
Let f be 44/(-15)*(-50)/(-12). Suppose -2*t + 1608 - 1620 = -g, -g - t - 24 = 0. Is g greater than or equal to f?
True
Suppose 0 = w - 2*q + 6940, -q - 20869 = -15*w + 18*w. Is -6955 < w?
True
Let q be -3 + 3 + 135/5760*(-2 + 4). Suppose 3*x = -2*u + 1, -u + 5*x = 2 + 4. Is q >= u?
True
Suppose -t + 2*l - 13889 = 0, -9*t + 3*t - 83232 = 5*l. Which is smaller: -13875 or t?
t
Suppose 0 = 8*l + 15*l + 11*l. Are l and 1/346 non-equal?
True
Suppose 21*u - 5608 = 10268. Which is greater: u or 754?
u
Suppose 5*s = x + 25, 7*x + 3*s = 12*x + 15. Let b be 1/2*(-3)/(-15)*x. Is 3/358 less than or equal to b?
False
Let n = -448.834142 - 0.025858. Let y = 449 + n. Is -3 greater than y?
False
Let j = 9 + 16. Suppose -21*p + j*p = 0. Suppose -3*c + g - 26 = -3*g, p = 2*g - 4. Is c at most -1/3?
True
Let z = -121.62 + 116.62. Is 518 at most z?
False
Let b(p) = 132*p + 297. Let d be b(-3). Do d and -8 have different values?
True
Suppose z - 14 = -4*n, 5*n = -1 + 11. Suppose -7*j + z*j = 3. Let y(s) = -s**3 - s**2 + 5*s + 5. Let x be y(j). Are x and 8 nonequal?
False
Let f = 4/59943 - -1070090/133133403. Is 1 <= f?
False
Let u(h) = 2*h**2 + 3*h - 1. Let g be u(3). Let v = g - 48. Let o(c) = -12*c + 2. Let b be o(2). Are v and b equal?
True
Let a = 2460479.99 - 2470401. Let r = a - -9993. Let q = r - 72. Is q bigger than -2?
True
Suppose -49 = -15*u - 4. Let j be (u - (3 - (-2)/5))*-20. Which is smaller: 17 or j?
j
Suppose 9*t - 28 = 2*t. Suppose 90 = -t*y - r, 2*y + 41 = -2*r - 7. Let z = y + 25. Which is smaller: z or 24/13?
24/13
Let q be (3/9 - (-130)/(-1440)*-74) + -7. Which is smaller: 15 or q?
q
Let g(v) = -v**2 + 10*v + 36. Let o be g(8). Suppose 8 + o = 3*w. Is 20 > w?
False
Let z be 1*(-46194)/46182 - 3*2/(-6). Which is smaller: -1 or z?
-1
Let m(g) = 6*g - 75. Let r be m(5). Let s(k) = -k - 7. Let c be s(-10). Suppose 0 = a - 3, -8*q + 4*q + 1 = c*a. Which is smaller: r or q?
r
Let r = 511 - 1489. Let d = 957 + r. Is -27 <= d?
True
Let o be 10/5 - 28/7. Let v be (-16 - -12) + o - -1*5. Which is smaller: v or -2/49?
v
Suppose 3*p - 15 = 3*s, p + 2 = -2*s - 2. Suppose -p*l - 16 + 26 = 0. Suppose -3*x + x + 309 = -5*a, l*x - 132 = 2*a. Which is smaller: a or -60?
a
Let f be 104/(-10)*(-10)/4. Suppose -z - 2 = 2*j, 0 = -5*z + 4*j - 5*j + f. Which is greater: z or 7?
7
Let o be (-1177)/88 + 6/16. Which is smaller: -22 or o?
-22
Let z = -0.7 + -8.3. Let f = -11.86 + -0.14. Let x = z - f. Is x less than -2/7?
False
Suppose 355*j + 2*w + 1427 = 352*j, 2*j = 3*w - 921. Is j < -467?
True
Suppose -3*u + 2*l = 2*u - 15795, -2*u = -l - 6318. Is u smaller than 3159?
False
Let j = 61.9 - 121. Let s = -71 + 12. Let l = j - s. Do -3/17 and l have different values?
True
Suppose 2*l - 4*b = 0, -l + 5*b = -2*l. Suppose -h + 155 = -5*a - 440, -4*a = l. Which is smaller: h or 596?
h
Suppose -5*h = -14 - 11, 0 = j + 4*h - 118. Let u = -109 + j. Is 1 less than or equal to u?
False
Let o(g) = -g**3 + 19*g**2 - 80*g + 23. Let l be o(13). Suppose -2*p = -3*t + 71, 3*t + 119 = -5*p - 48. Is l != p?
True
Let b = 35457 + -35501. Is b smaller than -257/6?
True
Let w = -917438494/326035 - -938322/1655. Let f = w - -2247. Let j = f - 1143/21079. Which is greater: -1 or j?
j
Let f(s) = s**3 + 4*s**2 - 5*s + 4. Let b be (-26)/6 + 12/(-18). Let y be f(b). Suppose y = o + o. Which is smaller: 8 or o?
o
Let q = -3009 - -1407. Is -3 > q?
True
Let x = -9208/2213877 - 2/5043. Let u = x + -872/1317. Which is smaller: -1 or u?
-1
Let o = -6494 + 6486. Is -214 <= o?
True
Let q(x) = -x + 28. Let l(u) = u + 1. Let s(v) = -3*l(v) - q(v). Let o be s(-10). Is o bigger than -5?
False
Let p = 54 + -49. Suppose -a - 4*i = -5*a - 72, 96 = -p*a + 3*i. Let k be ((-52)/(-6))/1*9/a. Which is smaller: -3 or k?
k
Let d = -31 + 441/16. Which is bigger: -3 or d?
-3
Let o be 808 + -813 - (1 + (-144)/22). Which is smaller: 2 or o?
o
Suppose 57*x = 40*x - 510. Let z be (-10)/18 - 19/(2565/x). Is -14 at least as big as z?
False
Let f = 156.225 + -156. Let i = f - 12.125. Let g = i + 12.27. Are 1/2 and g equal?
False
Let y = 0.28 + 18.72. Let l = y - 8. Let i(n) = n**3 - 5*n**2 - 8*n + 11. Let w be i(6). Which is bigger: w or l?
l
Suppose -2*o + 3*k = 98 + 136, k - 344 = 3*o. Let q = -16880 + 16765. Which is greater: q or o?
o
Let g(a) = -a**2 + 100*a - 1997. Let z be g(71). Suppose w - 33 = 26. Are z and w non-equal?
True
Let m be (2400/64)/(-15)*(2 - (-12)/(-10)). Is -2/2079 equal to m?
False
Let d be 225/13482*16/80. Do -1 and d have the same value?
False
Let o = -144689 - -1882157/13. Is o at most 92?
False
Let v be ((-5)/(-35)*-35)/(2/78). Which is greater: -188 or v?
-188
Let t be ((-21)/(-42))/((-1)/(-2)). Let p be 484/363*(-3)/566. Which is greater: t or p?
t
Suppose 3*c + 3 = -12, l = 3*c + 15. Is l at least -28/57?
True
Let c = -460796/5 + 92157. Let p be 0/2 - (0 - -1). Let h = -4 - p. Is h bigger than c?
False
Let w = -146871 - -146999. Let r be 3/(-1 - 395/(-386)). Is r greater than or equal to w?
True
Suppose 5*u + 31 = -14. Let p be 165/u - 6/9. Let w = -9.9 - -10. Which is bigger: p or w?
w
Let i = -9655 + 9334. Is i <= 0.09?
True
Let i = -14.87 + 14.1. Let g = i + 0.82. Let h = 0.05 - g. Do -0.4 and h have the same value?
False
Let j(b) = b**3 + 13*b**2 + 24*b + 83. Let q be j(-11). Suppose -17*o + q = -21*o - 5*t, 24 = -2*o + 4*t. Are 0.2 and o equal?
False
Let u(b) = -285*b - 2460. Let i be u(-9). Which is bigger: i or 103?
i
Suppose -29 = -q - 5*c, -3*q + 4*c + 0*c = 8. Let z be (-19)/q + (-5)/20. Let k be (-6 - (9 + (-322)/21))/((-3)/45). Does z = k?
True
Suppose 5*j - 6 + 1 = 3*f, -2*j + 28 = 4*f. Suppose f*k = a - 5*a + 18, -2 = -k. Suppose -15 = 3*o - a*o. Which is greater: o or 0?
0
Let y be (-4)/6*(16 - (-910923)/(-56940)). Is -2/11 at most as big as y?
True
Let a = 34 + -34.896. Let x = 0.86 + a. Let o = 35.964 - x. Which is smaller: 2/5 or o?
2/5
Let d(o) = 1364*o - 1. Let c be d(1). Let j = -2/2058463 - -2807930667/2058463. Let b = c - j. Is b greater than or equal to -1?
False
Let j = 73/23 + -11945/3749. Suppose -3*t = 3, -82*t = -h - 78*t + 5. Which is bigger: j or h?
h
Suppose -551 + 527 = -8*m. Let y be m/9*-9 + -9. Is y bigger than -16?
True
Suppose -4 + 5 - 1 = 134*n. Which is bigger: 2/14589 or n?
2/14589
Let v = 779/7 + -11944/105. Which is smaller: -1 or v?
v
Suppose 15 = 5*l, 0 = -n - n - 3*l + 93. Let g = n + -39. Let y be (-7)/(-420) + g/(-18). Does y = 0?
False
Let o be 1 - 2/((-4)/(-2)). Let n be 6 +