- z. Which is bigger: s or f?
f
Let y(w) = w + 3. Let r = 6 - 22. Let t be y(r). Let u = -30 - -16. Which is smaller: t or u?
u
Suppose -b + 38 - 33 = -3*w, -3*w = 3*b - 3. Is w smaller than -14/5753?
True
Let y be (56724/96)/((-19)/(-152)). Is 4728 at least y?
True
Let b = 322 + -274. Let f be (b/20)/(-1)*(-210)/12. Is f < 40?
False
Let q = 2926 + -2946. Do q and 3/31 have the same value?
False
Let a = 53 - 3. Let m = -13 + a. Let w = m + -37. Is 0.27 less than w?
False
Let s(w) = 14*w**2 - 94*w + 41. Let g be s(7). Let o be (-2)/(-2) + 23*3. Are o and g non-equal?
True
Let b = -4482.9 - -5418. Let d = b - 935. Suppose p + 5*x = 3*x + 11, -3*x - 88 = -4*p. Is p < d?
False
Let d = -2724 + 2769. Which is smaller: 349/8 or d?
349/8
Let b = 114 - -94. Let z = -30882 - -31089. Do b and z have the same value?
False
Let b = -2775 + 2795. Which is greater: b or 38?
38
Let u = 102026/125935 - 228/283. Is 19 bigger than u?
True
Let a(d) = -d**2 - 4*d - 3. Suppose -t - 9 = h, 2*t + 6 = -0*t + h. Let q(o) = 4*o + 17. Let z be q(t). Let s be a(z). Which is bigger: s or 2/71?
2/71
Suppose -2*m = -33 - 25. Let b be (7 + -3)/4*98 + 3. Let c = b + -302/3. Which is smaller: c or m?
c
Let u = -0.6 + 2.6. Let s = 18105 + -18104.4. Is s != u?
True
Let l = -470095/19 - -24742. Do l and 23 have the same value?
False
Suppose -3*b - 4104 = -3*a, 4*b + 2377 + 1722 = 3*a. Is 1374 bigger than a?
True
Let l(n) = -463*n + 14. Let k be l(3). Let y be ((-2)/(-4))/(k/220). Is y greater than -3/14?
True
Let z(d) = 11*d - 97. Suppose -23*u + 656 = 18*u. Let x be z(u). Is 79 less than or equal to x?
True
Let v = 50900/65880029 + -22/25611. Is v < 1?
True
Let j be (-2 - (-21)/(-9)*-1)*158088/(-14). Are j and -3764 unequal?
False
Let b = -52/49 - -153/98. Suppose 2 = 2*m + 54. Is m bigger than b?
False
Let h be 6/(-16) + 2863/(-168)*-65. Do 1106 and h have the same value?
False
Let f = 2589/7 + -12917/35. Do f and 0.2 have the same value?
False
Suppose 41 = k - 5*t, 2*k + 0*k - 152 = -4*t. Suppose -57*i = -39*i + 1116. Let b = k + i. Is 2 greater than b?
False
Let o = -200/9 - -8618/387. Let v = -191 + 189. Let l be (v/(-4) + 0)/(21/(-42)). Which is smaller: o or l?
l
Suppose 73*n - 77*n - 4 = 0. Let z(f) = 9*f**3 + 3*f**2 + 7*f + 4. Let w be z(n). Let t be -2*1 - (7 + 2). Are w and t unequal?
True
Let o = 2.855 - 3.42. Let s = o - -0.465. Is s < -246?
False
Suppose -10*i + 9*i = -6. Let u be 0 + -3 + 305/(-5). Let y be (u/(-4))/4 - i. Is 2 != y?
True
Let v = 2 - -2. Suppose -5*s + 963 = -4*z, 192 = v*s - 5*z - 573. Suppose s*k - 198*k = 0. Which is smaller: 2/7 or k?
k
Let i be (-1)/(-1871)*(11 - 5*(-3 - -6)). Is i at least -1?
True
Suppose -5*a + 2 = -48. Suppose a*c + 3*c + 13 = 0. Which is smaller: c or -11/15?
c
Let j = -250 + 1405. Is 1/4 < j?
True
Let m = 30618 - 30805. Is m not equal to -1694/9?
True
Let c be 1824/9*(12 + -1 + 4355/(-402)). Let b be (-137)/(-4) + 2/(-8). Is c less than b?
True
Let f be (20/(-420)*0)/(-8). Is f at least as big as -2/32851?
True
Let d = -477 + 468. Let p(n) = -n**2 - 6*n + 3. Let c be p(-6). Which is bigger: c or d?
c
Let h = -191.1 + 174. Let b = h - -17.7. Which is smaller: b or 20?
b
Let n be 18/45 + (-38)/(-5). Suppose -27 = n*k + 5. Which is smaller: k or 15?
k
Let p = 38 + -35.9. Let o = 2.2 - p. Let h = 536 + -503. Which is smaller: o or h?
o
Suppose -47*p + 144 - 220 = -123. Does p = 1/2630?
False
Let b = -3.09 + 171.09. Let l = b + -178. Which is bigger: l or -1?
-1
Let x be (3 + -4)/((-1)/53). Suppose 0 = -2*s - 6*j + j + x, -3*j = -3. Let q(k) = k**3 + 20*k**2 + 42*k + 130. Let r be q(-18). Is s at least r?
True
Let x = -262/4071 + -4/177. Let m = 366 + -366. Which is bigger: m or x?
m
Let f = 3 + 0. Let k = 3.13 - f. Let l = 0.23 - k. Is 0.14 < l?
False
Let s = 4852 - 33966/7. Which is greater: 17998 or s?
17998
Suppose 0 = 5*l - 3*h + 34473, -2*h - 2*h + 6898 = -l. Let m = 48172/7 + l. Is -12 equal to m?
False
Let x = 0.339 + -0.273. Let z = x - 0.024. Is z at least -0.3?
True
Let x(l) = 4690*l + 2657. Let o be x(-2). Which is bigger: o or -6722?
-6722
Suppose 779*a + 930 = 774*a. Let w = -7813/42 - a. Are w and 1 nonequal?
True
Let a = 153.14 + -152.21. Which is bigger: a or 2.4?
2.4
Let d = 5003 + -9752. Which is greater: d or 1?
1
Let s = -109442.0606 - -109419. Let u = 0.0394 - s. Let t = 23 - u. Is -0.057 equal to t?
False
Let a(i) = i**2 + 23*i - 25 - 79 - 77 + 47. Let v be a(-27). Suppose -k - 27 = -0*k. Which is greater: v or k?
v
Let s = -5 - 5. Let z = -22.7 + 349.7. Let r = z + -327.2. Which is bigger: s or r?
r
Let h(r) = -621*r - 1864. Let c be h(-3). Is c less than 32/929?
True
Suppose -k + 33 = -3*g, -3*k - 2*g + 29 = 3*g. Suppose 0 = 6*u - 42 + k. Which is smaller: 30/11 or u?
30/11
Let i = -27 - -17. Let n = 10 + i. Let f = -57.4 + 39.4. Which is smaller: n or f?
f
Let h = -184 - -183.716. Let z = 0.194 + h. Which is smaller: z or -12?
-12
Let d be (7 - 2) + -6 - 212. Let y = -1493/7 - d. Which is greater: y or -0.78?
y
Let x = -174.95 + 174.41. Which is smaller: x or 108?
x
Let a = 19549 + -42520. Let r = -161055/7 - a. Is r >= -36?
False
Let p(s) = -8*s**2 - 64*s + 15. Let i be p(-9). Is -38 > i?
True
Let v = -9862.0301 + 4.0301. Which is smaller: v or -2?
v
Suppose -s = a - 3*s - 58, 0 = -5*a - 4*s + 234. Let u = 4/166649 - 241307868/4832821. Let r = u + a. Which is smaller: r or 1/3?
r
Suppose -5*q - 4501 = -2*v, -2325*q = -2*v - 2323*q + 4510. Is v at least as big as 2257?
True
Let c(t) = t - 25. Let s(g) = g - 1. Let m(a) = -c(a) - 4*s(a). Let r be m(6). Which is greater: r or 3/329?
3/329
Let n be (2/(-3)*-3)/(-19). Let k(y) = -4*y - 7. Let f be k(-8). Suppose -28 = 3*x - f. Is x at most as big as n?
True
Let o(j) = 47*j**2 - 69*j - 198. Let m be o(-3). Is m bigger than 432?
False
Let x(t) = 9*t + 1. Let g be x(-1). Suppose -6*n = 4*n - 610. Let m = 55 - n. Which is bigger: m or g?
m
Let i = 0.2 + 0.8. Suppose 622*x + 62*x = -83330 - 149914. Which is greater: i or x?
i
Let p = -5254 + 5096. Is p > -787/5?
False
Suppose 44*v = 45*v + 86. Let m = v - -83. Let y be 18/(-261)*(-5 - m). Which is greater: 0 or y?
y
Let k = 0.73 + -4.63. Let d = -3.975 - -0.175. Let b = d - k. Which is smaller: b or -1?
-1
Suppose -112*f = -95*f - 12886. Is f smaller than 758?
False
Let o = -4.403 + -1.267. Let j = 0.43 - o. Let l = 6.5 - j. Which is greater: l or 10?
10
Let c(u) = -18*u**2 - 50*u - 2. Let g be c(-11). Is g less than or equal to -1631?
False
Let i = 16100 + -17450.7. Is -2/7 bigger than i?
True
Suppose -4*h = 2*w - 18, 12 = -w - 3*w + 4*h. Let v(g) = 3*g + 0*g + 13 - 14. Let f be v(1). Which is greater: w or f?
f
Let z = -38056 + 38052.8. Does z = 0.233?
False
Let x = 30938 + -30940. Which is greater: -3290 or x?
x
Suppose 13*h = -18*h. Let i be (-3)/12 - (-10)/8. Let p = i + 5. Which is smaller: h or p?
h
Let y be (-2)/(-7) + (-26)/(-7). Let s = -170 + -19. Let d = s + 193. Are y and d unequal?
False
Let u(g) = -g + 9. Let b be u(6). Suppose 2*n = b*w - 3, -2*w - 9 = -3*n - 2*n. Suppose -2*k = -4*x + 26, w*k = 5*x - k - 31. Which is greater: 8 or x?
8
Let p be 4/35*40/(-16). Let s = -6 - -9. Let j = s + 7. Which is smaller: p or j?
p
Suppose g + 197 = 5*g + 229. Which is greater: g or -93/13?
-93/13
Suppose 5*z + l - 148 + 990 = 0, -l + 679 = -4*z. Which is bigger: -185 or z?
z
Let c = -23.399 + 22.399. Let l = -11 - 19. Let r = -22 + l. Do c and r have the same value?
False
Let a = 2205 + -1568. Suppose 177 = 20*x + a. Let g = 45 + x. Which is smaller: 24 or g?
g
Suppose -22*z + 27*z = -20, 2*a + 3*z - 126 = 0. Do 72 and a have the same value?
False
Let u be (30 + 1001/(-33))/(734/42). Which is bigger: 0 or u?
0
Let d = -1638 + 1639. Which is bigger: -2/5535 or d?
d
Let m = 19 - 16. Suppose 3*y = 5*z + y - 34, 3*y = -m*z + 12. Let f be 7/z*(-45)/70. Is -2 >= f?
False
Let p = 675 + -670. Suppose -w = -p - 3. Suppose 0 = 3*v + 6 + 3. Are v and w unequal?
True
Let b = -2601/29 - -50956133/568139. Is 1 greater than or equal to b?
True
Let v = 223.1 - 223. Let j(d) = d**3 + 4*d**2 - 2*d - 6. Let n be j(-4). Let x be (-4)/48*9/n. Does v = x?
False
Let o = 150 - 156. Let h be -10*((-4)/o + 35/(-21)). Is h at least as big as -3?
True
Let n = -3512 - -3466. Which is greater: -0.1 or n?
-0.1
Let q(t) = t**3 - 11*t