39. Which is smaller: 4 or m?
m
Let x = 47 - 46.8. Let g = 1243.37 + -1244. Which is smaller: g or x?
g
Let g be (1/(-4) - 143/(-44)) + -4 + 2. Which is bigger: g or 1/288?
g
Let w be (658 - 24) + (1 + 2 - -3). Is w greater than 638?
True
Let p = -4327 + 4326. Which is greater: p or -6.69?
p
Let b(c) = 3*c**2 - 42*c - 5. Let k(d) = d**3 + 8*d**2 + 11*d - 7. Let q be k(-5). Let a be b(q). Which is smaller: a or -42?
a
Let p = -23 + 18. Let d(z) = z - 11. Let n be d(6). Let k = p - n. Which is smaller: k or -3/8?
-3/8
Suppose 3*b - 4*w = -2773, 46*b - 921 = 47*b - 2*w. Do b and -935 have the same value?
False
Let i = 169 + -2533/15. Let j = 0.2 + 0.1. Let m = 2.3 - j. Is m equal to i?
False
Suppose 0 = u + f + 12, -f + 3 + 6 = -2*u. Let y = -54 + u. Are y and -60 equal?
False
Let c = -16927 - -11659. Is -5268 at most c?
True
Let b(h) = h + 6. Let n be b(-6). Suppose 16 + n = 2*t. Suppose 0 = -4*o + 4, 3*r - 50 = -11*o - 15. Is t at least as big as r?
True
Let a be (-3)/12 - (-148)/(-48). Let i(m) = -3*m + 3. Let q be i(-21). Let c = 64 - q. Which is bigger: a or c?
c
Let l = -22 - -43. Let k(z) = -5*z**2 - 30*z - 3. Let s be k(-6). Let i(d) = 4*d**2 + 5*d - 1. Let n be i(s). Is l at least as big as n?
True
Suppose 2*a + 15 = z, 5*z = 2*z - 2*a + 53. Let x = z + -23. Let f be (-8)/12 + ((-310)/x)/(-5). Which is smaller: -13 or f?
-13
Suppose 5*f = 4*r + 40 + 57, -48 = 2*r - 2*f. Let n(l) = -l + 17. Let u be n(20). Let m be (u + 4)/(4/(-96)). Which is bigger: r or m?
r
Let k(t) = -34*t**2 + 7*t + 31. Let u be k(4). Is -483 < u?
False
Let t(a) = a**2 - 8*a - 26. Let r be t(-3). Suppose -2*m - 6*i - 9 = -r*i, -16 = 4*m - 4*i. Is m less than -7?
False
Let o = 562 + -561.753. Let j = -68.753 - o. Which is smaller: j or -1?
j
Suppose 4*r - 47 = 77. Let j(q) = r*q - 12 + 36 - 7 - 16. Let x be j(1). Are 32 and x nonequal?
False
Suppose -81*o = 16101 - 2088. Which is greater: -177 or o?
o
Suppose 305 = 13*q + 851. Let b be 6/(-12) + (99/q - 1). Is -4 < b?
True
Let t be (4 - 30)*(-1)/2. Let r = 5575 + -61175/11. Which is smaller: t or r?
t
Suppose -3*y = 2*q + 68 - 67, -5*q = 4*y - 1. Let j(k) = 736*k**2 - 3. Let s be j(y). Which is smaller: 732 or s?
732
Let z(l) = -l**3 - 3*l**2 + 25*l - 21. Let j be z(-13). Suppose 0 = -49*d + j + 1596. Which is greater: d or 58?
d
Let m = -12156 + 12974. Is m smaller than 819?
True
Let w = 76733/14 - 5481. Which is bigger: 24 or w?
24
Let y = 60 + -56. Suppose 0 = y*k - 5*k - 1. Which is smaller: k or -82?
-82
Suppose 35 = -2*q + 45, -5*l = -6*q - 90. Which is greater: 0.494 or l?
l
Let i = -218 + 346. Let a = 8377/2 - 4062. Is i at least as big as a?
True
Let l = -16589 + 11709. Which is smaller: l or -4879?
l
Let m = -46.25 - -46.25. Is 53.5 less than or equal to m?
False
Let c = -2.4 - -2.51. Let u = c + 0.04. Let k = -412/63 - -142/21. Which is bigger: u or k?
k
Let a be ((-2)/7)/(108/(-252)*(-4)/(-6)). Which is smaller: 78/79 or a?
78/79
Let x(f) be the second derivative of 1/2*f**3 + 32*f - 3/2*f**2 + 0 - 1/12*f**4. Let n be x(6). Which is smaller: -20 or n?
n
Let q = 1593344/95601 + 2/31867. Are -14/13 and q equal?
False
Let g = 597.9 + -596.6. Is 23 not equal to g?
True
Let t = 37 + -29. Suppose -3*y = -t - 7. Suppose -2*v + y*v - 42 = 0. Which is smaller: v or 15?
v
Let w be 3/9*((-505208)/(-56136) - 9). Is w greater than or equal to -1?
True
Let l(h) = 2*h**3 - 4*h**2 + 22*h - 181. Let b be l(6). Are 721/3 and b equal?
False
Suppose 4*y = 8*y - 4. Suppose -3*v = -4*m + 19 + 5, 3*m = -2*v + y. Suppose -m*z + 6*z = 5*t - 2, -2*t + 3 = z. Which is bigger: 7/5 or t?
7/5
Let c = 130 + -130. Suppose c*j + 6 = -3*j, d = -j - 44. Is -41 greater than d?
True
Suppose 465 + 88 = 7*i. Let t = i + -76. Suppose -5*h = 2*n - 1, -2*n + 5*n - t*h - 12 = 0. Is -2/5 smaller than n?
True
Let p be (-22)/(-24)*(-9)/(-39). Let b be (-12)/20 - 18/(-130). Let s = b + p. Is s less than -1?
False
Let q = -58 + 62. Suppose h - 476 = -q*r, -5*r = h - 324 - 157. Let l = 937/2 - h. Which is bigger: l or 12?
l
Suppose 1113*l - 8952 = 1125*l. Which is greater: -748 or l?
l
Suppose 16*z = 19 - 3. Let o be 24/416*(-1 - 2/(-3)). Is z bigger than o?
True
Suppose 7*j - 4*j - 165 = 0. Let a = j + -52. Suppose -5 = 5*g + 5*q, -4*q = 5*g + 5 - a. Is -2.2 not equal to g?
True
Let w(y) = -326*y + 3199. Let q be w(19). Is q greater than or equal to -2998?
True
Suppose -4*s + 14 = -14. Suppose -5*x - 5*u + 40 = 0, 2*x + u - 19 = -7. Suppose -s*j - x = -11. Is -9 less than or equal to j?
True
Suppose i - 3*f + 14 = 0, 2*i + 290*f - 285*f - 27 = 0. Which is smaller: i or -1/5345?
-1/5345
Suppose -3*g - 224 = 1018. Let m = g + 2087/5. Do 2 and m have the same value?
False
Suppose -19*d + 4*t + 18 = -20*d, -37 = 3*d - 5*t. Let o be 6/d*(3 + (-1)/(-2)). Which is smaller: o or 2?
o
Suppose -4206 = 9*q - 2388. Is 6 >= q?
True
Let c be -7*(12/(-21))/1. Let s = 28 - c. Which is greater: s or 4?
s
Let n(u) = 2*u**2 - 155*u + 1401. Let h be n(60). Which is smaller: -694 or h?
h
Let g = -21/38 - -1/19. Let f = -1 - g. Let v = -13.2 + 12.8. Is f smaller than v?
True
Let z(q) = q**3 + 6*q**2 - q - 4. Let t be z(-6). Suppose 4*i - 4*o = o - 23, 3*o = -t*i + 5. Let v be ((-25)/10)/(460/184). Is v at most i?
False
Suppose 0 = 3*u - 4*i - 29, -103 = 2*i - 87. Which is greater: 1/9555 or u?
1/9555
Let x = 178746 - 531682/3. Which is smaller: x or 1520?
x
Let a = -243626 - -4098520196/16823. Which is smaller: a or 0?
a
Suppose -l - h = 301, 5*h = l + 4*l + 1495. Let x = l - -22. Are -277 and x unequal?
True
Suppose -7*o = -11*o + 3*p + 5, 2*o - 4*p = 10. Is o greater than -7/873?
False
Let o = 0.1709 - 0.25143. Which is greater: 0 or o?
0
Let u be 8 + 4/9 + 201/(-27). Let s = -1.115 - -1. Is u smaller than s?
False
Let y = -23162 - -22795. Which is smaller: y or -360?
y
Let x be ((-12)/(-7778))/(((-6)/(-8))/((-26)/(-104))). Is 0 greater than or equal to x?
False
Let n = 54 - 32564/603. Let d = -13126 - -13125. Which is smaller: n or d?
d
Let c be 4 + (-5465)/70 + 51/(-119). Let p(o) = -12*o - 2. Let a be p(6). Is a at most c?
False
Suppose -2223 = -12*i - i. Let z be (18/45)/(i/(-195) - -1). Which is greater: 4 or z?
4
Let g(y) = 628*y - 532. Let q be g(9). Let u = 2643025507/527469 - -298499/2733. Let c = q - u. Which is bigger: 0 or c?
c
Let c = 31543/4704802 - 1/10363. Is 0 bigger than c?
False
Suppose -7*m = -5*m - b + 19, 0 = -4*m + 5*b - 47. Let z be 300 - (8 + -8 + m). Is z at least as big as 309?
False
Let q = -52246/384621 - -18/3127. Which is smaller: -1 or q?
-1
Let g be (-282)/(-10) + (6 - 341/55). Let t be (-104)/g + 4 + (-4460)/14630. Which is greater: t or -2?
t
Let c = 1767 + 1072. Which is smaller: 2838 or c?
2838
Suppose -291 = 27*o - 264. Is -2/1013 <= o?
False
Let c(n) be the second derivative of n**5/10 - 5*n**4/12 + 7*n**3/2 - 4*n**2 - 96*n - 2. Let y be c(4). Is y greater than or equal to 123?
True
Let i = 0.461 - 0.614. Let m = -2.553 - i. Which is smaller: m or -2?
m
Let v(n) = n**2 + 558*n + 5479. Let q be v(-10). Is 1/10852 at most as big as q?
False
Suppose -845 = -96*t - 941. Which is bigger: t or -18/103?
-18/103
Let l be 104/6 + 8 + (-150)/18. Suppose -3*j - 19 = 8. Let a(b) = -b + 6. Let d be a(j). Is l at most d?
False
Let v be 6/8 - (-362)/(-504). Let s = 2.1095 - 1.1095. Which is greater: s or v?
s
Let i be 4 + (2 + -22)/(-5). Suppose -i*o - 156 - 84 = 0. Let l = o - -59/2. Are l and 0 non-equal?
True
Suppose -115*u = -64*u - 57*u + 252. Are u and 40 equal?
False
Let c be (31/6 - 5)/(4/120) - -2137. Is 2140 < c?
True
Suppose 6*x = 2*t + x - 13, x + 1 = 2*t. Let q(s) = -145*s**3 + s**2 + 2*s + 2. Let b be q(t). Let y = b - 207. Which is greater: 1/4 or y?
1/4
Let u = -768 + 779. Is 0.02 less than or equal to u?
True
Let f be (-31)/12 + 14/16*(-12)/(-42). Is 13.7 at least f?
True
Let c be 46 - (-4 - -2 - 1). Suppose -5*b - 6 = 4*l, -3*l - 8 - 10 = -3*b. Suppose -k - x = 17, -2*k + b*x - x - c = 0. Is -21 >= k?
True
Let x(d) = d - 6. Let v be x(12). Suppose 7*h - 3 = v*h. Suppose 0 = h*i + 4*r - 46, 4*r - 6 = -i + 5*r. Do i and 8 have the same value?
False
Let h = -77.28 + -0.72. Let x = h + -47. Let b = -119 - x. Which is bigger: b or -0.04?
b
Let b(h) = -102*h - 3875. Let j be b(-38). Which is smaller: -0.03814 or j?
-0.03814
Suppose 