 58. Which is smaller: 12 or q?
q
Let f(d) = -6*d**3 - 18*d**2 + 9*d - 10. Let m be f(-5). Let k be (2/10)/((-196)/m). Do k and -4/89 have the same value?
False
Suppose 44 = -7*d - 12. Let p be 191/39 - (d - -19 - 6). Suppose 0 = 4*g - 5*h + 6 - 16, -5*g + 4*h + 8 = 0. Is p < g?
True
Let j(d) = 12*d + 23. Let r be j(-12). Let m be 579/462 + -1 - (-22)/r. Is 0 < m?
True
Let y = 0.748 - 0.848. Which is smaller: -27/64 or y?
-27/64
Let f be -47 + 42 - -21*1. Let o be (-4)/(-278)*f/(-32)*1. Do 1 and o have the same value?
False
Let l be (-74 + -1)*(-808)/303. Suppose -9*t = -25 - l. Let v(k) = k**2 - k + 6. Let m be v(5). Are m and t equal?
False
Let w = 0.435 + -35.635. Let g = w + 32. Which is bigger: -0.1 or g?
-0.1
Let u(j) = -3825*j + 11476. Let s be u(3). Let n = -1587 + 174571/110. Which is greater: n or s?
s
Let u = 1648 - 939. Which is smaller: u or 708?
708
Let f(c) be the first derivative of 9*c**2/2 + 100*c - 5. Let o be f(-11). Is 16/19 at most o?
True
Suppose -2697 = p - 2715. Does p = 324/19?
False
Let f be (7 - 900/(-115)) + -1. Is 13 less than f?
True
Let r be -1 + (0 - -3) + 83. Let t be (r/20)/(20/(-16)). Suppose 4*p + p + 20 = 0, -4*l = p + 12. Are t and l nonequal?
True
Suppose 70*c = 156*c - 60*c. Are c and -26971 unequal?
True
Suppose 0 = 2*j + 4*r - 8, -5*j - 301*r = -299*r + 20. Let k = -61 + 39. Which is bigger: j or k?
j
Suppose 45 = 5*c + m, -5*c + 3*m + 30 = -15. Suppose 30 = -4*b + c*b. Suppose -8*f + 42 = -f. Is f at least as big as b?
True
Let o = -146 - -145.981. Let v = -4.981 + o. Is v equal to -0.1?
False
Let m = 1.51 - 228.51. Let v = 236 + m. Which is bigger: v or 14?
14
Suppose 4*y = n + 10, -4*n + 10 = 34. Let b(u) = u**2 - 2. Let c be b(2). Let o be 228/345 - c/5. Which is bigger: o or y?
y
Suppose -4*d = -3*j - 19, -9*d + 4*j + 12 = -7*d. Let h be ((-163)/(-45) - d) + 9/15. Which is greater: h or 1/6?
h
Let t = -0.176 - -29.776. Let w = t - 30.6. Is w greater than 20?
False
Let n be 2 + 6 - (22 - 16). Is n not equal to 41/33?
True
Suppose -73*y + 4*t - 19 = -74*y, 5*y = -5*t + 125. Let h be 12*4 - (-5)/(45/y). Is 51 equal to h?
True
Let k be ((-121473)/12)/(-3) + -2. Let s = k + -3392. Suppose 8*u + 329 = -4*f + 153, 0 = -5*u + f - 96. Is u at least as big as s?
False
Let r(v) = -7*v**2 + 42*v - 4. Let g be r(4). Suppose 74 = g*q - 50*q. Is 113/3 <= q?
False
Let l be 3/(-2)*(-8)/(-33). Let a be 1*13 - (20 - 12). Suppose a = -4*j + b + 4, 0 = -4*b - 12. Which is greater: l or j?
l
Suppose -35 = -17*s - 120. Let i be (-7 - (s - 3))*25. Let g be (-47)/(-5)*15/6. Is i >= g?
True
Let g = -229 - -231. Suppose -s - 3*m + 29 = -3, -g*s = -2*m - 48. Is 23 < s?
True
Let u(x) = -x**2 - 11*x + 44. Suppose 4*n = -33 - 39. Let t be u(n). Let q = 137 + t. Do q and 54 have different values?
True
Suppose 632*h + 10664 = -3240. Let b = 1 - -114. Suppose 0*w - b = 5*w. Which is greater: h or w?
h
Let a(m) be the third derivative of -m**6/120 - 2*m**5/15 - m**4/3 + 15*m**2. Let j be a(-6). Let c be (3/4)/(108/j)*2. Which is bigger: c or -28?
c
Let p be (-62)/(-93) - ((-2027)/(-3) - 0/1). Is -676 less than p?
True
Let x be -276*(-4)/((-80)/25). Let o = x + 1723/5. Is -1 != o?
True
Suppose -144 + 9 = -27*y. Suppose -5*d = -2*l - 550, 0 = l - 2*l + y. Is 111 <= d?
True
Let m(y) = y**3 + 3 - y - 3. Let f be m(1). Let o(a) = 595*a - 12495. Let l be o(21). Does f = l?
True
Let r be -1 + (-40)/(-5) + -7. Let n be 3/(-6)*23208/26. Let a = 446 + n. Which is greater: r or a?
r
Let u(m) = 7 + 26*m - m**3 - 24*m**2 + 7 - 3 - 2. Let p be u(-25). Which is smaller: 4 or p?
p
Suppose 1260 = 3*f + f. Let n be 10/(-24)*(-6)/f. Let x(o) = 3*o**2 - 43*o + 130. Let y be x(10). Which is smaller: y or n?
y
Let c be ((-675)/10)/(-15) - (-1)/2. Let x be (10/8)/c*-76. Which is smaller: -13 or x?
x
Let n be (-89694)/11209 - (-4 - 4). Which is greater: n or 1?
1
Let w = 478 + -531. Let h = 53 + w. Is h at most 7/102?
True
Let r = 65 + -65.29. Let a = r + 1.39. Let j = -1.3 + a. Which is greater: j or 9?
9
Let r be 4/6 + 10/50*35/(-6). Is 60 at most as big as r?
False
Let c = -2387329 + 40601140/17. Let s = -973 + c. Which is smaller: 0 or s?
0
Let g(o) = 4*o**3 + o**2 - 7*o + 6. Let f be g(1). Suppose 0*t - 3*x - 132 = 2*t, 0 = -t + f*x - 88. Which is bigger: t or -287/4?
-287/4
Suppose 5*m + 488 = 5*l - 3437, 5*l - 3937 = m. Let i be (l/42)/((-2)/6). Which is greater: -57 or i?
i
Let h be 29 + -2*2/4. Let w = 1542 + -1067. Let s = w + -474. Is s bigger than h?
False
Let j = -582.71 + -93.29. Is 22 less than j?
False
Let n = 74908 + -74497. Suppose 262 = 2*j + 2*o - 552, 849 = 2*j - 5*o. Which is greater: n or j?
j
Let p(r) = 61*r - 17. Let j be p(3). Suppose -q + h - 60 = -j, -5*q + 523 = 2*h. Is q >= 105?
True
Let g be 12 + (-544)/42 + (-2)/(-3). Is 0.2026 > g?
True
Suppose 6*v - 9*v = -6. Suppose -3*z + 7 = 2*g, -2 = -4*z + v*z. Let y be ((g/(-9))/(2/3))/7. Is 1 smaller than y?
False
Suppose 2*m + 64 = -q + 701, -5*q + 966 = 3*m. Let u = m + -316. Is u less than 10/117?
False
Let z be 2/9 - ((-48)/64 - (-98714)/(-72)). Are -2 and z unequal?
True
Let b = 2092 - 2298. Which is smaller: -2/9 or b?
b
Let u = 12906 - 13419. Which is smaller: -518 or u?
-518
Let z = -2.719 - -2.263. Is z < 1/4?
True
Let p = -67.4 - -70.31. Let c = p - 2.91. Which is smaller: -164 or c?
-164
Let h = -2.8876 - -2903.8876. Are h and 1 unequal?
True
Let a = -2.72176 + -0.27824. Which is greater: a or 7966?
7966
Let i = -29 - -27. Let l = 1.559 + 1.441. Is l greater than i?
True
Let y = 0.1 + -0.2. Let l be (6/4)/((-54)/(-252)) + (-48507)/6919. Is y at least as big as l?
False
Let w be 51/(-204) + 814/(-24) - 11/(-66). Suppose -3*z = -11 + 2. Suppose -z*d + 34 = -4*d. Is d equal to w?
True
Suppose 11*u - 8*u + 90 = 0. Suppose -9*v = -8*v - 30. Let h be (-78)/u + (-3)/(v/(-4)). Which is bigger: -2 or h?
h
Let d = 0.174 + 3.006. Let l = 4.18 - d. Is l greater than or equal to -17?
True
Let h(u) = u**3 + 43*u**2 + 328*u - 85. Let g be h(-33). Is 238 <= g?
False
Let d = 23.148 - 21.148. Let y = -2 + 2.2. Let h = y - 0.3. Is d > h?
True
Let t = -210.986 - 0.014. Let h = -212 - t. Is -44 less than h?
True
Suppose 8*r - 3*r + 291 = -2*w, -w - 117 = 2*r. Let x = 114 + r. Let y = -63 + x. Is y greater than -32/5?
True
Let k be ((-3)/1910)/((-150)/(-36) + (-28)/7). Is 0 < k?
False
Let n = -7177 - -7183.1. Let p = 1 + -4. Let b = 4 + p. Which is bigger: n or b?
n
Suppose 58188 = 2306*h + 2543*h. Let b be (-1 + -1)/(2/(-16)). Is b != h?
True
Let t = -1509 + 7459/5. Let u be -1 + -9 + 36/(-72)*12. Which is greater: t or u?
u
Let n = -8233 - -8232.21. Which is greater: 3/10 or n?
3/10
Let h = -0.03 + 0.2. Let u = -9392 + 9386. Is h at least u?
True
Let m be -6 - -1 - (8325/(-198) - 3). Are 39 and m non-equal?
True
Let d be 2/1 - ((-56)/(-10))/((-1)/5). Are -77 and d non-equal?
True
Let b be 39 + 74 - (5 - 9). Is 584/5 not equal to b?
True
Let h = -2809351/12 + 234559. Let t = h - 446. Suppose l + 4 = 5*l. Which is smaller: l or t?
t
Suppose 51*m = -40*m + 195286. Is 2150 at least as big as m?
True
Let k = -659 + 948. Let b = k + -288. Which is smaller: -16.1 or b?
-16.1
Suppose -387*c + 184374 + 32308 = -812. Is c at least 542?
True
Let r be ((-4)/(-6))/((-3)/64235871). Let m = 21354862473/1496 + r. Let i = m - -5/136. Which is smaller: 3 or i?
i
Suppose 967*j - 966*j = -1. Which is bigger: j or 2/21415?
2/21415
Let h be (-58)/6 + 4/6. Let w = 126 + -126.424. Let r = 0.424 + w. Which is bigger: r or h?
r
Suppose 32 = -2*c + 2*f - 48, 34 = -c - 2*f. Let h be -6 - (3 + 1 + 289). Let k = h - -262. Is k at least as big as c?
True
Let b = -9732 - -6102. Let z be 593/b - (632/(-48) - -13). Which is smaller: -1 or z?
-1
Let g = 9.4 - 5.5. Let y = -3.95 + g. Let l = y + 0.25. Which is smaller: l or 17?
l
Let h(u) = -3*u**2 + 46*u - 199. Let o be h(10). Are o and -77 non-equal?
True
Let u = -137900391/3487 - -39547. Which is smaller: -1 or u?
-1
Suppose 0 = -4*u + 5*u - 5*g - 12, -2*g - 12 = -4*u. Let d(z) = -2*z**2 - 6*z - 2. Let y be d(6). Let j be (-10)/y - 0/1. Is u at most j?
False
Suppose 10*o - 13 = -25 + 22. Are 2255 and o non-equal?
True
Let l = 244.365 + -244.277. Let v be -1 - (0 + 2*-1). Does v = l?
False
Suppose 3371 = 3*x - 838. Suppose 9*s - 2197 = x. Which is smaller: s or 399?
3