 Which is greater: n or x?
n
Suppose -3*y = 2*r, -7*r + 2*r = -2*y. Which is greater: r or 2/73?
2/73
Suppose 4*h - 5*q - 66 = 0, 3*q = 2*h + 5*q - 42. Suppose 0 = -b - o + 23, -4*b + 2*o - 37 = -111. Which is greater: b or h?
b
Let m = 372 + -372.3. Is m not equal to -0.194?
True
Suppose -24*m + 216 = -22*m. Which is smaller: m or 110?
m
Suppose 4*j + j = -2*l - 130, 0 = -l + 2*j - 74. Are l and -208/3 nonequal?
True
Let g = 468.8 - 469. Which is smaller: g or -65?
-65
Let w(d) = -10*d + 401. Let j be w(39). Is 11 at least as big as j?
True
Let c be 2/(-11) - (-15)/(-220). Which is bigger: -142 or c?
c
Let h = 79 + -75. Let v be 30/(-14) + 0/h. Is -0.2 less than v?
False
Suppose 6*f - 9*f = 0. Suppose f*l = l. Suppose l = -4*x + 7*x. Is -1/6 equal to x?
False
Let m = -74 - -75. Are -2/1081 and m unequal?
True
Let x = 1.99 - -0.01. Let f = -23.99 - -24. Does f = x?
False
Let y be (-3896)/78 - (-24 - (-3752)/156). Let r = 86 + -137. Which is greater: y or r?
y
Let s = 2251 + -69798/31. Which is greater: s or -2?
s
Let w(o) = 2*o + 16. Let i be ((-21)/14)/(6/40). Let r be w(i). Let x(g) = 2*g + 1. Let k be x(r). Do -1/3 and k have different values?
True
Let i = 95970/13 + -7398. Let j = i - -9206/585. Let x = -0.2 - -0.3. Which is smaller: j or x?
j
Suppose -3*y - 1006 = -1075. Which is smaller: -2 or y?
-2
Let m = -2534 - -129241/51. Is m not equal to 0?
True
Let u = -47 - -29. Let f = 21.2 + u. Is -1 greater than or equal to f?
False
Let v(l) = -15*l + 433. Let i be v(29). Which is smaller: i or 482?
i
Suppose 0 = 5*w + 313 - 288. Suppose 0 = -2*d - 10 - 18. Let c = 10 + d. Which is smaller: w or c?
w
Let x be 93/(-27) + 8/18 + -2. Is -3 smaller than x?
False
Let v = -12/265273 - 365809835/36077128. Let a = v - -83/8. Which is smaller: a or -1?
-1
Let s = -67 + 68. Which is greater: 1/478 or s?
s
Let z = -152.8 + 132. Let v = z + 20. Suppose -2*g = -7*g + 10. Is v >= g?
False
Let x = 251 - 266. Which is greater: x or -14?
-14
Let z be 728/6 + (-9)/((-189)/14). Is z at most as big as 124?
True
Let z = -46.538 + -0.262. Let j = z + 30.5. Let x = -16 - j. Is x <= 0.2?
False
Let b = 3792799/16 + -236954. Let o = b - 96. Which is smaller: o or -1?
-1
Let r = -24 + 263/11. Let g = 3 - 11. Let o = 9 + g. Which is smaller: r or o?
r
Suppose 0 = -4*c - 16, -7*s + 207 = -2*s - 3*c. Suppose 8*x = 140 + 164. Which is smaller: s or x?
x
Suppose 3*u = 2*w + 242, -4*u = -2*w - 2*u - 242. Is w < -122?
False
Let a(c) = 8*c + 30. Let z be a(-9). Which is smaller: z or -45?
-45
Let x(m) = -m**2 - 8*m - 4. Let b be x(-5). Suppose 0 = -5*f + b - 31. Let z be (18/(-24))/(1/6). Is f smaller than z?
False
Let d = -79 + -211. Is d greater than or equal to -289?
False
Suppose 0 = -5*o - 2*i - 5, 0 = -3*o + 2*i + 13 - 0. Suppose 3*m + 5*u = o, -m + 3*u + 5 = 14. Let w = -3 - m. Is 2 bigger than w?
True
Suppose 4*d - 2*b - 4 = 0, 5*d - b - 6 = 2. Suppose -2*j - d*u - 14 = u, -2*j - 2*u - 10 = 0. Let m be 5/10*0/j. Is -4/5 > m?
False
Suppose 3*b + 78 = -3*r, 0 = 3*b + 2*b - 2*r + 137. Let q = b + 32. Let z be ((-1)/(-2))/((-10)/q). Is -1 > z?
False
Let s(l) = l + 22. Let v be s(-22). Suppose v = -k - 1 + 4. Let z be (0 - -1)/(1/3). Is k less than z?
False
Suppose 0 = 5*i - 42*f + 45*f - 7, 0 = 2*i - f - 5. Which is smaller: i or 273?
i
Let v be (-90)/24*46/(-6). Let p = v + -29. Suppose 3*w = -4*t - 22, -w + t - 4 - 1 = 0. Which is greater: w or p?
p
Let v be (-14336)/(-126) + 6/27. Is 117 at least as big as v?
True
Suppose -6 = 2*c, 2 = 2*p + 2*c - 4. Suppose -5*w = -p*w + 9. Suppose w - 4 = 5*l. Which is smaller: l or 4?
l
Let z = 6 - 8. Let v = 2.8 - 4.8. Let k = z + v. Which is greater: k or 0.2?
0.2
Let y = -0.23 + -8.77. Let w = y + 9.3. Let a = 0.4 - w. Which is bigger: a or 0.3?
0.3
Let p(m) = -m**3 + 5*m**2 + 11*m - 29. Let o be p(6). Is 2/357 < o?
True
Let m be (-5 - (-190)/30) + 2/(-9). Which is bigger: 1 or m?
m
Suppose -2*w - 2*w + 5 = c, 5*w = -c + 7. Let g be (-7 - -13)*(-6)/(-8). Let j = -29/6 + g. Is j at most w?
True
Suppose -389 = -y + 267. Suppose t - 140 + y = -5*m, t - 2*m = -481. Let r = t - -16201/33. Is r greater than 1?
False
Suppose 0 = -2*l + 27 + 15. Let z = l - 19. Suppose -3*s + 7*s - 2*i = 0, 0 = 5*s + i - 14. Is s < z?
False
Suppose -4*w + 3 = -3*m, w + 0 = -3*m - 3. Is m at most 8/47?
True
Let b = -1.449 + 1.649. Let m be 6/(1/((-1)/(-11))). Which is smaller: m or b?
b
Suppose 11*r - 13*r - 4*g = 44, -2*r = -2*g + 50. Is -29 not equal to r?
True
Let v be (-114)/(-88) + -4 + 3. Let r = v + 71/11. Is 7 equal to r?
False
Let g(v) = 2*v**2 + 10*v + 6. Let a be g(-5). Let r(l) = l**2 + 5*l - 2. Let u be r(-6). Let y = u - a. Which is greater: -7/4 or y?
-7/4
Suppose 4 = -2*y + 10. Suppose -2*u + y = -5. Suppose -14 = u*l + l - 3*s, -3*s = -2*l - 11. Which is bigger: 0 or l?
0
Let j = -5.26 + 0.16. Let w = j + -1.8. Let a = 7 + w. Is 0.1 less than a?
False
Let n = -2.4 + 16.2. Let v = -13 + n. Let i = v + -0.7. Which is smaller: 1 or i?
i
Let t(z) = 113*z - 3. Let q be t(1). Let f be 8/40 + 218/q. Which is smaller: f or 2?
2
Let c be (-3)/(-3)*0 - -4. Suppose 4*u - 2*x - c = 0, -u - 2*x - 2 = -4*u. Suppose -4*w - 2*y + 12 = -7*w, -u*y - 12 = 3*w. Which is smaller: w or -1?
w
Let m = -2333731/37885 + 3/7577. Is m > -62?
True
Let u = -1205 - -1203.962. Let z = u + 0.038. Which is smaller: -18 or z?
-18
Let q be (-4)/(-2)*2/10. Let w(j) = -6*j - 13. Let v be w(-4). Suppose v*g = 15*g. Is q equal to g?
False
Let q be -6 + ((-2273)/(-451) - (-306)/561). Which is smaller: q or -1?
-1
Let h = -0.1 + -7.9. Let m = 1.3 - -7.7. Let j = m + h. Which is greater: -2 or j?
j
Let u(z) = z**3 - 8*z**2 + 5*z + 16. Let b be u(7). Suppose 43 = -b*d + 9. Which is greater: 2 or d?
2
Let w be -5 + 2 + -2 + -3. Let m = -12 - w. Let d be (m/2)/14*1. Do 2/7 and d have the same value?
False
Suppose -9*j + 18 = 18. Is 2/69 greater than j?
True
Suppose -18*r + 25*r = 672. Let f = -91 + r. Is f bigger than 5?
False
Let j(r) = r - 6. Let q be j(6). Let o(g) = -2*g + 9. Let k be o(6). Let u be q/(k/(6/4)). Which is bigger: 3/8 or u?
3/8
Let u be (1 - 1)*3/(-3). Let h be (-3 + 3)*(1 - 0). Let n be h/2*1/(-3). Are n and u unequal?
False
Suppose 57*w + 79 = -22*w. Are 9/106 and w nonequal?
True
Let j = 0.98 - 1.1. Let u = -0.12 + j. Let q = 0.06 - u. Are q and -0.1 equal?
False
Suppose m + 414 = -5*z, 5*z + 2*m + 383 = -30. Which is bigger: z or -80?
-80
Suppose -16*y = -15*y + 26. Suppose -45 = -5*s + 50. Let i = s + y. Is i < 1?
True
Suppose -5*g + 7*g = -62. Let i = g + 20. Let j = i + 12. Which is smaller: -1 or j?
-1
Let g = -264 + 1314. Do g and 1051 have the same value?
False
Let v = -409 - -536. Is 128 greater than or equal to v?
True
Let l be (2/(-6))/(24/18). Suppose 0 = 8*x - 3*x - 10. Let w(h) = -h**3 + 2*h**2 + 1. Let b be w(x). Are l and b nonequal?
True
Let w = 203/12 + -81/4. Let n be (2 - 0 - -1)/(-1*1). Which is smaller: w or n?
w
Let w = 16.5 + -17.7. Let u = -14 - -16.2. Let c = u + w. Which is smaller: 0.02 or c?
0.02
Let f = 7129 - 4776431/670. Is f < 1?
True
Let y = 0.4 - 2.4. Let h = 3 - y. Let t be -1 - 4/(-6)*1. Which is smaller: t or h?
t
Suppose -p - 5 = -x, 2 = -x + 6. Let a(t) = t. Let z be a(p). Suppose 20 = -5*j + 5*h, 2*h = j + 5 - 3. Is j < z?
True
Suppose 0 = 2*c + 3*v + 15, 2*c - v + 6*v = -25. Let x = -7 + 6. Let m be x/(-3) + -1 + 2. Which is bigger: m or c?
m
Suppose 0 = 5*i - p + 3*p - 113, -5*i + 4*p + 89 = 0. Suppose -2*x + 2*h = -42, -4*x + 12*x - h = 161. Which is bigger: x or i?
i
Let y = -124 - -234. Let v be 334/y - (-9 + 12). Which is greater: v or 0?
v
Let n(o) = o**2 - 7*o + 7. Suppose -4*r + 0*r + 28 = 0. Let b be n(r). Suppose b = -t - 6*t. Which is bigger: t or -2/9?
-2/9
Let f be ((-2)/(-762))/((-74)/12 - -6). Which is smaller: f or 2?
f
Let u = 1 + 2. Suppose 12 = -u*g + 7*g + y, 0 = 3*y. Suppose 17*b - 6 = 16*b. Which is smaller: g or b?
g
Suppose -c = -30 + 14. Let k = c - 11. Let t(b) = -b**3 + 6*b**2 - 7*b + 11. Let q be t(k). Is q bigger than 1?
False
Suppose 30 = -3*p + 2*p - 4*t, -33 = p + 3*t. Let f be (-43 - p)*1/((-186)/(-4)). Is 0 equal to f?
False
Let q = 328.11 - 331. Let m = q + 0.89. Is -22 at least as big as m?
False
Let s = 20939/52 - 1613/4. Do 0 and s have the same value?
False
Let d(v) = -176*v - 43