 smaller: 1/4 or h?
h
Let o be (-1*(-2 + 1))/(54/1689228). Does o = 31283?
False
Suppose -2*q - 2*w = -12, 27 = -0*q + 5*q + 2*w. Let a be (-3)/(-5) - ((-588)/q)/4. Let f be -5*8/(-420)*a. Is f less than 2?
False
Suppose -21*q = -6*q + 330. Which is greater: q or -44?
q
Let w = -3.4298 + 894.4298. Is w not equal to -7?
True
Suppose 13*u = 11*u + 6. Let i be 25*(-1)/((-55)/u). Suppose 4*c + 2 - 10 = -5*s, 2*c + 4*s - 4 = 0. Is c bigger than i?
True
Let x = -152071/171468 + 2/3897. Let v = x - -155/44. Which is smaller: v or 3?
v
Let p = 4480 + -5664. Is -1183 smaller than p?
False
Let d be 0 + 2/((-8)/(-4)). Let t = -70 + 10. Let z be (6/376)/(t/40). Which is greater: d or z?
d
Suppose 2*a - 170 = 3*w + 120, 4*a - 578 = 5*w. Let x = a - 1840/13. Let c = 0.3 + 0.7. Is x > c?
False
Suppose 1031*p - 1101*p = 0. Is 2/321 smaller than p?
False
Let i = 28011 - 1316703/47. Let r = i + 3456/517. Which is greater: 3 or r?
3
Let d(t) = -t + 41. Let q be d(37). Let k be 2/2*(q - -2 - 3). Is 3 less than or equal to k?
True
Let u be 5/3 - (-16)/(-24). Let f(t) = 321*t + 6. Let r be f(-1). Let w = -6303/20 - r. Which is smaller: u or w?
w
Let v = -1351 - -1362. Which is smaller: -3/10 or v?
-3/10
Let v(o) = o**3 - 3*o**2 - 4*o + 2. Suppose -12*f + 7*f + 20 = 0. Let g be v(f). Suppose -5*q + 10*q + 3*p = 11, g*p - 9 = -5*q. Which is smaller: 5 or q?
q
Let x = -47867 + 47832. Let m be (70 - 2)*(-1)/2. Which is smaller: x or m?
x
Let x = -80 + 86. Let o be (2/(-3))/((-5)/(3015/x)). Let h = -78 + o. Is -11 < h?
False
Suppose 5*g = g + 2*j + 22, -4*j + 5 = -g. Suppose 5*b = -g + 32. Suppose b*l - 207 = y, 2*l + y - 99 = -4*y. Is l equal to 43?
False
Let l(z) = 37*z - 7. Let x be 7/4 - (-54)/24. Let n be l(x). Is n at most as big as 140?
False
Suppose 4*g - v = -18, 10 = 5*v - 0*v. Let u(l) = l**3 + 5*l**2 - 4. Let y be u(g). Which is smaller: 13 or y?
y
Let f(t) = -78*t**2 - 151*t + 80. Let b be f(-9). Which is bigger: -4881 or b?
b
Let l be -6 + (0 - -7) + -10. Let n be (-1180)/(-72) - 1/l. Is n < 16?
False
Let v be (-24)/(-84) + 4/(-14). Suppose 5*b - 4*p + p + 59 = v, -8 = 2*b + 4*p. Let j = b + 11. Which is greater: j or 2/73?
j
Suppose 6*h + 2*h - 64 = 0. Suppose -5*v + h*v - 69 = 0. Suppose -v*y = -25*y + 2. Which is greater: y or -5/22?
y
Let y = 3821 - 3831. Does 188 = y?
False
Let r = 0.022 - -0.001. Let z = 0.053 - r. Let f = 1.5 - 1.3. Are z and f unequal?
True
Suppose 16 = -4*a, a + 16 = 3*t - 3*a. Let j(i) = -37*i**3 - 3 + 35*i**3 - 4*i + 8*i. Let k be j(1). Is k <= t?
True
Suppose 13*y + 40*y = -17808. Are -329 and y equal?
False
Let q = 49.5 - 50.8. Which is bigger: -186 or q?
q
Let k = 1.3 + -1.6. Let n = -85 - -85.85. Let b = n + -0.77. Which is smaller: b or k?
k
Let j(a) = -3*a**3 + 4*a**2 + 2*a - 3. Let h be j(3). Let d be h/(((-8)/10)/(6/30)). Suppose 2*v + v - 30 = 0. Which is greater: d or v?
d
Let x = 0.0849 - 4.4949. Let z = x + 2.41. Let p = -25 + -5. Which is greater: p or z?
z
Suppose 3*b = -o - 2 - 5, 4*b + 20 = 4*o. Let u be -3*((-4)/(-9) - 82/(-369)). Is u <= o?
True
Let p = 1009 - 1116. Suppose 4*g - 4*s + 440 = 0, -5*s + 441 = -g - 3*g. Which is greater: p or g?
p
Let o(t) be the second derivative of t**5/20 - 17*t**4/12 + 5*t**3/2 - 5*t**2/2 + 6*t - 3. Let c be o(16). Which is greater: -165/8 or c?
-165/8
Let w be -53*-4*2/(-252)*3. Let u = -1199/238 - w. Is u != 0?
True
Suppose -23*v - 19*v + 294 = 0. Suppose 2*k + 11*a = v*a - 24, 0 = -5*k + 3*a - 47. Which is smaller: k or -5?
k
Let y = -2606404214/18783 - -138764. Is y equal to 1?
False
Let d(t) = -2*t**3 - 31*t**2 - 111*t + 17. Let h be d(-6). Is h at most as big as 412?
True
Suppose 20822 + 10866 = 233*f. Is f bigger than 1/3?
True
Let i be (4 + -67)/((-6)/4). Let g be 44/i - (3 + -2). Suppose -17*z + 8 = 8. Is z at most as big as g?
True
Let t(l) = l**2 - 9. Let o be t(-4). Suppose 0 = 3*z - 2*r - 3 - o, 4*z + 4*r + 20 = 0. Is -1/119 at least as big as z?
False
Let z(u) = -3*u - 8*u - 1373 + 1410 - u**2. Let g be z(3). Which is bigger: g or -8?
g
Let o = -9 - 31. Let d be (18 + 114/(-9))/((-8)/60). Is d greater than o?
False
Let w be ((-1)/10 + 40/16)*(-10)/(-196). Is 0.04 at least as big as w?
False
Let n = -34309 + 34313. Let s = 5/8 + -21/40. Which is smaller: s or n?
s
Let u(w) = 2*w**3 + 10*w**2 - 5*w - 16. Let b be u(-5). Let v(m) = 2*m - 29*m**2 - b*m + 2*m + 4*m. Let f be v(1). Is f bigger than -30?
False
Let p(u) = -u**3 - 2*u**2 + 2*u + 2. Let v be p(0). Suppose -2 = -2*b, -7*d + 4*d - 59 = -v*b. Let n = -37/2 - d. Is 2 smaller than n?
False
Suppose -4*c - 5*a = -70, 2*c + a = 4*a + 24. Let p be -3 + 48/c - 24/(-80). Is p at least -27?
True
Let z = -419 + 421. Let x = -30.9 - -29. Let u = 1.82 + x. Which is smaller: z or u?
u
Let p be (4 + (1 - 5))*1/2. Let y be (p - 63/15)*(8 + -13). Is 20 at least as big as y?
False
Let g = 117.8 + -0.8. Let l = 121 - g. Are l and 19 unequal?
True
Let w be 0 + (2 + -3 - -302). Let s = -297 + w. Is s at least as big as 4?
True
Suppose 0 = 5*j - 7065 - 4120. Is 2240 at least as big as j?
True
Let j be (-581771)/48470 - 24/(-2). Is j greater than 0?
False
Let k = -4150 - -664001/160. Let z be -1*(0 + 3) - -2. Which is greater: z or k?
k
Let f = 3554 - 6103. Is -2551 > f?
False
Suppose -2*n = -4*f + 870, 102 = -4*f - 2*n + 960. Let k = -250 + f. Is k at least -34?
True
Let p = -3766 + 3685. Let v(d) = -2*d**3 + 4*d**2 + 2*d - 4. Let h be v(-3). Let n = p + h. Is n equal to 2/185?
False
Let o be ((-6)/((-126)/49) - 1)/18. Is 67 at least as big as o?
True
Let n = 0.06391 + 0.01709. Is -14 smaller than n?
True
Let c = -2438 + 2364. Is c at least as big as -0.18?
False
Let y = -1/31061 - -8728146/155305. Suppose -2*g + 5*x = -87, -2*g + 10 = 5*x - 127. Which is greater: y or g?
y
Let q = 127/21 - 6. Suppose -4*n + 2*b - 7*b = -496, 0 = 2*n - 3*b - 226. Let y = n - 118. Which is smaller: q or y?
q
Let p(n) = -51*n + 15. Let u be p(-5). Let h = 269 - u. Let v be (10/(-26))/(-1)*1. Is v at most as big as h?
False
Let f(b) be the first derivative of b**4/4 - 8*b**3/3 - 14*b**2 + 50*b + 4. Let w be f(10). Which is greater: w or -33?
w
Let t = -5.5217 - -2.8027. Is 3/5 smaller than t?
False
Let v be 2031/27 + (-8)/36. Let d = v + -78. Let l be d + 348/130 + 8/20. Is l less than 0.4?
True
Let v(j) = 74*j - 839. Let h be v(6). Are h and -791/2 unequal?
True
Let d = -38508/36757 - -62/59. Is d at most -1?
False
Suppose 5*h - 2*n + 3*n = 11, 4*h - 2*n = 6. Suppose 5*s + 22 = -3*o, -h*o + 5*s = -0*s - 2. Let d be 405/(-100) + 4 + 3/o. Which is smaller: d or -1/4?
d
Let j = -31.0727 - 2.2053. Let z = 16.31 + j. Let x = z - 0.032. Is x <= 4?
True
Let s be 32/3*(15/(-3) + 8). Suppose 26*p = s - 84. Let x be (-174)/135 - 2/(-5). Is x < p?
False
Let x(s) = 21*s + 8. Let n be x(6). Which is greater: 7 or n?
n
Suppose -58820 = -5*o + 2*r, 14*r = 2*o + 12*r - 23522. Are 11766 and o equal?
True
Let z = 6.539 + -29.531. Let w = 0.008 - z. Let d = w - 26. Is 5 > d?
True
Let l(c) = -c**2 - 29*c + 96. Let g be l(-32). Let w be (g/5)/(5 + -10). Is w less than or equal to 3?
True
Let a = 583 - 581. Is a bigger than 0.148?
True
Let j be 4581/(-18)*52/23886*1. Let h = 2/1327 - j. Which is smaller: 0 or h?
0
Let o = -407234/17 - -23954. Does o = 0.9?
False
Suppose 0 = q - 4*u - 32, 6*q + u = 5*q + 52. Which is smaller: q or 24?
24
Let b = -1.37 - -1.9. Let k = 0.575 - b. Let g = k - 0.031. Is 2/7 smaller than g?
False
Let r = 90 + 157. Let i = 482 - r. Is 235 at least as big as i?
True
Let j be (16959/6)/((-71)/(-142)). Is j greater than 5653?
False
Let c = -3172 - -3466. Is c smaller than 2654/9?
True
Let i = 921 - 917. Is 0.0417 < i?
True
Let o be (-33)/(-9) - (-4)/(-6). Let r be (-7 + 5)/(1 - o). Let m = 5821/17457 + -2/17457. Which is smaller: r or m?
m
Let o = 16234 + -2890. Do o and 13344 have the same value?
True
Let n = -1.6158 + 0.6158. Is n at most as big as -0.0522?
True
Let l = 20599/42 - 921/14. Which is bigger: l or 424?
l
Let z = -23 + -329. Let t = 351 + z. Which is bigger: t or 130?
130
Let z(s) = 26 + 19*s - 17*s - 1. Let c be z(-14). Let p be c/25 + 5/25. Which is smaller: 2 or p?
p
Let q = -763 - -8387/11. Suppose -5*l = 14 - 4. Is q >= l?
True
Let f be (6 - (-3)/3) + -3. Suppose -8*h = -4*h + f*h. Which is bigger: -1/25 or h?
h
Let f = -2