. Suppose -7*b = 15 + 209. Let j be r(b). Which is bigger: y or j?
y
Let s = -1 + 0. Let f be (32/(-100))/4 + (-1818)/(-225). Are s and f non-equal?
True
Let d be ((-24)/(-165))/(16/20). Which is smaller: d or -2261?
-2261
Suppose -4*w + 2*h = 96, 2*w + h = -w - 62. Let k be 1/2 - (-147)/(-6). Let s = w - k. Which is bigger: 8/3 or s?
8/3
Let k be (-3)/2 + 2 + 4/(-3). Let l = -3/4 - k. Let i = 4 - 3. Is i less than l?
False
Let w(s) = -74*s. Let v be w(0). Suppose 0 = -4*h - 8, 2*h + 1 = -d + h. Suppose -t - 2 + d = v. Which is smaller: 1/3 or t?
t
Let q be 135/(-360)*116/3*2. Do q and 17 have different values?
True
Let o = -322.353 + 0.353. Let j = o - -325. Which is greater: j or -45?
j
Let b = -23845/9 + 2609. Let u(k) = -k**3 - 82*k**2 - 317*k - 431. Let c be u(-78). Which is bigger: b or c?
b
Suppose -264 = -9*a + 12*a. Let g be 3*(a/3)/8. Let z(u) = 11*u**3 + 2*u**2 + u. Let d be z(-1). Which is greater: g or d?
d
Let t = -310.2 + 371. Let b = t + -68. Let q = b - -4.2. Is 3/2 <= q?
False
Suppose -y - 4*z - 13 = 0, 2*y + 45*z = 43*z - 20. Is y at least 539?
False
Let s = -91 + 53. Let q be (-190325)/5075 + (-3)/7. Let z = q - s. Which is bigger: z or 0?
z
Let o be (20/30)/((-2)/(-6)). Suppose o*a = -27 + 5. Is a <= -126/11?
False
Suppose -2*g - 2*x - 1370 = 0, 54*x - 53*x - 5 = 0. Do g and -691 have the same value?
False
Let r = 1891/34486 - 8/401. Let m(v) = 2*v - 17. Let a be m(8). Which is bigger: a or r?
r
Let r = 734/3 - 198181/810. Which is smaller: r or 1?
r
Let u be (-9)/18 - (-3)/(-6). Which is greater: 1/5961 or u?
1/5961
Let u be 376/(-204) - 5/20*200/(-10). Which is smaller: 2 or u?
2
Let r(g) = 313*g**3 - 2*g**2 + 3*g - 2. Let i be r(1). Let c be (-35369)/(-1130)*(11 - 1). Are i and c nonequal?
True
Let q(p) = -3*p + 30. Let j be q(15). Let o = 35 + j. Which is bigger: o or -6/7?
o
Suppose 21 = 5*d + r, -6*d + 22*r + 38 = 20*r. Let w be ((-2)/4)/(2/(-20)). Suppose 5*c + 202 = c - 5*a, d*c + w*a = -250. Which is smaller: c or -49?
-49
Suppose 45 - 205 = -16*x. Suppose 4 - x = -3*f. Which is greater: 21/20 or f?
f
Let b = 10033 + -10034. Which is smaller: b or -0.4027?
b
Let l(k) = -9*k**2 + 16*k + 18. Let x be l(-1). Let f(i) = 2*i**3 + 17*i**2 + 13*i + 3. Let m be f(x). Are 63 and m equal?
False
Suppose 0 = 2*j + f - 14, 0 = 9*j - 14*j - 5*f + 45. Suppose 13*s = j*s + 208. Does 20 = s?
False
Let c = 0 - 1. Let x be 18/(-3) + 11 - (-310)/(-38). Let n = 1708/589 + x. Is c greater than n?
False
Let z be ((-8280)/30)/((-3)/(-2) + -2). Suppose -72*t - z = -68*t. Which is smaller: -137 or t?
t
Suppose -5*n + 2*l = -59 - 176, 60 = n - 3*l. Let r = n - 43. Suppose -5*w + 19 + 5 = r*t, -4*w + 4*t + 8 = 0. Which is smaller: 10 or w?
w
Suppose -d - 153 = -3*b, 3*b - 3*d + 15*d - 192 = 0. Which is bigger: b or -0.6?
b
Suppose 14*g - 61*g + 27117 = 22*g. Is 393 > g?
False
Let g be (-11)/(-18)*2/(-3). Let z be (-5 + 2 + -1)*((-19)/(-4) - 5). Is z equal to g?
False
Let i(r) = -27*r + 245. Let d be i(9). Suppose -8*g + 3*g + 309 = -3*k, 4*g = d*k + 248. Let b be (9/(-6))/(2/(-84)). Is g >= b?
True
Let z = 13923617/6766683 - -10/55923. Is 3 equal to z?
False
Suppose -n + 24 = 72. Let i be (n/7)/((-5)/70). Which is greater: 95 or i?
i
Let q = -17184 + 17185. Let i = 0.036 - 1.376. Is i > q?
False
Let o be 2/3 + (-7098)/(-18). Suppose 3*t = -5*h + 648, 5*t - 3*h - 1475 = -o. Let q be ((-3)/9 - -1) + (-171)/t. Which is bigger: q or 3?
3
Let v(c) = 2*c**3 - 8*c**2 + 11*c - 14. Let t be v(3). Is t at most -39/85?
False
Let x = 1126 - 1916. Let p = x - -789. Which is smaller: 1/38 or p?
p
Suppose 15*q - 9*q - 30 = 0. Suppose -7 = -q*p + 10*p - 3*n, -3*p + 15 = 3*n. Which is bigger: 8 or p?
8
Let g = 310.4 - 258. Let h = 10.4 - g. Let k = 43 + h. Which is smaller: k or -19?
-19
Let k = 0.7 + -2.7. Let l(z) = 33*z - 40. Let n be l(4). Let b be 0 - (n/6)/(6/9). Which is greater: k or b?
k
Let d(c) = -71*c + 396. Let o be d(5). Which is bigger: -32 or o?
o
Let p = 30.44 + -611.44. Is 0.3 smaller than p?
False
Let x = -3141 + 3139. Let i be 6/(-4)*119/21. Is i greater than x?
False
Suppose 4*t = -3*t + 7. Suppose d + 5 = t. Let o be 2/(-2)*(-3 - 72/d). Which is bigger: -17 or o?
o
Suppose -697 - 1625 = -18*y. Suppose y*l = 123*l - 378. Which is smaller: -61 or l?
l
Let z be (-8 - (-23 + 9)) + -2 + (-1 - 134). Is -652/5 at most as big as z?
False
Let b = 511 - 515. Suppose 0 = t - 0*t - 5. Is t bigger than b?
True
Let q = -3136/5 - -38998/65. Is q greater than -26?
False
Let l be ((-2)/8)/((-247)/152). Let w = -17.6 + 5.6. Let i = 10.7 + w. Is i at least l?
False
Let f be 12/21 - (1173461/101409 - 11). Is f at most as big as 0?
True
Let y = 1.11718 - -0.00282. Is y >= -0.3?
True
Let x be (-2930)/(-15)*234/52. Is x bigger than 867?
True
Let o = 4127 + -3869. Is o >= 776/3?
False
Suppose -32*q = 73 - 169. Which is smaller: 3177 or q?
q
Let r = 22795 - 68383/3. Is r equal to 1830?
False
Suppose 0 = -z - 4*k + 398, z - 2*k + 802 = 3*z. Suppose -9*c - z = -12*c. Suppose 49 = -5*h + c. Is h greater than or equal to 18?
False
Let f = -3 + -1. Let w(j) = -j - 4. Let o be w(f). Suppose -262*k - 55*k - 5844 = 170*k. Is o at most k?
False
Let z(n) = n**3 - 6*n**2 - 6*n - 7. Let f be z(7). Suppose 7*c - c - 12 = f. Suppose -7*j + 2 = c. Which is smaller: j or 8/7?
j
Let v = 4234982099/14541250802 + 13/43742482. Let o = 60/179 - v. Is o less than or equal to 0?
False
Suppose -93*z + 5130 = -98*z. Let q be (-9)/(z/(-483)) + -1 + 5. Which is bigger: q or -1?
q
Let m = 191 - 194.32. Let p = -1.55 - m. Let v = p + -0.77. Which is smaller: -0.32 or v?
-0.32
Let v(i) = -10*i + 8*i**2 - i**3 + 3*i**2 + 3*i**2 - 6*i**2 - 19. Let b be v(6). Let f be (1/(-1))/(b/((-56)/(-596))). Is 0 at least as big as f?
False
Let c(f) = 2*f**2 - 2*f**2 - 5 + 4 - f**2. Let y(g) = -3*g**2 - 13*g - 3. Let p(q) = 2*c(q) - y(q). Let k be p(-12). Which is smaller: k or -37/3?
-37/3
Let d be 71/2 + 1/(-2). Suppose -5*p = d - 15. Let t be ((-200)/(-60))/((-8)/2 - 1100/(-375)). Which is bigger: p or t?
t
Let u = 92 - 223. Let b = u + 222. Is 90 greater than b?
False
Suppose 13*m - 198 + 55 = 0. Suppose 5*a - m = -2*y, -3*y = -0*a - 4*a - 5. Which is smaller: -1/10 or a?
-1/10
Suppose -4*g + 3*k = 4, 4*g = -3*k - k + 24. Suppose g*n + 3*n - 4*v = -7, -4*n = v - 7. Let z be (-1*(n - 3))/2. Which is bigger: 5 or z?
5
Let h(u) = u**3 + 6*u**2 + 5*u. Let r be h(-5). Let j = -212/13 + 48799/2990. Is j at most as big as r?
False
Let x = -2.9 - -3.01. Let m = x - -6.09. Let q = 7.2 - m. Is -7/11 >= q?
False
Suppose -35*d = -34*d - 6. Suppose -p + d*p = -10. Which is smaller: -16/9 or p?
p
Suppose 5*d = 2*t + 2*t - 447, -3*t - 4*d + 374 = 0. Let q = -233/2 + t. Which is bigger: q or -3/7?
q
Let h(g) = 2*g - 4. Suppose 5*a = 4*p + 4*a + 56, -p = -3*a + 14. Let u = -16 - p. Let d be h(u). Is d >= -8?
True
Let k = 123.88 - 123. Let a = 107 + -105.52. Let b = k - a. Which is greater: -1/4 or b?
-1/4
Suppose -3*c + 2027 = 2*j - 6*j, 3*j + 1539 = -4*c. Let g = -261 - j. Let v = g - 6941/28. Is -1 >= v?
False
Let j be 62/138 - 4/6. Let z be 2 + (85/(-3))/(1/(-15)). Let v = z + -427. Is v at most as big as j?
False
Let z = 602 - 2512. Let a = z - -82125/43. Suppose 3*y + 0 = 4*t + 15, 2*t = 5*y - 25. Which is smaller: a or t?
a
Let i = -3218 + 5121. Which is smaller: 1904 or i?
i
Let w be (247/(-95))/((-1)/(-35)). Suppose -60 = 3*t + 216. Is w not equal to t?
True
Let z = -3415/4 - -859. Let v = z + -281/52. Suppose 3*w = -0*w. Which is bigger: v or w?
w
Let n = 128 - 130. Let b be n - ((-71)/9 + 6). Are -0.7 and b unequal?
True
Let z = -37687/226446 - -21/1034. Is -1 <= z?
True
Let k = -6 - -9. Suppose -4*t = -3*j - 124, -k*j + 39 = 2*t - 5. Let z be (-8)/t + (-1 - 145/7). Do -23 and z have the same value?
False
Suppose -4*g = 0, 0 = -3*v - 2*v - 2*g + 175. Let z = v + -25. Suppose 0 = p + 4*p + z. Which is smaller: -2/13 or p?
p
Let h be (124/16 - 4)/(12/272). Which is greater: 12 or h?
h
Let s = 6080395126 - 2264430350851051/372415. Let p = -2/1055 - s. Is 0 less than or equal to p?
True
Suppose -6*y - 3*c + 11 = -4*y, -12 = 4*c. Let l be 96/y*(-5)/(-120)*6. Is l at most as big as 1?
False
Let x be 105/140 + -1 + 0. Let q be (-7 - -8)/(1/11). Are q and x equal?
False
Let d = -112.6886 + -0.1114. Let y = d - 