4)). Which is smaller: -0.1 or h?
-0.1
Let d be -2 - (4/(-2) + -9). Let a be 2/d*(-6)/2. Let r be (1*3)/((-10)/30 - (-17407)/(-78)). Which is bigger: r or a?
r
Let x = 1486247/10 - 148484. Let l = 5 + -146. Let a = x + l. Which is smaller: a or 1?
a
Let t(n) = 5*n**2 - 5*n - 6. Let a be t(-4). Let d be (-480)/3720 + 2949/31. Is d <= a?
False
Suppose 3*q = 2*m + 344, -3*q + 514 - 135 = 5*m. Suppose -5*u - 3*c = c - 569, -4*c + 452 = 4*u. Which is bigger: q or u?
q
Let c = -12989/21 + 2009/3. Which is bigger: c or 2/7?
c
Let r be ((-40)/14808)/((-50)/(-20)). Which is greater: r or 2?
2
Let h(z) = z**3 + 26*z**2 + 50*z + 115. Let j be h(-24). Is j equal to 51?
False
Let g = 17412 - 17433. Which is smaller: g or 129?
g
Let h be 4/11 - (-3400020)/(-990). Is -3434 at least h?
True
Let y = -9/271 + 9801/1355. Let q be 27/(-1)*2/(-8)*-76. Let z = -507 - q. Which is bigger: y or z?
y
Let l be 10/34*12/210. Let j = 10 + -4. Let v = -6 + j. Which is smaller: v or l?
v
Suppose -34*d + 39105 - 70590 = 121005. Which is greater: d or -4486?
d
Suppose n + 19 = 4*u, -37 - 20 = 3*n + 4*u. Let b be -6 - n/((-95)/2780). Which is smaller: -561 or b?
b
Let j = 8223 + -3981. Is j <= 8483/2?
False
Suppose -238*l - 614957 = 48*l + 127*l. Which is smaller: -1482 or l?
l
Let j be -252 - 1/(5/(1 - 6)). Which is smaller: j or -248?
j
Let a = 10635 + -10636. Is a at most as big as -24/1331?
True
Suppose 2*k = -4*i + 6, -i + k - 4*k - 1 = 0. Let b = -2 + i. Let x be (-72)/(-1128)*(-40)/120. Which is greater: b or x?
b
Suppose -10*k = 4*n - 216, -4*k + n + 114 = -2*n. Which is smaller: k or 23?
23
Let h = -235 - -173. Let i = 273.6 - 337. Let d = h - i. Are 3 and d equal?
False
Let u = -4.3 + 4.5. Let c = -232.13 - -232. Which is smaller: u or c?
c
Let u = 26 + -27. Let j = -11278 + 5131492/455. Which is bigger: u or j?
j
Let n = -3777 + 3746. Which is smaller: 3/5 or n?
n
Let d be (254 + -418)*2/(-7 + -1). Which is smaller: 37 or d?
37
Let t = -639.5 + 639.3. Is 6716 less than t?
False
Let c be 1449/(-414)*((-228)/70 + (-2)/(-5)). Is 216/11 greater than c?
True
Suppose -3*w - r + 299 = -6*r, 0 = w + 2*r - 107. Suppose 4*z + w = 3*g, -z = -5*z - 4. Which is greater: 29 or g?
g
Suppose -5*g - 44 = -2*q, -5*g + 3*q - 5*q = 36. Let d be (35/(-20))/(-7)*g. Is 6 >= d?
True
Let r = -5711/1371 - 1/914. Let x = 131 - 127. Let t be (x + 1)/(6/(-6)). Are t and r unequal?
True
Suppose -2510*o = -2503*o. Which is smaller: o or 1/12103?
o
Let k = 111/29 + -362/87. Which is greater: k or -386.2?
k
Suppose 4*c - 2*h - 138 = 0, -4*c = -c + 3*h - 117. Suppose 190*i + 109*i = 10166. Which is smaller: c or i?
i
Let t = 103 + -154. Let d = -6 + -6. Let v be 17/(-4 - 44/d). Do t and v have the same value?
True
Suppose 0 = c + 5*z + 24, 34 = -5*c - 2*z + 6. Let p(w) = 11 - 30 + 1 - 2*w + 6*w. Let d be p(4). Which is greater: c or d?
d
Suppose -9*q - 3*f = -4*q + 7, 5*q = f - 11. Let t(h) = h - 8. Let a be t(0). Let d = 6 + a. Do d and q have the same value?
True
Let q(h) = h**2 - 4*h + 3. Let r be q(3). Suppose -53*t + 58*t + 541 = -3*b, -3*b = t + 533. Do b and r have different values?
True
Suppose -4*s - 20 = 0, 5*f - 3*s + 53 + 12 = 0. Let k be (10 + 1704/f)/(3 - 1). Which is smaller: k or -49?
-49
Let k be (8/12)/(4/(-87)). Let a(s) = s**3 - 18*s**2 + 17*s. Let i be a(17). Suppose -60 = 4*h - h - 5*m, -5*h - 3*m - 66 = i. Which is bigger: k or h?
k
Suppose f = -f. Suppose f*r - 3*r = -6. Let x be (10/4 + -1)/((-2430)/(-4212)). Is r smaller than x?
True
Let f be (2 - 228/(-21))*684/152. Which is greater: 57 or f?
f
Let n(a) = a**3 + 5*a**2 + 2*a + 3. Let k be n(-4). Suppose -3*i + 26 = -p, i + 138*p = 140*p + 17. Is k >= i?
True
Let o = 110 - 106. Let x = -11 - o. Is x less than or equal to 0?
True
Let r = 8970 - 8969.9. Does -10/7 = r?
False
Let m = -113 + 71. Let h = -360 - -318.2. Let a = m - h. Is -0.03 < a?
False
Let s = 0.0289 + -5.1889. Let h = s - -5.22. Are h and -33 nonequal?
True
Let f = -34289/4 - -8572. Which is greater: -16933 or f?
f
Suppose 5*v + 4*x - 1089 = 0, -v + 1805*x + 183 = 1800*x. Which is greater: -1/4 or v?
v
Let p(m) = m**3 + 5*m**2 + 8*m + 5. Let i be p(-2). Let d(z) be the first derivative of -z**2/2 + 8. Let j be d(i). Is -2/5 >= j?
True
Let f be (221/(-3757))/(4/(-68)). Suppose 2*j - 41 = -103. Which is greater: f or j?
f
Let t = 1508.82 + -1509. Does -6 = t?
False
Suppose -y - 321 = -j, 3*j - 821*y - 958 = -819*y. Are -1/8 and j equal?
False
Let j = 51526/3 + -17143. Is 32 smaller than j?
True
Let n = -8.101 + -31.899. Do 20.4 and n have different values?
True
Suppose b = -4*b. Let k = 38347 + -1303803/34. Which is bigger: k or b?
b
Suppose 13*s - 7*s + 480 = 0. Let w be (4 - 9) + (-364)/s. Which is smaller: -1 or w?
-1
Let g be ((-1)/42)/(1/(-8)). Let o be (-243)/189 + 4/14. Is g at least o?
True
Let k = 2309 + -2312. Is 1/36 bigger than k?
True
Let p(r) = 6*r**3 + 5*r**2 + r + 2. Let h be p(-3). Let t = 125 + h. Which is smaller: t or 13?
t
Suppose -2*c - 15 + 8 = -k, 5*c = -15. Are k and 6/41 nonequal?
True
Let y(j) = -3*j**2 - 17*j + 11. Let v be y(-6). Let k be -3 + -2 + 5 + 3. Suppose -d + 5*d + 127 = -v*m, 0 = 3*d + k*m + 96. Is -32 <= d?
False
Let l = 21940 - 21938. Are -652.4 and l equal?
False
Suppose -6 = s + 2*j - j, -4*j - 8 = 0. Are -8 and s non-equal?
True
Suppose -6*x = -18*x - 24. Let o = -58 + x. Is -58 greater than or equal to o?
True
Let c be 3345/(-54) + 1/(-2) - 0. Let w = -62 - c. Let x = 64 - 65. Is w smaller than x?
False
Suppose -o + 3*x + 32 = 0, 238 - 343 = -5*o + 4*x. Which is bigger: o or 87/5?
87/5
Let h = 16206 - 16207. Which is smaller: 448 or h?
h
Let t(w) = 3*w**3 + 13*w**2 + 10*w + 5. Let u be t(-9). Let y = 5557942129/4559470 + 859/41830. Let i = u + y. Which is greater: i or -1?
i
Let o(l) = -12*l**2 - 89*l + 1. Let a be o(-6). Is a smaller than -0.96?
False
Let t = 12/47 + 266/799. Let b = 31 - 38. Let q be (-5)/(-21)*3 + (-2)/b. Do q and t have the same value?
False
Suppose 3*b = 6 - 42. Suppose -a = 5*o + 121, 17*a - 4*o = 18*a + 122. Let q be -12 + 14 - a/(-10). Is b bigger than q?
False
Suppose 4*n + 15 = 9*n. Suppose -5*b = 3*x + 2*x - 5, -2*b + 2 = -2*x. Suppose -i - n = -b. Is i > -9/11?
False
Let u = -5 - -12. Suppose u*t = 5*t + 16. Do t and 7 have the same value?
False
Let o = 60.2 + 17.1. Let m = 77.23 - o. Which is greater: -10 or m?
m
Let b(z) = z**2 - z - 2. Let f be b(2). Let m be (f - -8)/(1/(-10)). Suppose -28*s - 344 = 4*q - 24*s, q = -4*s - 101. Which is smaller: m or q?
q
Let k be ((-10)/(-15))/(-1*2/9). Let h be 10/(-25) + (-1)/((-5)/k). Let w be (-8)/32 - h/(1 - -3). Do w and -3/29 have different values?
True
Let r(a) = -a**3 - a**2 - 3*a - 3. Let k be r(-4). Let q = -114517 - -114515. Which is greater: q or k?
k
Suppose -4*w - 4*k = 196, 4 + 0 = -k. Let v be (-360)/(-108) - 670/12. Let y = v - w. Which is greater: -7 or y?
-7
Let u(g) = -399*g - 6200. Let v be u(-20). Does v = 1780?
True
Let d be (-132)/(-11)*-4*(-3)/36. Let v be 2*(22/(-44))/(2/d). Let s be 6/27 + (-13)/18. Is v not equal to s?
True
Let r(y) = 180*y + 1687. Let j be r(-6). Are j and 611 equal?
False
Suppose -2*y + 32 = 4*x, 2*y + 0*y + 5*x - 34 = 0. Suppose -24*d - y = -30*d. Does d = 12/5?
False
Let c = 84 + 0. Let f = -53 + c. Let u = f + -34. Is u equal to -0.4?
False
Let k be 2 - -2 - (-20 - -4)/(-4). Which is smaller: -2/9229 or k?
-2/9229
Let g = -637 + 965. Which is smaller: 331 or g?
g
Suppose 16*b = 20*b + 4. Let a be (-5 - 3/b) + 4. Suppose 48 = 4*v + g + 4*g, 0 = -5*v - a*g + 43. Is -3 > v?
False
Let u = 7697 - 7583. Which is greater: 2 or u?
u
Let q = 5294546/103 - 1864876817/36462. Let z = 1547/6 - q. Which is smaller: 1 or z?
z
Let d(s) = s**2 + 8*s + 2. Let y be d(-5). Let n be 6*(-12 + (-42)/(-4)). Which is greater: n or y?
n
Let g = 45709.9978 - 45569. Let k = 0.0022 + g. Which is bigger: k or 2/3?
k
Let u be (56/(-168))/(3/855). Which is smaller: u or -98?
-98
Suppose 5*d + 33*u - 30*u - 10312 = 0, -4*d + 8252 = 2*u. Does d = 2066?
True
Let y(b) = 18*b**2 + 1. Let o be y(-2). Let g be (-7)/(o/(-18) - -4). Suppose 3*a - u = -3*u + 96, -2*u + g = 4*a. Which is bigger: 29 or a?
a
Let p(c) = -6*c**3 - 26*c**2 + 23*c + 175. Let x be p(10). Which is greater: -8196 or x?
x
Let c = 5336.1 - 5337. Does c = 14/3?
False
