623. Which is smaller: 0.1 or c?
0.1
Suppose 0 = 114*d + 118*d - 1870616. Which is smaller: d or 8064?
d
Suppose -16*y = 199 - 215. Let r be -57*1/22 - (-7 + 4). Which is smaller: y or r?
r
Let v(m) = -m + 1. Let i be v(0). Let p be (-6)/(-3)*24/(-16). Let h be 60/(-24) + (0 - p). Which is smaller: h or i?
h
Let m be 1/4*0 + (2 - -1). Suppose -q - 4*p + 62 = 0, -3*q + 214 = 2*p + m*p. Is 76 smaller than q?
True
Let k = -3 - -8. Let z = 15259.62 + -15259.7. Is k < z?
False
Let d = 13.58 - 0.08. Let q = -13.49 + d. Let b = -0.1 - -0.4. Which is smaller: b or q?
q
Let c be 4*(2 + (-33)/54). Let n = c - 377/63. Let g = -4822 + 4823. Which is smaller: n or g?
n
Let h = 8311 + -8292. Do h and -29 have different values?
True
Suppose -f - 486 = -177. Let u be (85/(-51))/(1/186). Which is bigger: u or f?
f
Let z = 266 - 179. Let h = z - 87.052. Which is greater: -0.1 or h?
h
Let t = 145 + -109. Suppose -10*z + 36 = t. Which is smaller: z or -14/19?
-14/19
Let n = -7306.1807 - -7306. Is 3 less than or equal to n?
False
Let d = -16562 + 16559. Suppose 5*g - 2*w = -54, 0*g = 3*g + w + 39. Let k be 2*(2 - (-26)/g). Which is smaller: k or d?
d
Suppose -931*f + 10832 = -916*f - 27343. Which is bigger: 2548 or f?
2548
Suppose -6*v + 3*v = -v. Let t = 40 + -33. Suppose v = -c + q, t*q = -2*c + 2*q. Which is smaller: 1/13 or c?
c
Let p be (1815/(-365) + 5)*(-7)/2. Is p at most as big as 1?
True
Let a = -1/2198 - -189047/41762. Is 6 > a?
True
Let d be (-300)/(2/(20/15)). Let n = 189 + d. Is -11 at least n?
True
Let u = -7758 - -7758.2. Suppose 0 = -2*y - 65 + 23. Which is smaller: u or y?
y
Let v = 236 - 236.1756. Let j = 0.0456 + v. Let b = -0.27 + -0.03. Is b smaller than j?
True
Let u be (-3)/6*(-6 + -4). Let q = 106 + -111. Let t be (-72)/(-10) - (29/q - -5). Is t smaller than u?
False
Suppose -2*l = -5 + 1. Suppose l*c + 3*a + 129 = 5*c, -3*c - a = -129. Let s(g) = 4*g**2 + 5*g. Let k be s(-4). Is c less than k?
True
Let y = -7725.93 - -7695. Let t = -31.28 + 0.28. Let f = y - t. Is -1/2 < f?
True
Let m = 182 + -181.9. Let h be 9/15 + 113595/(-180200). Let b = 1/136 - h. Is m greater than b?
True
Let i be (-4)/3 + 2 + 15424/(-18798). Is 1902 greater than i?
True
Let c(y) = 2*y + 5. Let j = -6 - -6. Suppose -4*r + 3*q - 87 = -j*r, 2*q = 2*r + 44. Let s be c(r). Which is smaller: -35 or s?
s
Let i = -0.92109 + 0.08109. Let h = -2 - -2. Which is smaller: h or i?
i
Suppose 0 = 4*y - 20, 2*k - 5*y = 6 - 25. Suppose 6*l = -k*l. Let p be (4 + (-66)/18)/(-1 - l). Is 0.05 not equal to p?
True
Let b be (-4 - 21)*(1 + -2). Suppose 83 = 3*m - 4*v, 11*m - 119 = 7*m - 3*v. Let t = m - b. Do t and -4 have the same value?
False
Let k = 5/10724 + 11710453/332444. Is k <= 36?
True
Suppose -82 = 7*i - 8*i. Let w = 43 - i. Let v(d) = -d - 28. Let g be v(10). Is w <= g?
True
Let l be (-7)/(7/(-2)) - -2. Suppose 0 = 10*x - l*x + 72. Let o be 5/(-20) - (-69)/x. Is o <= -3?
True
Let i = 25421 - 25422. Let g be (-1)/(-3)*6/103. Which is smaller: g or i?
i
Let n = -197 + 197. Suppose 2*b = -5*t - 1, n = -5*t + b - 0*b + 8. Let i be -1*(0 + 3/(-7)). Is t bigger than i?
True
Let q = 8 + -10. Let w be (-74)/(q + 1 + 3). Let p = 38 + w. Is 20 equal to p?
False
Let g be 487/(-112) + 4 + 4/14. Which is smaller: g or -15?
-15
Let x be 363/(-198) + (-9 + 11)*2/(-24). Which is bigger: x or -87/164?
-87/164
Let a = -113 - -113.149. Let r = a + 0.851. Let y = -0.4 - -0.7. Is y less than r?
True
Let y be 803 - (-2 + -5 + 14). Suppose -37*c + y = -425. Which is smaller: c or 39?
c
Suppose 5 = -27*v + 32. Suppose 4*h + 3*b = -v, 0 = -3*h + 2*h + 3*b - 4. Which is smaller: h or -1/138?
h
Let o be (-256)/((2 + 7)*(-5 + (-78)/(-18))). Let z = 87 - 45. Is z >= o?
False
Let k be (35/105)/(1/30) + -9. Which is greater: k or 2/18687?
k
Suppose -2*j - 35 + 27 = 0. Let z = 5 - j. Suppose 2*u - z = 23. Is 16 at least u?
True
Suppose 0 = 4*z - 16, -5*y = -2*y - 3*z - 48. Let m be (y/(-100))/((-2)/1970). Are 196 and m unequal?
True
Suppose 0 = -4*u - 3*c - 1050, -94*c + 288 = -u - 99*c. Which is smaller: u or -259?
-259
Suppose -44*c + 268 - 224 = 0. Which is greater: -16/171 or c?
c
Suppose -5*z = 5*m - 2555, -2*z - 3*m - 1533 = -5*z. Suppose -4*o - g - 392 = 0, -4*g + z = 5*o - 10*o. Is -99 less than or equal to o?
True
Suppose 30*y + 15*y + 2*y = 47. Are y and -4/1373 equal?
False
Let p = 15626 + -10911. Are p and -0.2 non-equal?
True
Let z = 30771 + -35740. Is -4968 smaller than z?
False
Let z be (-1 - (0 + -2)) + 1. Let y = -2/559 + 4490/5031. Is y >= z?
False
Let z = 2214803/2598 + -1705/2. Is 1 at most as big as z?
False
Let g(p) = -p**2 + 9*p - 6. Suppose -2*y = -7*y + 45. Let l be g(y). Let t be l/(-14) + (-6141)/805. Is t not equal to -8?
True
Let t(l) = -l**3 + 24*l + 28. Let v be t(6). Which is bigger: -427/10 or v?
-427/10
Suppose -19 = -13*v - 97. Let d = v - -5. Let o(b) = b**2 - 8*b + 16. Let t be o(5). Which is bigger: d or t?
t
Suppose 221*p - 229*p = -9 + 73. Let k = -1851/7 - -264. Is p > k?
False
Let q = -0.24 + -4.76. Let w = -24 + q. Are 3 and w unequal?
True
Let m = -25441 + 25444. Are m and -4366 non-equal?
True
Let d = 52 + -106. Let s = d + 92. Suppose s = -7*j - 88. Which is bigger: j or -21?
j
Suppose 440 = -91240*o + 91232*o. Let j be (-6)/(-15) - (-524)/(-10). Is o equal to j?
False
Let w be (20*(-4)/(-10))/((-20)/(-10)) - -12771. Is 12774 at most as big as w?
True
Let h = 3865 - 3864.9. Is 5683 less than or equal to h?
False
Let b be 24*((-4228)/105)/((-6)/(-15)). Let d = b - -60423/25. Is 2 != d?
True
Suppose 12*f = 8*f - 80. Let p be (8/f)/((-3)/(-15)). Let l = 941 - 6604/7. Is l smaller than p?
True
Let d = 364 + -672. Suppose -u - 284 = 3*o + 646, u - 615 = 2*o. Is d at least as big as o?
True
Let t = 1390 - 1823. Which is bigger: -431 or t?
-431
Suppose 32*l - 11*l = -20*l + 171913. Which is smaller: l or 4191?
4191
Let i be 178/6*(0 - (6 - 42)). Is 1071 greater than or equal to i?
True
Let n be (4 + -3)*((-196)/(-14) + -14). Which is smaller: 1/6734 or n?
n
Let z = 79.8 - 129.8. Is z greater than or equal to 22?
False
Let g be ((-495)/(-18))/((-4)/(-16)). Suppose i - 2*z - 22 = -3*z, -5*i + z + g = 0. Is i >= 18?
True
Let c = 225 - 221. Let n be (1/c)/((-26)/(-32656)). Are 314 and n equal?
True
Suppose -10 = -5*m, 3*d - 2287 = 3*m - 2266. Let o be (-116)/(-14) + (-4)/14. Which is smaller: d or o?
o
Let a be (-1)/(-3)*(-24)/(-4). Suppose a*b - 1 = 1. Let m be 9*3 + (196 - 206). Which is smaller: b or m?
b
Let c be (-2)/4 + 114/(-4). Suppose 5*w - 2*k = -131, 3*w + 2*k + 29 = -56. Which is greater: w or c?
w
Let d = 182/1815 + 4/121. Which is greater: d or 758?
758
Let p(d) = -23*d + 644. Let r be p(28). Is -26/163 >= r?
False
Let q(x) = -x**3 - 9*x**2 - 14*x + 2. Let o be q(-7). Suppose -2*s - 4 = p + o, 0 = 4*s - 4*p - 12. Do -1/31 and s have the same value?
False
Suppose -2492 = 5*q + 2*m, 5*q - 985 = 3*m - 3472. Let g = 498 + q. Does g = -2/5?
False
Let y = -27310727/181632 - 11/16512. Is -151 bigger than y?
False
Suppose -4*g + 712 = -2*w, 4*g - 923 + 225 = -5*w. Suppose -8*m - 57 = -g. Suppose -a - m + 17 = 0. Is a < 11?
True
Let j be (-24)/8*(16/36)/(-2). Which is bigger: 1066 or j?
1066
Let h be (3/(-4))/((-7)/28) - -2. Suppose w + 31 + 98 = -5*d, h*w = 4*d + 80. Are -6 and d unequal?
True
Suppose -a - 5*u + 25 = 0, 4*a - 8*u = -3*u - 25. Is a less than or equal to -9/16?
False
Suppose 4*p - 3*p - 64 = -7*p. Which is smaller: p or -239?
-239
Suppose 14*m = -2258 + 102. Let n = 777 - 932. Are m and n nonequal?
True
Let m = 11.033 - 11.12. Which is smaller: m or 0?
m
Suppose -5*o - d - 15 = 0, -8*d + 10 = 5*o - 12*d. Let v be 3 + 78/((-2)/(-1)). Let g be 16/v*(-9)/6. Which is smaller: g or o?
o
Let r(l) = 3*l**3 - 25*l**2 - 177*l + 1872. Let f be r(10). Which is smaller: 588 or f?
588
Let c = -2178 + 2151. Let t = 3/8 + -25/24. Which is greater: c or t?
t
Suppose -8*i - 381 = -1525. Let a = 30 - i. Let w = a - -108. Are w and -13/3 equal?
False
Let v = -1/3 + 151/489. Let j(m) = 2*m**2 + 33*m + 81. Let i be j(-3). Which is smaller: v or i?
v
Let o be (-520185)/530100 - (-6)/(-57). Let x = o + -5/372. Is x at least as big as -2?
True
Let z = 3428 - 3302. Do 0.1 and z have the same value?
False
Suppose 6*w = -206 + 1580. Suppose -23*a - w + 22 = 0. Is a less than 