be j(40). Is t smaller than 72?
True
Let t = -100 + 62. Let j = 26 - 23. Let q be j/(((-6)/76)/1). Do q and t have the same value?
True
Suppose -5*c - 80 = 5*b + 915, -2*c - 806 = 4*b. Let k = b + 6935/34. Which is bigger: k or 4/3?
4/3
Suppose t - 4*y = 12, -4*t - 3*y + y = 6. Suppose t*i - 20 = 4*i, m - 3*i + 24 = 0. Let w be (-4)/(-6) - m/(-1188)*21. Which is bigger: -1 or w?
w
Suppose 81816 = 113*d - 56044. Is 2 greater than or equal to d?
False
Let a = 3121 + -6493. Let s = 3323.11 + a. Let k = s + 49. Which is greater: 1 or k?
1
Let j(v) = -4*v**3 + 17*v**2 + 9*v - 53. Let p be j(4). Is -1/2103 less than or equal to p?
False
Let t be (-2 + (-24)/(-17))/2. Suppose -2*o - 10 = 3*o, 0 = 4*r + 2*o + 832. Let x = 207 + r. Do t and x have different values?
True
Suppose -r = 2*l + 78, 12*l + 197 = 7*l - 3*r. Let i(o) = o**3 - 12*o**2 - 14*o + 13. Let n be i(13). Do n and l have the same value?
False
Suppose 0 = y - 10*y + 531. Let a = y - 61. Let n(p) = -p - 19. Let t be n(-14). Is t < a?
True
Let k = 2.9 - 11.25. Let r = 8.3 + k. Let y = 0.2 - 0.2. Which is greater: r or y?
y
Let o(z) = 103*z**2 + 6*z - 17. Let s be o(4). Suppose 6*a = 4*a - 5*q + 865, 4*a - 5*q = s. Do a and 421 have different values?
True
Let q = 2034 + -2104. Are q and -4 unequal?
True
Let y = -51187.24 + 51188. Let w = 3.1 + -3. Do w and y have different values?
True
Let g = -1489/390 + -1/65. Suppose -7 = -5*x + 43. Suppose c + c = -x. Is c != g?
True
Let x = 44229527/856 + -51670. Which is bigger: x or 0?
x
Suppose 0 = 40*u + 517 - 121 + 1284. Is u at most as big as -30?
True
Let n = 103 + -103.297. Let t = n + 0.28. Let z = -131167.1 + 131167. Are z and t equal?
False
Let o(t) = -2*t + 4. Let y be o(2). Let j be (3/14)/(130/91) + (-105)/175. Is y not equal to j?
True
Let f(r) = -5*r**2 + 33*r - 8. Let a be f(8). Let x = -65 - a. Which is bigger: x or 0?
0
Let d be (-156)/(-12) - 8 - 60198/12040. Which is smaller: d or 1?
d
Let u(l) = 5*l + 6. Let x be u(-6). Let g(d) = -d**2 + 52*d - 273. Let z be g(6). Let f be (-4)/z*12/8*13. Is x bigger than f?
True
Suppose r - 4*r + 5*p = -16, -2*r - p + 2 = 0. Let f be 88/66 - 1/r. Which is greater: 1 or f?
1
Suppose 0 = -3*z - 2*a - 2, -2*z + 6 = -3*z - 2*a. Suppose 2*h - 2*k = -12, -z - 10 = 4*h - k. Let b be (h/(-21))/((-2)/9). Which is bigger: 2 or b?
2
Let r(f) = f - 1. Let n(d) = 19*d**2 + 18*d - 59. Let w(o) = -n(o) - 5*r(o). Let z be w(3). Which is greater: z or -177?
z
Suppose -5*k - 7*v = -2*v - 4190, 2*k - 1651 = 3*v. Which is smaller: k or 835?
k
Let b = -3034 - -3204. Is 175 less than b?
False
Let w be (-1002)/495*5/(-24) + 0. Let l = w - -1/44. Is 0 < l?
True
Let q be (-52)/117 - (-2260)/(-18). Do q and -127 have different values?
True
Let z = 33 + -27. Suppose 52 = w + 5*f, -3*w + 2*f + 65 + z = 0. Are w and 24 equal?
False
Suppose -7*i - 94 = 46. Let m be (-1 - (-7 + 3))/1. Let n be (-1 + m + -3)*1. Which is smaller: i or n?
i
Let q = -417.564 + 418. Let b = 0.236 - q. Is 259 >= b?
True
Let z = 5424/6541 - 26/31. Which is greater: z or 0.1?
0.1
Let p = -1149 + 1174.11. Let b = -25 + p. Let k be (-2538)/376 - (-1 + -6). Is k != b?
True
Let z = -1.62 - 179.38. Let k = z + 174. Which is greater: -2/3 or k?
-2/3
Suppose 17*y = -y + 10710. Suppose 0 = 5*m - 12*k + 7*k - y, -3*m + 2*k + 362 = 0. Is 124 less than m?
False
Suppose 222*k + 259*k = 32*k + 449. Let c = 9529/89 + -107. Are k and c unequal?
True
Let o = 133 - 126.5. Let n = o - 1.5. Is 2/7 greater than or equal to n?
False
Let k(i) = 2*i**2 - 100*i - 2318. Let f be k(-22). Which is smaller: 852 or f?
f
Let f = -13594.82 - -13570. Is f < 2/9?
True
Let g = -8219 + 731499/89. Let j = g + -1073/10947. Which is smaller: j or 0?
j
Let n be (3/(-15))/(38/(-1730)). Is 10 != n?
True
Let a(l) be the second derivative of 2*l**3/3 - 27*l**2/2 + 22*l. Let d be a(7). Let f be (59 + 3)/((1 - 1) + d). Is 62 > f?
False
Let d = -24 - 60. Let z(y) = -19 - 23 + 37 + 40*y. Let p be z(-2). Which is smaller: p or d?
p
Let j = -98.9957 - 1.0043. Are j and 2/87 equal?
False
Suppose -3*z + 3*h - 9 = 0, z + 152*h - 157*h - 5 = 0. Are z and -134/27 non-equal?
True
Let a = 780 + -896. Let w(i) = -8*i**2 - 9*i - 26. Let b be w(-4). Which is greater: a or b?
a
Suppose -84 = -3*z - 2*k - 70, 3*z = 4*k - 28. Is -25 at least as big as z?
False
Let b = -37.0268 - 0.0732. Let o = 44.1 + b. Are 23 and o nonequal?
True
Let f be (79/15 - (-52)/130)*6. Which is greater: f or -35?
f
Let x = 91.8 + -92. Let g = 49 - 38. Let l = -18 + g. Which is smaller: x or l?
l
Let x be (-13)/(4680/324) + (2/5 - 1). Is x equal to 127/3?
False
Suppose 9*a - 595 + 199 = 0. Suppose -g = -q + 51, 2*q = q - 2*g + 39. Is q equal to a?
False
Let i = 31 - 91. Suppose 97*u + 467 + 5159 = 0. Which is bigger: u or i?
u
Let w = 35066 - 35928. Which is bigger: w or -863?
w
Suppose p + 2*b + 36 = 35, 2*b - 4 = 4*p. Which is bigger: -82/65 or p?
p
Let x be (-2 - -2) + (-1)/5 + (-51)/(-5). Is x greater than or equal to 192/17?
False
Let d = 77417/377 - 2670/13. Is d at most as big as 4/11?
True
Let x be 479/((58/(-145))/(-1*(-4)/(-5))). Is x bigger than 955?
True
Let a(v) be the first derivative of -v**4/2 - 16*v**3/3 - 3*v**2/2 - 16*v + 231. Let p be a(-8). Is p less than or equal to 9?
True
Let q be 538*-1*(-1)/(-8 + 6). Let s = q + 252. Let u be -4*3/(-16)*-20. Is u != s?
True
Let g(y) = 3*y**2 + 16*y - 7. Let n = -566 - -557. Let d be g(n). Does d = 92?
True
Let m = 88 + -258. Let o = -206 - m. Which is greater: -35 or o?
-35
Let b = 5508.1 - 5508. Is b smaller than -818/7?
False
Let w(i) = i**2 - i - 2. Let v be w(3). Suppose -4*z + 0*z - 28 = -v*g, -5*g + 51 = -z. Is -6 <= g?
True
Let j(v) = 14*v**2 - 9*v - 15. Let o be j(-2). Let a be (-254)/(-4) + 2/4. Let d = o - a. Is d at least -2?
False
Let o = -233.47 - -232. Let m = -1.67 - o. Is 3/83 bigger than m?
True
Let i(h) be the second derivative of -3*h**5/20 - h**2 - 28*h. Let r be i(2). Let f = 80/3 + r. Which is smaller: f or -0.8?
-0.8
Let s = -205 + 207. Suppose 0 = -2*z + 11*a - 12*a - 3, 3*z + 5 = -s*a. Which is smaller: z or -5/18?
z
Let c = 41515 + -60454. Is 1 >= c?
True
Let i be (-2*4/(-6))/(2/54). Let m = -37 + i. Let o = -998 + 64872/65. Which is greater: o or m?
o
Let u be -1 + 123 + (-18)/6. Suppose 10*q + u = -21. Is q equal to -6?
False
Let j = 48 + 3. Let d be (-38)/6 + 8*(-11)/(-264). Let b be j*d/(-135) - 2. Which is bigger: b or 1?
1
Let g = -101.023 - -101. Let j = -3.023 - g. Let o = 0.9 - 1. Is j less than or equal to o?
True
Let m be ((-360)/(-1500))/(8/(-16) + (-286)/(-20)). Which is bigger: m or 55/4?
55/4
Let y = -1259 + 639. Let o = 518 + y. Is o less than or equal to -1/2?
True
Let b(g) be the second derivative of -g**3/6 - 5*g**2/2 + 9*g. Let x be b(-4). Let h = 529 + -528.95. Which is greater: x or h?
h
Let d be (-1 + -7)*((-6)/(-4))/3. Let i be 2/(10/3 + d) + 4. Are i and 0 unequal?
True
Let t(d) = -d**2 - 45*d + 72. Let j be t(-17). Let m = -547 + j. Which is bigger: m or -7/150?
m
Let q = 5567 - 5571. Which is bigger: -312 or q?
q
Let t = 35 + -30. Let d = t - 6. Let x(w) = 6*w + 4. Let p be x(d). Which is smaller: 14 or p?
p
Let a(p) = -2*p**3 - 5*p**2 - 11*p + 6. Let f be a(-5). Suppose -104 = -2*s + f. Which is smaller: s or 146?
s
Let s = 437 + -435. Let b be (-5)/1*3/(15/10). Which is smaller: s or b?
b
Let i = 1518 + -1600. Is i at least 1/2?
False
Let o = 145402/39 - 3728. Let k = o + -304/273. Suppose 0 = 10*l - 19*l. Is k at most l?
True
Let l be 2154648/(-306)*12/(-56). Is l less than or equal to 1508?
False
Let o be (-9 + 1566/168)/(5*8/(-140)). Which is smaller: o or 15.5?
o
Suppose 3*c - 30 = 4*m, 0 - 4 = 2*c. Let d be (-16002)/(-567) + 2/m. Is 31 > d?
True
Let p = 32.43 - 191.43. Which is greater: 0.1 or p?
0.1
Let v be 21/(-4) + 48/192 - (2 - -1297). Is -1303 equal to v?
False
Let a be 6/(-11) - (-7 + (-1342152)/77). Is a > 17437?
False
Suppose 10*b + 2*s = 5*b - 210, -13*b = 2*s + 562. Which is smaller: b or -668/15?
-668/15
Let l = -2/293 - -297/586. Is 16/345 smaller than l?
True
Let n = 179 + -174. Suppose 0 = 6*z + n - 11. Which is smaller: -6/17 or z?
-6/17
Let p = 147 - 81. Let s = p + -79. Let o = -15 - s. Do 17 and o have the same value?
False
Let h = -49 + 37. Let v be ((-16)/h)/(14/(-6)). Let u = 18 - 19. Is u l