ost as big as t?
True
Let b = 14 + -25. Let t be 1 - (b/(-3) + -2). Suppose -5 = 6*r - 5. Which is bigger: r or t?
r
Let d(f) = -f**2 - f + 94. Let s be d(0). Let r(b) = 3*b**2 + 2210*b - 15520. Let o be r(7). Is o greater than s?
True
Suppose 2*b - 2 - 22 = 2*t, -2*b - 4*t + 18 = 0. Suppose -5*f + 5*j - 14 = -49, -f - b = 5*j. Let z be 2/(-7) + (-46)/(-14). Do f and z have the same value?
False
Let c be -8 + (-4)/(-24) + 5169/738. Which is bigger: 0 or c?
0
Let k be (-4)/23*11/6. Let m(r) = r**3 + 10*r**2 - 148*r - 206. Let i be m(9). Which is smaller: i or k?
k
Suppose 0 = -91*g + 16*g - 191700. Which is smaller: g or -2557?
-2557
Let m = -0.372 - -0.37. Let a = 0.458 - m. Let q = -0.54 - a. Is -7 at least as big as q?
False
Suppose -2*a + 345 = 57. Suppose 2*d = -5*s + 177, 0 = 4*s - d + 5*d - a. Suppose -125 = 5*b - 5*n - 280, 3*b - 2*n = 96. Is b bigger than s?
False
Suppose 0 = 5*d + g - 10, g + 2*g = 5*d - 10. Let h be d/6 + 1/(-3). Let z be 8/(-1610)*(-11844)/10152. Is z equal to h?
False
Suppose -16*c + 13*c = 3, -d + 4 = -3*c. Which is smaller: 38/463 or d?
38/463
Let o = 37.81 + -38. Let p = o - -0.24. Let f = 1 - 1.2. Are p and f non-equal?
True
Let z = -28 - -33. Let n(l) = l**2 - 13*l + 27. Let a(x) = -12*x**3 - 2*x**2 - 2*x - 1. Let h be a(-1). Let c be n(h). Is z at least c?
True
Let o = 2097 - 1431. Let x be o/63 + (-3)/(-7). Suppose 0 = 4*l - x*l. Is -15/13 bigger than l?
False
Let y be (-740)/25 - -4 - (-2)/(-5). Let g be y/247 - (-182)/(-76). Is -4/13 less than g?
False
Let g = 5394882734/1675135 + -3268148/1045. Let n = g + -652/7. Let m be (-3)/(-6)*2 + -2. Is m equal to n?
False
Suppose -341*q = -325*q + 14208. Is q at least as big as 0?
False
Let w(h) = -10*h**2 - 41*h + 7. Let g be w(-4). Suppose -2*d - 2*j = -10, 3*j = 4*d - 2*d. Which is smaller: g or d?
d
Let w = 373 + -7768/21. Let r = w - 17/7. Are r and -122 nonequal?
True
Suppose 0 = -3*w - 12, w + 912 = -g + 5*w. Let y be (g/(-82))/(-8) + (1 - -1). Is y at least 1?
False
Let p = -6.936 - -74.936. Are p and -11 equal?
False
Let m be ((-43)/129)/((-10)/(-685)). Which is greater: m or -22?
-22
Let z = 52 - 52. Let t be (-125)/(-2) - (-2 - z/1). Let u = t + -66. Is u less than or equal to 5?
True
Let m be (1/2 - 1)/((-94)/188). Which is smaller: -15/602 or m?
-15/602
Suppose -49 - 215 = -3*o. Let m be 46/667 + (-7650)/(-87) + -1. Which is smaller: o or m?
m
Let h = 3675 - 3419. Let u = 26 - 26.1. Which is greater: u or h?
h
Let o be (5/(0 + 5))/((-1)/(-2)). Let w(v) be the first derivative of v**2/2 + v + 5. Let c be w(-2). Which is smaller: c or o?
c
Let c = 3.87 - 5.6. Let q = 1.86 + c. Is q at most 2?
True
Let a = 371 + -191. Let u be 0/(-4 + 3) - a/(-4). Let k = u - 34. Which is greater: k or 1?
k
Let o = 2054/3027 - 12/1009. Which is smaller: o or 50.5?
o
Suppose g = -2*c - 6036, -5*c - 19*g - 15045 = -24*g. Which is bigger: -3014 or c?
-3014
Suppose 22*q + 1143 = -j + 21*q, -2*j = -5*q + 2272. Is j at most as big as -0.1?
True
Let c = 13.28 + -13.38. Is 367/2 less than c?
False
Let u(y) = -8*y - 61. Let c be u(-8). Suppose -3*l + 75 = 3*i - i, 2*i + 5*l = 85. Let o = -25 + i. Is c at most o?
True
Suppose -m - 3 + 1 = -2*b, 5*b = 5*m. Suppose -b*n - 10 = v - 78, -n + 133 = 2*v. Is 64 at most as big as v?
True
Let h be 15/21 - 200/525. Are h and 26/31 non-equal?
True
Let p(l) = 2*l**2 - 12*l + 21. Let v be p(6). Let h = 32 + -28. Let f be 1/h - (225/(-12) - 2). Is v equal to f?
True
Let l be (3 - -20)*757 + 2 + -1 + -2. Is l bigger than 17410?
False
Suppose 4*c - 7*c = 11*r - 21763, 36225 = 5*c - 5*r. Which is greater: 7249 or c?
7249
Let v = 1.6 - 41.6. Let f = v + 45. Let s = 4.7 - f. Is 0 at most as big as s?
False
Let z = -4673.71 - -4725. Let x = 51 - z. Let p = x - 1.01. Which is smaller: p or -0.3?
p
Let i(s) = -s**3 + 2*s**2 + s - 2. Let n be i(2). Suppose 3*x - 2*l - 86 = 0, -5*l + 4 + 66 = 2*x. Suppose -15*p = -n*p - x. Is p < 42?
True
Let d = -50/37 + 2063/1554. Suppose 4*l - 5*u + 280 = -u, 4*u - 353 = 5*l. Let b = -74 - l. Is b greater than d?
False
Suppose -2*a + 128 = -11*h + 10*h, 2*a = 8. Suppose 0 = 3*v + v + 304. Let n = v - h. Is 44 > n?
False
Let v be 220/(2 - -6 - 798/95) + -8. Are -556 and v non-equal?
True
Suppose -1104 + 1100 = -4*f. Is -31 >= f?
False
Let x be (-9)/(-7875)*19637623 + -1 + 5. Let j = x - 22447. Is 1 at least j?
True
Let a = -707 + 399. Let o = -309 - a. Which is greater: -3.5 or o?
o
Let c(u) = u**2 - 9*u + 17. Let l be c(5). Let z(a) = -2*a - 2*a + 8 - 6 + 5*a. Let g be z(l). Is 3/40 less than g?
False
Let k be ((-27)/(-117) - (-187550)/(-3432))/(1/(-3)). Is k at most as big as 163?
False
Let l = -121.517 - -0.017. Let z = l + 73.4. Let n = -49 - z. Is n bigger than -0.1?
False
Suppose 0 = 5*f - 98 + 23. Let p = f + -5. Let d = -1/10 - -1/2. Is d less than p?
True
Let k be -1 + 830 - -51*(-33)/187. Which is smaller: k or 821?
k
Let c(i) = -11*i - 4. Let m(t) = t - 1. Let a(f) = -c(f) + 5*m(f). Suppose -4*d = 5*j - 0*d - 3, 2*d = -j + 3. Let b be a(j). Is -18 less than or equal to b?
True
Let o = 1 + 5. Let x(q) = 1204*q - 12. Let s be x(0). Which is smaller: o or s?
s
Let h = 470 + 2741. Is h >= 3209?
True
Let u(c) = -2*c**3 - 2*c**2 - 4*c - 14. Let n be u(-3). Suppose 33*r = n*r + 43. Does r = 0.1?
False
Let x = -447 - -278. Let r = 165.8 + x. Let g = 3 + -4. Is g equal to r?
False
Let j be (-12393)/594 - (-105)/6. Suppose -x = 1 + 2. Is x equal to j?
False
Let b = -0.353 + 766.253. Let x = -766 + b. Which is smaller: x or 87?
x
Let k(w) = w**3 + 10*w**2 + 19. Let z be k(-10). Suppose z + 1 = -2*o. Let i be ((-18)/27)/(o/9). Which is smaller: -3 or i?
-3
Let s = 1538/117 + -119/9. Let r be 206/32*32/8. Let n = 26 - r. Is s less than n?
True
Suppose 5*k - 269 = r, 5*r - 293 + 72 = -4*k. Let g be (1 - 0)*k/(-16). Suppose -2*m = -t - 0*t, -4*t + m - 7 = 0. Which is greater: g or t?
t
Let x(s) = 3*s - 69. Suppose 5*f = -32 + 147. Let h be x(f). Suppose w - 5*g = -11, 3*w - 2*g = -7 - h. Which is bigger: -7/6 or w?
w
Let o be ((1 + 3889)/5)/(-1). Which is smaller: -2330/3 or o?
o
Suppose -6*u + 24 = -12. Let m = -4 + u. Let l be 0 - m - (-3 - -1). Is 20 > l?
True
Suppose 4*p + 7 - 23 = 0, p - 32 = -t. Let x be 3 - (0 + 2 - -25). Let n = t + x. Which is smaller: n or 7?
n
Let i = 2291.18 + -2291.06. Suppose 4 = -0*l - 2*l. Let x be 0/(2/(-4)*l). Which is smaller: x or i?
x
Let v(m) = -10*m**2 + 35*m - 276. Let q be v(13). Is -1512 at least as big as q?
False
Let d be 12/(-28) + (-209349)/3038. Let c = 139/2 + d. Is 1 <= c?
False
Let b = -2724 + 2718. Which is smaller: 2 or b?
b
Let l be ((-96)/(-44) - 2) + 1 + -2. Let g(m) = 0 + 5 - m + 4. Let y be g(9). Are l and y nonequal?
True
Let z = -994 - -545. Let v = z - -449.1. Is 340 bigger than v?
True
Suppose 3*u - 41 = 1. Let c(k) = -452*k + 2728. Let t be c(6). Which is smaller: u or t?
u
Let m be 34/(-6) + 3/(-9). Let x = 4554 - 18243/4. Is m < x?
False
Let b(m) = 1440*m - 42. Let s be b(-1). Is -1470 less than s?
False
Let r = 14999 - 29999/2. Which is smaller: 633 or r?
r
Let v = -1255.895 + 1256. Which is smaller: -8 or v?
-8
Let z be (-2135)/(-6) - (2375/114)/25. Let r(g) = 2*g + 354. Let l be r(0). Is z smaller than l?
False
Let x = -1063607 + 57409073/54. Let i = x - -476. Which is smaller: 0 or i?
i
Suppose 8891 - 2756 = 5*o. Suppose 0 = -8*i - 141 - o. Which is bigger: i or -172?
i
Let y = -8237 - -5508. Is -2728 at most y?
False
Let u(n) = 3*n**3 - 28*n**2 - 18*n - 10. Let p be u(10). Suppose -q - 11 = p*q. Is q at most as big as -2/411?
True
Suppose -9*b + 2523 + 1337 = 11*b. Is b at most as big as 213?
True
Let w = -201 - -120.8. Let s = w - -89. Let y = -37.8 + s. Which is bigger: y or -0.1?
-0.1
Let u = 76.9 - 8.9. Let c = -57954.1 - -57954. Which is bigger: c or u?
u
Let l = -5209.614 + 5205. Let o = -0.086 + l. Let d = o + 4.8. Are d and 1/3 unequal?
True
Let r be (0 - -1) + (3 - 9). Let l = -330 - -164. Let v = -163 - l. Which is smaller: r or v?
r
Let s be 4/5 + 807/(-15)*1. Let h = s - -57. Let x be ((-2)/4)/((-5)/38). Which is smaller: h or x?
x
Let a(n) = 42584*n + 42637. Let g be a(-1). Suppose -2*b + 104 = 5*v - 10*v, 5*b - 2*v - 218 = 0. Which is smaller: g or b?
b
Let t = 378 + -377.775. Let z = t - 0.575. Is 0.5 at least z?
True
Suppose 2368*x -