f?
f
Let j = 9 + -8.39. Let t = j - 0.9. Let d = 0.71 - t. Does 2/3 = d?
False
Suppose -198*a - 6587 - 32681 - 7262 = 0. Are a and -226 equal?
False
Let k(b) be the first derivative of b**4/4 - 7*b**3/3 + 9*b**2 - b + 441. Let l be (6 - 4)*(1 - -1). Let j be k(l). Is j greater than 23?
False
Suppose 14*w + 200 = -36*w. Let p be 1 + ((-125)/19 - w). Is p less than or equal to -1?
True
Let x = -77 - -132. Suppose 0 = -d + 207 - 108. Let a = 153 - d. Is x bigger than a?
True
Let d be 1/((-12)/(-51)) - -1. Let y be (-2)/5 + 16/(-10) - -3. Suppose 12*a - 71 = y. Which is smaller: d or a?
d
Let z(q) = q**3 - 34*q**2 - 87*q + 592. Let j be z(37). Is 7399/5 at most j?
True
Let y(h) = 16*h**2 - 6 + 15*h**2 - 26*h**2. Let n be y(2). Which is smaller: 88/7 or n?
88/7
Let u be (-4)/6*(-36)/16*2. Suppose 59 = 4*k + u*l - 16, 4*l + 25 = 3*k. Let q be 1 + (-33)/k - (-1)/5. Which is bigger: 1/57 or q?
1/57
Let i be 4/3 - 222/(-9). Let b(r) = -r + 83. Let t be b(i). Suppose 3*o = -3*s + t, s - 4*s - 9 = 0. Are 22 and o non-equal?
False
Let t be ((-48)/(-21) - -3) + -1. Let f(x) = -42*x + 1474. Let z be f(35). Which is bigger: t or z?
t
Let v = -199.4 + 200. Let i = -2.7 - 1. Let l = i - -3.8. Which is smaller: v or l?
l
Suppose 92 = 3*s - 2*h + 87, -4*s + 5*h + 16 = 0. Which is bigger: -31/152 or s?
-31/152
Let m = -1030.3 + 1029.3. Is m at most as big as 878.8?
True
Suppose -772*w - 11 = -c - 771*w, -4*c + 52 = -5*w. Which is bigger: -2615 or c?
c
Suppose 5*r = 4*t - 659 + 2639, 396 = r + 5*t. Suppose h = -0*h, l - 8 = -4*h. Let q be 2/l - (498/r - 1). Which is smaller: 1 or q?
q
Let j = -81.286 - -81. Let h = 0.486 + j. Which is smaller: 0.002 or h?
0.002
Let p = -18 - -43. Suppose -2*z = -2*x - 10, -2*z + 7*z - 4*x - p = 0. Let w = -56.74 - -56.74. Is z smaller than w?
False
Let j = 1323 + -3968/3. Let f be 38/95 + (-24)/35. Is j at least as big as f?
True
Suppose 2521 = -q + 2*q + i, -4*i = -12. Suppose -2*h = -q + 2520. Do h and -3/29 have the same value?
False
Let p = 9246 + -9230. Is p greater than 25?
False
Let d(r) = 43*r - 269. Let h be d(7). Is 228/7 >= h?
True
Let j(b) = 5 - 3 - 1 - 2*b - 6*b. Let r be j(-2). Let v = r + 19. Is v > 37?
False
Let f = -19376 + 23259. Is f >= 3883?
True
Suppose 0 = 498*w + 82*w + 2183120. Is -3764 at least w?
True
Let p be 140/18 - (-2)/9. Let f be 33/(-12)*-7*-1*-8. Suppose 92 + f = 41*s. Is s less than p?
True
Let i be (-8)/44 - 6127758/(-539). Let u = i + -11402. Which is greater: u or -33?
-33
Suppose 6*z = 15*z - 54. Suppose 2 = 4*j - z*j. Which is greater: -4/11 or j?
-4/11
Let r be -6*4/(-192) + (-21953)/24. Let i = -2935/3 - r. Let b = i - -63. Which is bigger: b or 0.01?
0.01
Let w(r) = -89 - 25 - 183 + 19*r. Let h be w(33). Are 0 and h nonequal?
True
Let x(z) = -2*z**3 + 3*z**2 + 75*z - 678. Let g be x(8). Which is greater: -909 or g?
-909
Let x be 42/(-16)*(-9336)/3501. Which is bigger: x or -960?
x
Let f(h) = 2*h**3 - 18*h**2 - h + 35. Let z be f(9). Suppose 0 = -8*a + 2 - z. Does a = -10?
False
Let j = -35.153 + 35.263. Which is bigger: j or 419/4?
419/4
Let k = 32 - 28. Suppose 0 = -2*y - 5*i + i, k*y - 14 = -i. Let c = 434 + -431. Which is greater: y or c?
y
Let u = -51907/39 - -1331. Let l = 53.8 + -54. Which is smaller: u or l?
l
Let r be (1/3 + (-85)/(-15))*(-72695)/70. Which is smaller: r or -6230?
r
Let b(p) = -9*p + 86. Let s be b(9). Suppose 0 = 2*r - 8, -3*y + 0*r = -2*r + s. Which is smaller: y or 2/65?
2/65
Let k(q) = -84*q - 673. Let v be k(-8). Which is smaller: 5409 or v?
v
Suppose -2171*y - 15933 = -2124*y. Do y and -331 have the same value?
False
Let b = -504 - -503. Which is smaller: 5/1448 or b?
b
Let k be (-2)/3*(133 - 1). Let s = 1.22658 + -1.02658. Which is greater: k or s?
s
Suppose -342*t + 363*t - 95886 = 0. Is t at least 4567?
False
Let k be 1/3*(-1 + 4). Let s = -1208338/1233 - -980. Is s greater than or equal to k?
False
Let o be (-1098)/(-1281) + 2/(-14) + -1. Is o > 42.1?
False
Let l be (-1227)/15 - 1/5. Let c = 244/3 + l. Let k = -64 + 34. Is c at most as big as k?
False
Let n(a) = -16*a**3 - 7*a**2 + 20. Let y be n(2). Do y and -90 have the same value?
False
Let m = 168356/47 + -3582. Let v be 1 - (-2)/2*-2. Let d(x) = 2*x**2 - 1. Let j be d(v). Which is smaller: j or m?
m
Let n = -48.25 + 2.9. Let k = n - -2.35. Does k = 2?
False
Let m(d) = 920*d - 8280. Let u be m(9). Are u and 91/62 nonequal?
True
Let z be 52 + 27*(-884)/468. Suppose 0 = -d - 6 + 4. Is d >= z?
False
Suppose -s - 267 = -3*l, -67 - 212 = -3*l + 5*s. Suppose -2*c - 3 = 1. Let j be (l - (-20)/(-5))*c/4. Do -43 and j have the same value?
False
Let w be (-62)/(-6) + (-7)/21. Suppose m + 13 = v, -w*m - 25 = -2*v - 9*m. Let j = -1 - -12. Does j = v?
False
Let d be 216/162 + 3068/(-6). Let v be 1/(-3) - (d/(-9))/(-5). Which is greater: 13 or v?
13
Let s(n) be the second derivative of -n**5/20 - 5*n**4/3 - 37*n**3/6 - 11*n**2 + 5*n - 12. Let m be s(-18). Let f = -2/253 - 2524/759. Which is bigger: m or f?
f
Let p(m) = -265*m + 1380. Let a be p(7). Let x = -863 + 388. Is a less than x?
False
Suppose -4811 = 30*g + 10189. Is -500 at most g?
True
Let w = -33.337 + 189.467. Let g = w - 5.13. Is 2 at least g?
False
Let r = -5020 + 13247783/2639. Is r not equal to 1?
True
Suppose 5*s + 8 = -2. Let k be (-1)/2 - (-741)/26. Let j be (-1)/4 + k/(-16). Is j <= s?
True
Let d = 2766 + -2108. Is 1 equal to d?
False
Let p = 362 - 361.7. Let q(w) = 12*w + 1. Let t be q(1). Let f be (t - 9)/(-1 + 11). Which is smaller: p or f?
p
Let n be 52440/171*(-18)/(-4). Suppose 33*i - n = 39*i. Which is smaller: i or -231?
-231
Suppose 0 = -10*h + 1881 - 15831. Let p be (-96)/h - (-2)/(-15). Which is smaller: p or 1/3?
p
Let g = 1187570 + -72338451408/60913. Which is greater: g or -1?
g
Let l be (8 - 5)/((-14)/98). Let q be -4 + 13/((-26)/44). Is l equal to q?
False
Let h = 71 + -64. Suppose -h*o + 14*o - 3234 = 0. Let b = -10161/22 + o. Which is smaller: 1 or b?
b
Let k = -150 + 149. Is k greater than 1184?
False
Let a be 6 + (-126)/(-122) + 2/(22/(-77)). Is 58 greater than or equal to a?
True
Suppose 2*j - 3*p = j + 22, 0 = -5*j + 5*p + 90. Suppose 3*l + 2*b - 3*b - 74 = 0, b - 82 = -3*l. Let v be -1*1 + -9 + l. Is j at most as big as v?
True
Suppose 4*m - 130 = 378. Let r = 134 - m. Suppose 567 = r*z - 14*z. Do -1 and z have different values?
True
Let p = 18/275 - 1068/275. Let w = 360682 - 360687. Which is greater: w or p?
p
Let u(q) = -q**2 + 15*q - 14. Let x be 92/6 + (-16)/12. Let c be u(x). Let d be c/(2*2/(-4)). Which is smaller: d or 2/31?
d
Let d = -63 - -65. Let a be 1/d*(1 + -5). Let k be (4 + a)/((-6)/15*5). Is k at most as big as -1?
True
Let i = 557 - 553. Let q be (-7)/((-91)/60) - 1 - -1. Which is bigger: q or i?
q
Suppose -51 = 3*r - 9. Let a = 146 + -104. Let v = a + -40. Is v greater than r?
True
Let j = 5867105502/149 + -39376388. Let z = -159 + j. Which is greater: 0 or z?
0
Suppose -x = 4*i - 4*x - 5923, -5*i - 4*x + 7396 = 0. Let n be i/15*38/(-12). Let k = -312 - n. Is k bigger than 1?
False
Let q be 725895/3113 - (-2)/(-11). Which is smaller: 228 or q?
228
Suppose 5*y + 3*x - 34 = 0, 4*y + 4*x = 42 - 10. Let w(f) = -6*f - 10. Let b be w(y). Let z = b - -39. Is -5 equal to z?
False
Let k = -375 - -385. Let r = 10.3 - k. Does r = -0.87?
False
Suppose -8*d + 0*d = 5861408. Let i = d - -21976831/30. Let t = 115 + i. Which is smaller: t or -1?
-1
Let o be -1 + 0 + 1 + -1. Let v = 0.059305 + -0.030305. Which is smaller: o or v?
o
Let c = 1/4772 - 11963/11543468. Which is smaller: c or 1?
c
Let a be ((-6226)/104)/((-15)/(-435)). Let n = 1736 + a. Is 0 smaller than n?
False
Suppose -203 + 233 = -4*b + 5*d, 0 = 2*b - 4*d + 24. Is b at most -2/35311?
False
Suppose 10*r - 220 = -0*r. Suppose 5*k - 270 = 315. Let m = k - 94. Is r at least as big as m?
False
Let k = 5316 - 4061. Which is smaller: k or 1253?
1253
Let o = 954 - 1612. Let b be o/(-16) - (9 - (-355)/(-40)). Which is smaller: b or 36?
36
Let y be (456/36 - 13)*(-24)/21760. Which is greater: -1 or y?
y
Let j(p) = -6*p - 68. Let l be j(-12). Suppose -2*f + 44 = l*z, 0*f + 66 = 3*f + z. Which is smaller: f or 20?
20
Let o = 5085 - 5084.5. Is o equal to -0.204?
False
Let y = -631 - -60. Let i = 570 + y. Is i bigger than -10/111?
False
Suppose 2*r + n - 5230 = 0, 1