337. Which is greater: n or h?
n
Let h be 2/17 + 2784990/(-22967). Is -122 greater than h?
False
Let v = 67.44 - 57.6. Let b = v - 10. Let a = -180/229 - -1522/2519. Which is smaller: a or b?
a
Let s(t) = 2*t + 18. Let d be 2 + (-132)/(-28) + (-2)/(-7). Suppose d*f - 6 + 48 = 0. Let l be s(f). Is l at least 13?
False
Let a = 86.84 + -75.94. Are a and 1 unequal?
True
Suppose -3*d + 60 = -3*h, 0 = -5*d + 4*h + 48 + 48. Suppose -4*z = -d, 2*x + z = x - 11. Let v = -15 - x. Which is smaller: v or -3/25?
-3/25
Let x = -95789/21 + 4560. Let b = x + 19/7. Suppose 0 = -4*r - 5*o - 16, 3*o + 5 + 5 = -2*r. Is b at least r?
True
Let n(i) = -7*i**2 + 32*i - 627. Let o be n(17). Is o >= -2106?
True
Let r = -28526 + 28525.57. Do -7 and r have different values?
True
Let a = -7737.7 - -7727. Is a greater than -0.3?
False
Let s = 200 + -142. Let h = s - 27. Let n = 47 - h. Is n bigger than -1?
True
Let x = 9074 + -117996/13. Let m(o) = o**3 + 9*o**2 - 11*o - 14. Let q be m(-10). Is x at most as big as q?
False
Let s be ((-9)/(-486)*-3)/(84/24). Which is greater: -1 or s?
s
Let s = -1116832/55 - -20306. Which is greater: -17.6 or s?
s
Let k be (-10)/8*18/(-45) + 96/(-192). Do 2/865 and k have the same value?
False
Let v = 2311 - 1251. Let q = v + -27565/26. Which is bigger: q or 0?
0
Let j = 1910 - 1925. Which is bigger: -526/35 or j?
j
Suppose 0 = -646*v + 622*v + 49824. Which is smaller: v or 2074?
2074
Suppose 4*d = y + 17, 4*d + 8 = -y + 23. Is 2/617 at least as big as y?
True
Let x be (-9 + (1 - -2))/(5/545*8). Is -82 >= x?
False
Let i = -1/19735 - -1045968/256555. Let r be 5 + (-1)/1*1. Which is smaller: i or r?
r
Suppose -t = -4*w + 31578 + 8398, -19974 = -2*w - 3*t. Is 9993 at most as big as w?
True
Suppose -25*v + 8 = -23*v. Suppose -35 = 5*y - 5*f, -v*y - 13 = -5*y - 3*f. Let r be 4/(-69)*9/(-6). Which is smaller: y or r?
y
Let l = 133 - 123. Let r(k) = 3*k**2 - 1. Let x be r(-1). Let c be 1 - x/4*-15. Which is smaller: c or l?
c
Let g(w) = 2*w - 1. Let h be g(10). Suppose 4*i + h = 2*m + 3*i, i = -5*m + 30. Does m = 54/7?
False
Let v = -276.6 + 277. Let z = 137 - 134.8. Is z greater than v?
True
Suppose 0 = 2*d - f + 6*f - 7, 0 = -4*f - 20. Let n be 75/27 + (-2)/(d/24). Is -64 at least as big as n?
False
Let o = 9/2063 + -28763/445608. Is o != 0?
True
Let k = 165 + -115. Let m = -34 + k. Are m and 8 unequal?
True
Let s(q) be the first derivative of q**2 - 11*q - 3. Let r = 132 + -126. Let m be s(r). Which is smaller: m or 2/69?
2/69
Suppose 0 = 2*u - 4*c + 128, -c = 3*u + 130 + 55. Let m = 808/13 + u. Is 0 at most as big as m?
True
Let n = 4671 + -919. Does 3752 = n?
True
Let g be ((-2)/14*0)/5. Let o(s) = s**3 - 16*s**2 + 2*s - 12. Let p be o(16). Let d = -31 + p. Is g >= d?
True
Suppose 0 = -6*f + 7*f + 111. Let p(x) = x**3 - x**2 + 6*x + 14. Let t be p(-4). Let b = f - t. Which is bigger: -22 or b?
b
Let q = -100 + 46. Let u be (-12)/q + (-32)/(-18). Let f be ((-2)/4)/(u/(-20)). Which is smaller: f or 3?
3
Suppose -9*n = -11*n - 18. Let l = -11.52 - -12.6. Let d = 1.28 - l. Is d < n?
False
Let s = -3692 - -3959. Is s greater than -1/4?
True
Let b(s) = 54*s - 550. Let d be b(-20). Which is greater: -1628 or d?
-1628
Suppose 0 = -3*w - 4*x + 770 - 19, 2*w + 4*x = 506. Let u = w + -270. Which is bigger: 8 or u?
8
Let b = -6/1799 - 1115/205086. Is b not equal to 2.5?
True
Let x(v) = 5*v**2 + 10*v - 13. Let g be x(2). Let q = g + 8. Is q bigger than 39?
False
Let k = -453 + 543. Let o be 20/k + (330/(-27) - 3). Which is greater: -74/5 or o?
-74/5
Let z = -1499 + 2715. Let x be (3/2)/((-96)/z). Which is smaller: -1 or x?
x
Let g = 0.008 - -69.992. Let n = g - 133. Let o = -62.9 - n. Is 2/17 less than o?
False
Let c(v) = -v + 1. Let z be c(10). Let a be (-109 - -57) + 44 - (-1)/(-5)*2. Is z greater than or equal to a?
False
Let r(x) = -2*x**2 - 212*x + x**3 + x**2 + 1 + 196*x. Let a be r(4). Suppose 3*h - 5*q - 18 = 0, 0*h + 3*q + 6 = -3*h. Is a bigger than h?
False
Let t = -26.912 + -5.088. Is -21 < t?
False
Let a be ((4760/(-160))/17)/(1/(-12)). Which is smaller: a or 22?
a
Let b = 49 - 43.1. Let c = b - 5.97. Let x = -11.93 + c. Are -2 and x equal?
False
Let l = 461.724 - 439.7. Let p = l - 0.024. Let s = p - 25. Are s and -3/4 equal?
False
Let p = -742593/5 + 149440. Which is smaller: 920 or p?
920
Let y = 433 + -498.2. Let f = -66 - y. Let v = -0.5 - f. Is v bigger than -2?
True
Let m = -204.48 - -750.4. Let v = m + -546. Which is smaller: -0.4 or v?
-0.4
Let y = -5.58 + -274.42. Which is greater: -0.1 or y?
-0.1
Let l(j) = -j**2 + 126*j - 3823. Let a be l(52). Are 559/22 and a unequal?
True
Let r(a) = 2*a**2 - 18*a + 40. Let k be r(5). Is k at most as big as 31/68?
True
Suppose 19*h + 1 = 15*h + 5*r, -5*h = 4*r - 9. Which is smaller: h or 96/139?
96/139
Let a = -1047 - -616. Let z = 447 + a. Which is greater: z or -2/5?
z
Let v = -48954.1 - -48952. Let g = 1 + -0.8. Let x = g - 0.1. Which is bigger: x or v?
x
Let i be 4*1 + 5*12/(-15). Let j be (-39095)/(-170) + (-2)/(-1). Let l = -232 + j. Which is bigger: i or l?
i
Suppose 2*w - 43*w + 3725 = -16*w. Let t be (-1773)/(-12) + (-1)/(-4). Is t less than w?
True
Let t be (-2)/2 + (-138)/(-140). Let y(m) = m**2 + 3*m + 3. Let g(k) = 6*k**2 + k + 16. Let j(o) = g(o) - 4*y(o). Let n be j(5). Which is bigger: n or t?
t
Let m(r) = 12*r + 72. Let t be m(12). Let b(o) = 25*o**2 + 12*o - 44. Let x be b(3). Is t at most as big as x?
True
Let s = 33479 + -32279. Which is greater: 1208 or s?
1208
Let k = 603 - 1054. Let w = 459 + k. Do -6/5 and w have different values?
True
Let a be (-19)/(760/(-384)) - 3/5. Let b(n) = 13*n**3 - 5*n**3 + 0*n**3 + 2*n + 23 - a*n**3 - 12*n**2. Let l be b(-12). Which is smaller: -1/67 or l?
l
Suppose -5*g = -0*g + 35. Let j = -2744 - -8210/3. Is g greater than or equal to j?
True
Let u = -44 + 65. Let v be (-10)/35 + 48/u. Suppose 0 = -3*t - 2*n - 20, 0*t + 2*t - v*n = -30. Which is bigger: -9 or t?
-9
Let w = 11617.6 - 11560. Which is smaller: 6 or w?
6
Let p = -31 - 24. Let t = 70 + p. Let r = t + -3. Does r = -1?
False
Let f = 136.59 - 135. Let u = 4.59 - f. Which is bigger: u or -9?
u
Let y = 55924 + -559233/10. Let o be 3/2*4/6. Is y equal to o?
False
Let y = -32 - -39. Let t = 2.19 + -2. Let v = -0.81 - t. Is v at least as big as y?
False
Let l(s) = -5*s - 7. Let w be l(1). Let r be 18/w + 3076/2040. Which is greater: 1 or r?
1
Let b = -14.138 + 0.138. Suppose 2*c + 11 + 35 = 0. Let x be c/(-23) - (-10)/(-6). Which is smaller: b or x?
b
Suppose -14*u + 117 = -11*u + 3*h, h + 105 = 3*u. Suppose -15*o + 14*o - u = 0. Is -36 bigger than o?
False
Suppose -79*n + 84*n - 2*c + 33930 = 0, 20358 = -3*n - 4*c. Is -6786 < n?
False
Suppose -9*z = 12*z + 25*z - 1380. Which is smaller: -23 or z?
-23
Let d = 0 + 0.2. Let m = -687.1069 + 0.1069. Let t = 675 + m. Are d and t nonequal?
True
Suppose 4*p = -2*n - 12 - 0, -2*p = 4. Let w(v) = -8*v - 2. Let a be w(n). Let x = a - 15. Is -1 smaller than x?
False
Let p = -58419912/1759 + 33212. Which is smaller: p or 1/4?
p
Let t be 5*2 - (-24 + 46 - 13). Which is smaller: -0.0364 or t?
-0.0364
Let o be (-32)/144 - (-12)/(-189). Suppose -4*p + 72 = -r, 4*p + 2*r - 6*r - 84 = 0. Let m = p - -5. Which is smaller: m or o?
o
Let l be (-2)/(-3) - (-22)/(-24). Suppose -o = -5*v - 17, -20 + 22 = o - 2*v. Let c be ((-240)/(-6))/(8*(-2)/o). Which is smaller: c or l?
l
Let h = -443826 + 11099774/25. Let y = 68 - -97. Let b = y - h. Which is bigger: b or -1?
b
Let i be (4 - (-148)/(-32))*5. Let m = -7819 - -7816. Is i greater than or equal to m?
False
Let r = 20017 + -20020. Is r > 2625?
False
Suppose -5256 = 40*l + 7584. Let v = l - -2891/9. Which is greater: 77 or v?
77
Let u(q) = -2*q**2 - 54*q + 906. Let s be u(-41). Is s at least -250?
True
Suppose -21*o + 3 = -24*o. Let d be (1 + 5)/((o + 0)*-2). Suppose 2*s + 40 = -d*s - 2*k, -7 = 2*s - k. Does s = 0?
False
Suppose -3*r = -5*d - 3517, 3*r = -3*d + 820 + 2681. Let l = r + -15209/13. Which is smaller: l or 0?
l
Let q = 288 - 407. Let t(s) = -s**3 + 3*s**2 - 29*s + 13. Let r be t(4). Is q at least r?
True
Let j = 7 - 4. Suppose 0 = 2*n + 5 - j. Let y be (-4)/26 - (-8)/13. Is n bigger than y?
False
Suppose -33*g - 11*g - 440 = 0. Let n = 22/127 - -14490/1397. Let t = n + g. Which is smaller: 2 or t?
t