a*k + 5*k. Which is greater: 2/119 or u?
2/119
Suppose 0 = 5*h + 3*s + 14, -2*h - 11*s = -7*s + 14. Let d be -5 + (-1 - (-177)/h). Are d and -185 equal?
False
Let c = -134.7 - 545.3. Let v = 543 + c. Is -0.1 at least as big as v?
True
Suppose 42*q - 46502 = -22*q - 1446. Which is greater: 707 or q?
707
Let b(q) = 9*q**2 - 16*q + 4. Let u be b(-7). Suppose -u - 93 = 10*o. Let t = o + 35. Which is smaller: -29 or t?
t
Let x = -483 + 863. Let u = x + -133. Let k be -2*2/(-26) + (-38)/u. Is -6/7 >= k?
False
Let y = 45 - 63. Suppose 0 = -4*h + 4*u + 24, -5*u = 4*h - h - 2. Suppose -j = 4*z - h + 10, -5*j = z + 87. Are j and y equal?
True
Let j = -2495.6564 + -3.3436. Is j at least as big as -1?
False
Let n(s) = s**2 + 16*s + 19. Let x be n(-16). Let y = 11 - -5. Which is greater: y or x?
x
Suppose 0 = 8*z + 3084 + 20. Let b = -285 - z. Is b >= 105?
False
Suppose -5*z - 489 = -3*o, 4*z = 5*z + 3. Let m be 320/2 - ((5 - 6) + 2). Which is smaller: m or o?
o
Let f = 2 - 2. Suppose f = -3*v - n + 3*n + 10, -2*n = 2*v. Let k be (-96)/9 + v/3. Is -10 <= k?
True
Let n be 35/7 + (-101)/(-1). Let p = n - 107. Which is smaller: p or -10/7?
-10/7
Suppose 0 = -118*x + 459*x - 64449. Are x and 193 equal?
False
Let j be ((-8)/(-14) - (-301)/(-441))*108/1278. Is -1 at least j?
False
Suppose 4 = -23*d + 50. Suppose -2*q - 65 = -5*w - 3*q, 3*w - 31 = q. Are d and w equal?
False
Suppose 726*a - 694*a + 1440 = 0. Which is smaller: a or -20?
a
Let q be (-10)/8*(-1136)/9230. Which is smaller: q or 114?
q
Suppose -4 = 2*p, a - 7*p - 2 = -6*p. Suppose a = -4*n, -1 = 4*v + 4*n + 3. Is v less than -2/43?
True
Let i = -23.579 + 24.5. Let g = 0.079 + i. Let q = g + 3.2. Is 1 equal to q?
False
Let v(h) = 25*h + 1843. Let i be v(0). Is i greater than 1844?
False
Suppose -5*z - 906 = -s, 4*s = -3*z - 333 - 206. Which is smaller: -180 or z?
z
Let u be 1/(-4)*(-29747)/197. Which is bigger: 38 or u?
38
Let u = 470 + -939/2. Let m(d) = -d**2 - 7*d + 4. Let n be m(-7). Suppose -n*v + 0 + 4 = 0. Which is bigger: v or u?
v
Let v be 122/(-1) + 112/(-14). Which is smaller: -126 or v?
v
Let b = -2824.6 + 2856.6. Let a = -53/5 + 57/5. Is a greater than b?
False
Let l be 56/(-40) - (-2292)/30. Suppose -129 = -4*y + 175. Which is bigger: l or y?
y
Let b = -322 + 341. Suppose 14*a = -5*a + b. Which is bigger: a or -4/235?
a
Let m = 91 + -89. Suppose 0 = -5*x + m*y - 13, 8 - 24 = -4*y. Let n = 3/94 + 65/3854. Which is smaller: x or n?
x
Suppose 32*d - 30*d = 4*t - 26, 2*d - 3*t + 29 = 0. Which is bigger: 402 or d?
402
Suppose 0 = -12*v + 21*v - 8451. Which is bigger: 941 or v?
941
Let i(a) = a**3 - 11*a**2 - 7*a + 26. Let h be i(13). Let o be ((-8)/14)/2 - 559/h. Let p = o + 11/6. Which is smaller: p or 1?
p
Let g = -218/51 + -412/51. Let h be (-3)/(2/4*18). Which is bigger: h or g?
h
Let j = -815 + 830.58. Let a = 15.7 - j. Is -6 bigger than a?
False
Let s = -30 - -31. Let l = -95 + 215. Let f be (-2)/12*9/l. Which is greater: s or f?
s
Let l = 146 - 2440. Which is smaller: -1 or l?
l
Let b be 10/50 + (-6)/(-1620)*6. Let l = 7 + -4. Suppose 0 = l*m + d - 7 + 1, -2*d + 6 = 0. Which is greater: b or m?
m
Let z = 108545/4 - 26344. Which is smaller: 791 or z?
791
Suppose 2*t - p = -29, -t + p - 45 = 2*t. Let h be (-10)/(-6) - 8/12. Which is smaller: h or t?
t
Let n = -4710.152234 - 0.835766. Let w = -4720 - n. Let a = w + 0.012. Is -2 <= a?
False
Suppose -j - 4*o - 5 = -2*j, 5*o - 115 + 120 = 0. Let k = -117 + 179. Let a = k + -745/12. Do j and a have different values?
True
Let q(t) = 19*t - 1507. Let u be q(78). Which is greater: u or 2.6?
2.6
Let s be 30/1575*5 - 28255/105. Which is smaller: s or 8?
s
Suppose -4*v + 3*v - 4*o + 72 = 0, 0 = 5*v - 5*o - 310. Suppose -2*n + 4*n = -v. Let j(q) = 2*q - 5. Let u be j(-14). Which is greater: n or u?
n
Suppose 0 = 5*r - 19 - 11. Let o(i) = -i + 6. Let x be o(r). Let q be 3/21*(-9275)/(-330) - 4. Is q smaller than x?
False
Let u be (-4 + 5)/(1/87*3). Suppose 54 = 3*f - 3*c, -4*c - 86 + u = -3*f. Let t be (-3 + (-119)/(-39))*f. Is t at least as big as 0?
True
Let x be 1/((-860)/2572) + -5 + 8. Let t be ((-12)/24)/((-1)/(-2)) + 2. Which is greater: t or x?
t
Let k be (-32)/448 + (-118)/28 + 4. Which is smaller: 1213 or k?
k
Suppose -1208 = -42*z + 304. Is z > 472/13?
False
Let h(a) = -a**3 + 8*a**2 + 10*a - 8. Let o(s) = 3*s - 11 - 1 - 6. Let p be o(9). Let y be h(p). Is 3 not equal to y?
True
Let j be -2 + 0 + 2/(-2). Let m(a) = -a**3 - 7*a**2 + 7*a + 7. Let q be m(-5). Let i = 82 + q. Which is bigger: i or j?
i
Suppose 522*x = 263*x + 261*x - 20. Is 83 equal to x?
False
Let n(i) = -3*i + 11. Let l be n(5). Let d be l/2*(-124)/(-8). Let c = -46 - d. Is c less than -16?
False
Let c = 152581 - 1680429/11. Is c less than -185?
True
Let r = -7.21 - 69.615. Let n = -0.175 + r. Let c = -68 - n. Which is bigger: c or 2/3?
c
Suppose 0 = -8*x + 8 + 16. Suppose 3*j - 7 = -2*s, 10*j - 6*j - 10 = -x*s. Which is smaller: -30 or j?
-30
Let w be 44/3*9/(-54). Let y be (-820)/(-360) - (-1)/(-1). Let t = w + y. Is t at most as big as -2?
False
Let l = -64.08 + 72. Let z = l - 8.3. Are -0.2 and z nonequal?
True
Let j be 3/(3 - 0) + -1 + 8. Suppose -10*b = -2 - j. Which is greater: b or -0.63?
b
Let j = 17280 + -18235. Does -944 = j?
False
Let p be (-2)/8 + 9/(-12). Let v be 4/2*p + 1019806/1197. Let d = -850 + v. Is d at least as big as -1?
True
Let q = -18 - -12. Let r be (2 - 1) + 13/(-78)*-6. Let a be q - r*(-3 + 4). Which is smaller: -7 or a?
a
Let f be 6/(-24) + (-888)/(-442) + -1. Let g = f - 2/221. Is g <= -0.1?
False
Let u(g) = 2*g + 35. Let t be u(-18). Which is bigger: -4.3 or t?
t
Let h be ((-66)/18)/11 - 12/(-9). Are h and 631 equal?
False
Let p be -1 + -5 - 7904/(-39). Let x = p + -196. Is 1/3 >= x?
False
Let q be 2 - 10/(-2) - (451 + -447). Which is smaller: q or -25?
-25
Let z = -36764 - -441479/12. Is 26 not equal to z?
True
Suppose 2*j + 34*l - 29*l - 5672 = 0, 0 = 5*j + 5*l - 14135. Which is smaller: 2820 or j?
2820
Let r = 963 + -963. Which is smaller: 14/2105 or r?
r
Suppose -v + 27*v = 52. Let m be (-649)/1652 + v/8. Let t be ((-4)/6)/((-2)/(-3)). Which is smaller: t or m?
t
Let t(w) = 290*w + 3. Let x be t(-1). Let r = x + 1437/5. Is -0.81 >= r?
False
Let y = 1.27 + -1. Let f = 1.03 - y. Let w = f + -0.66. Which is smaller: 2/9 or w?
w
Let z be 5144/120 - 2/(-15). Suppose 4*v = -z + 47. Which is smaller: 0.074 or v?
0.074
Let w be 28/7 + (-2 + 3)*8. Suppose 0 = w*b - 9*b. Let v = 155/504 + -5/72. Is v >= b?
True
Let t(n) = n - 4. Let j be (-5 + 2 + -1)/((-1)/1). Let r be t(j). Let o be (r + 1 + -2)*100/12. Is o at least -8?
False
Let i = 162 - 162.73. Let y = 0.29 + i. Let h = y + 0.34. Is h >= 2?
False
Let c be -1*(2/7 + (-258)/21). Let m be 614/c + (-96)/144. Is m smaller than 52?
True
Let i = -43 + 608. Is 561 at least i?
False
Let c be -12 + 10 + (-13 - -3). Let x(h) = -h + 1. Let l be x(-9). Suppose 5*z - 3 = -m, 2 + l = -5*m + 2*z. Are c and m non-equal?
True
Suppose -5*p - 100 = -3*p. Let k = -1011 - -1016. Suppose 4*x + 248 = -x - 2*c, -k*c = 3*x + 145. Do x and p have the same value?
True
Let n(c) = -c**3 + 69*c**2 + 3*c - 210. Let h be n(69). Is h bigger than -80/41?
False
Let p be (4/(-16))/(18/(-32)). Let x = 1/11605 - 6331/11605. Is x bigger than p?
False
Let v = 1503/159616 - 2/1247. Suppose -s - 3*g - 12 = 0, 5*g + 8 + 11 = -2*s. Suppose 0*z + s = -3*z. Which is greater: z or v?
v
Let a be 0 + ((-7002)/(-35))/(-2) - 8/14. Are a and -101 equal?
False
Let z be ((-8)/(-6))/(4/6). Let t be ((-24)/(-84)*-7)/(2/20). Let u be (-12)/t - (-7)/5. Is u less than or equal to z?
True
Suppose 0*i = 19*i - 931. Suppose i*f - 183 = 52*f. Suppose 2*j + 116 + 4 = 0. Is f bigger than j?
False
Let b(r) = -r + 2. Let y be b(0). Let q be -27 - 151236/(-5148) - (-2)/26*1. Which is smaller: y or q?
y
Let x = -15/1232 + 233089/18942000. Is x less than or equal to 1?
True
Let z(r) = -10*r - 1. Let v be z(-3). Suppose -10*l + 12*l - 544 = 0. Let m = -242 + l. Is v less than m?
True
Let l be 4 - (-1 + (-215)/(-75)). Let n = l - 3842/1815. Which is smaller: n or 1?
n
Let m(p) = p**2 - 5*p + 40. Let y be m(9). Let j be (-8199)/24*(-4)/(-18). Let q = y + j. Which is bigger: 0 or q?
q
Suppose -14*s + 5*s = -5256. Let o = s + -610. Is o > -26?
False
Suppose -4*y 