q) = -7 + 3 + 7*q - 1 + 1. Let u(m) = 5*b(m) + 7*v(m). Let z be u(-13). Which is bigger: 14 or z?
z
Let z = -24.4 + 24.34. Let f(o) = -68*o**2 + o. Let h be f(-1). Let q = h - -485/7. Is q < z?
False
Suppose -3*n + 40 = -0*j - 2*j, 0 = 4*n + 4*j - 40. Let c(v) = -5*v + 2 - 3 + 5*v**3 + n*v - 4*v**3. Let o be c(3). Which is bigger: o or -0.1?
o
Let n = 4588 + -4587.9339. Which is greater: n or -1?
n
Suppose 71 - 1016 = -3*t + 4*h, 0 = -5*t + 2*h + 1575. Let l = -311 + t. Which is smaller: 44/13 or l?
44/13
Let r be (110/(-88))/((-1)/4)*2/(-205). Which is bigger: r or 44?
44
Let n = -2693 - -2673. Do n and -293/15 have different values?
True
Let a = -16.3486 + -0.0874. Let j = -0.536 - a. Which is greater: -0.2 or j?
j
Suppose -5*c + 84 - 24 = 0. Suppose c*q = -3*n + 17*q - 18, -n + 4*q - 13 = 0. Is -1/36 greater than n?
True
Let z be (-55)/44 + (-6)/((-144)/(-1570)). Which is smaller: -5/4 or z?
z
Let z be 10/600*(30/(-4))/(-5). Let m be (-5 - -7)*6/(-4). Let k be 15/m + 1 + 4. Is z greater than k?
True
Suppose -4*x - 1 = 5*y, 18 = 2*y - x - 2*x. Suppose -i - 16 = -2*k - 5*i, -y*i + 13 = k. Let m be 3*(-15)/18 - k. Which is smaller: m or 17?
m
Let v(f) = -4*f**2 - 12*f + 1. Suppose 0 = -5*o + 5*g + 10, -4*g - 4 = -2*o. Let q be (1 - o)/(-1)*-3. Let z be v(q). Is 3/19 greater than z?
False
Suppose 954 = 4*s + 2*q, 5*s - 771 = 5*q + 444. Let b be (-2)/6 - s/9. Let t = -5 - b. Which is bigger: t or 21?
t
Let q = -3646.23 + 3545. Let l = q - -101. Let h = 0.33 + l. Is h greater than or equal to -89?
True
Let f(o) = -o**3 - 13*o**2 + 11*o + 3. Let g be f(-14). Let q = -41 + g. Suppose q*n - 5*n - 4*j = 20, -n = -3*j - 15. Which is smaller: n or -2/47?
-2/47
Let j(h) = 0*h**3 + 2*h**3 - 7*h**2 - 20*h + 8*h - 3*h**3. Let x be j(-8). Let f be 1 + (3 - x/25). Which is bigger: -1 or f?
-1
Let t be (8/44*-1)/(-4*5/110). Which is greater: t or 15/43?
t
Suppose 103*n = 139*n - 36. Is n smaller than -15/61?
False
Let x = 43.909 - -0.091. Let p = x - 22. Let m = p - 29. Is -1 greater than or equal to m?
True
Let z = 335 - 329. Let r(u) = -15*u + 48. Let m be r(z). Which is smaller: -43 or m?
-43
Let m(r) = 13*r**2 - 19*r**2 - 1 + 6*r + 5*r**2. Let b be m(-3). Let z(q) = -q**2 + 14*q - 29. Let j be z(14). Which is smaller: j or b?
j
Let d be (49/((-5488)/84))/(6/4). Is d greater than -3127?
True
Let q = -17.7 - -16. Let s = q + 1.5. Let l = -11.01 + 11. Which is greater: l or s?
l
Let a be (5/2)/(2/(-4)). Let i be 66/42 + -3 + (-3105)/1134. Which is smaller: i or a?
a
Let n be ((-2919)/(-12))/7*-4. Suppose 3*r + 0*r - 285 = 0. Let q = r + n. Which is bigger: q or -45?
q
Suppose -34*i - 49 + 146 = 50*i - 155. Let v be 996/(-154) + 2/7. Is v at least i?
False
Let w be 18/(-8)*4*1. Let j(x) = 36*x + 3290. Let k be j(-92). Let i = w + k. Is -32 less than or equal to i?
True
Let p = -1693/5 - -81108/205. Let q = -57 + p. Is -1/4 less than q?
True
Let v be (-5)/(842/(-880) + 28/154). Which is greater: 7 or v?
7
Let d be 2 + (-12)/(-78) + (-297)/(-13). Suppose 19*x = 24*x - d. Suppose 6*j - 13 = x*j. Are 13 and j equal?
True
Let f(p) = 11 - 13 + 3*p + 14*p + p**2 + 13. Let y be f(-16). Let w(u) = -5*u - 3. Let c be w(-1). Which is greater: c or y?
c
Let q be (-310)/(-124) + (-378)/204. Let g be 3/6 - (-2)/(-4). Which is smaller: q or g?
g
Let u = -1.011 + 0.071. Let a = 0.14 + u. Let y be 2 + -2 + 1 - 4. Is a at most as big as y?
False
Let x = 1/449 - 929/13919. Which is smaller: 0.218 or x?
x
Let g = 109 - 99. Let f be 4 + 4/2*(-5)/g. Are 1 and f nonequal?
True
Let l be 10/8 + ((-885)/100 - -7). Does l = 0.0328?
False
Let x = 3766 - 3727. Which is bigger: x or 76?
76
Let c = 301 - 352.9. Let l = -4694 - -4746. Let x = c + l. Which is smaller: 1 or x?
x
Let z be (9/(-2))/(2 - (-20)/(-8)). Suppose -2*u = -4*r + 5 + 1, 5*u = -3*r + 37. Suppose -5*c = -r*p + 27, -5*c + 0*c = 4*p - 37. Which is smaller: z or p?
p
Let v be -5*(1 + 14/3). Suppose 4*f - 196 = 6*i + 54, 3*f = 2*i + 115. Which is greater: i or v?
v
Suppose -20*o + 1374 = 1086 + 928. Which is bigger: -58 or o?
o
Let y be (-25)/2 + (-4)/8. Let t(j) = -j**3 - 8*j**2 + 208*j - 31. Let k be t(-19). Which is smaller: k or y?
y
Let h be 1*5/(-40)*4. Let d = -756 - -628. Is d not equal to h?
True
Let u = -88 - -90. Suppose 5*k = -10, -2*x + u*k + 16 = -2*k. Suppose 6 = -m + 3*q - 10, 3*m + x*q - 17 = 0. Is -2/195 < m?
False
Let r = 54 - 160/3. Suppose 70 = 2*d + 6*q - 3*q, 4*q = -4*d + 140. Let p = -30 + d. Is p >= r?
True
Suppose 0 = 13*f - 125 + 34. Let i be -4*(-93)/63 - f. Is 0 less than i?
False
Suppose -84 = -s - 5*p + 3*p, -5*p = 0. Suppose -83*t + s*t + 291 = 0. Which is smaller: -1/2 or t?
t
Let g = -11.943 - -7.994. Let k = g - -4. Does 1 = k?
False
Let n be ((-1 + 1)/(288/32))/1. Is -3/5998 smaller than n?
True
Let g = -2146 + 2182.8. Which is smaller: g or -1?
-1
Let t = -23109 + 23310. Which is bigger: -62/3 or t?
t
Let j = 131656/4626339 + -178/6999. Let l be 2/(0 + 2*1). Is l >= j?
True
Let d(z) = -9*z + 63. Let i be d(8). Let p be 6*1/(-5)*5. Let h be 2/(-28) - i/p. Which is smaller: h or -1?
h
Suppose -11*g + 7*g = 740. Let y = g - -186. Let t = 11 + -56/5. Which is bigger: t or y?
y
Suppose 0 = -15*d + 74 - 29. Suppose d*r + 1 = 4*q + 9, r + 2 = -q. Which is smaller: 6/13 or r?
r
Suppose o - n = -64, o - 5*n - 69 + 161 = 0. Which is smaller: o or -815/14?
-815/14
Let x = 43/2 + -661/31. Is x equal to 1?
False
Let k = -14016 + 14016. Let r = 16 + 0. Let v be ((-18)/r)/((-6)/(-8)). Which is greater: k or v?
k
Let r be 1/(142/(-118) - -1). Let w be (((-902)/44)/41)/((-2)/(-16)). Which is greater: w or r?
w
Let v(a) = -2*a**2 - 153*a - 147. Let u be v(-65). Is 1350 equal to u?
False
Suppose 13*w = 4*c + 9*w + 128, 5 = -5*w. Which is greater: -1/8 or c?
-1/8
Let z(a) = -21*a**2 + 15*a - 41. Let y be z(3). Let x = -184 - y. Let u = -2287 + 116641/51. Is x smaller than u?
False
Let b = 0.371 + 176.629. Let f = b + -177.2. Let z be (-14)/8 - (-3)/6. Which is smaller: f or z?
z
Let q = -3803 + 3815. Which is bigger: q or 161/15?
q
Let s = 18259 + -18258. Is -14/1343 < s?
True
Let w = -18 - 211. Let v = -228 - w. Is -18/41 greater than or equal to v?
False
Let g(a) be the first derivative of -3*a**2/2 + 20*a + 5. Let t be g(0). Let i be t/30 - (-146)/(-192). Does 1 = i?
False
Suppose -y - 154 = -176. Suppose y - 8 = l. Which is smaller: l or 15?
l
Suppose -6 = -2*b, b + 2*b + 103 = -4*w. Let h be ((-2)/w)/(2/16). Which is bigger: 0.01 or h?
h
Suppose 0 = 973*x - 982*x + 117. Let f be 2/6 - (-861)/9. Suppose 5*j = 4*l + f, -l = -2*j + 49 - x. Which is smaller: j or 1/2?
1/2
Suppose -4*i - 4*y - 20 = 0, -y - 198 + 195 = 0. Let l = 19 - 31. Which is smaller: i or l?
l
Let d = 1/220973 + 15909727/72700117. Which is greater: d or -1?
d
Let r be 6/(-30)*8/(31392/(-30)). Is 1 greater than r?
True
Let q = 2574 - 1408. Which is greater: 1168 or q?
1168
Let l = 2 + -1. Let s = 259 + -202. Let a = s + -56.93. Which is smaller: a or l?
a
Suppose -2*k = -5*x + 55 + 13, -k - 34 = -4*x. Let u = 19 + -57. Is u not equal to k?
True
Let j = -154 - -179. Suppose -28*p = -j*p + 258. Is p less than or equal to -86?
True
Let m = -18523 + 18524. Let c be 1 + (0 - (-9)/57). Which is bigger: c or m?
c
Let a = -0.85 + 1. Let y = a + -0.45. Let p be 3*(-1)/2 - 494/(-468). Which is smaller: p or y?
p
Let j(t) = t**3 - 12*t**2 + 11*t - 2. Let z be j(12). Let b(u) = -u**2 - 28*u - 51. Let h be b(-18). Is h >= z?
False
Let o = 14858 + -14861. Is o greater than or equal to -0.2407?
False
Suppose 59*r - 66*r = 31*r + 46740. Which is greater: r or -1231?
r
Let s(x) be the third derivative of 0 - 1/12*x**4 + 0*x - 3/2*x**3 + 12*x**2. Let z be s(-5). Is z at least -1/29?
True
Let s = -10156 - -10156.5. Let h = -8 + 18. Let g = h + -11. Which is greater: s or g?
s
Suppose -68 - 56 = -4*b. Let x = b - 14. Suppose -6*w = -w - 85. Does x = w?
True
Let y = -1250 + 469. Is -775 < y?
False
Let m = -99/14185 - -894265252/42555. Let o = m - 146388/7. Let p = -102 + o. Is p at most -1?
False
Let p = -46 - -57. Suppose p*z + 35 = 200. Is -14/5 != z?
True
Let u = 2194663829/775 + -2831825. Let c = u - -16/25. Do 1 and c have the same value?
False
Let n(t) = t**2 + 16*t + 20. Let d be n(-15). Suppose 16 = d*z - 4. Suppose -5*y + z*f = 53, 2*y - f = -4*