
Let g be 8/(-10) - 649/(-55). Suppose -5*j + g = -49. Which is smaller: j or 13?
j
Suppose -3*v - 3 = -n + 8, 4*n - 23 = 5*v. Suppose -5*z = -3*j - 1, -11 = 6*z - z + 3*j. Which is smaller: v or z?
v
Let j be 180 - 12/4 - -4. Does 180 = j?
False
Let o = -195/2 - -292/3. Let k(x) = x - 5. Let b be k(6). Let l be (9/6 - b)*-2. Are l and o unequal?
True
Let c be 2*(3 + (5 - 7)). Suppose 0 = c*i + 9 - 1, 2*f + i = -16. Is -7 bigger than f?
False
Let i = 135.4 + -135. Let b = 6.3 + i. Is b at least as big as 1/2?
True
Let l(c) = -6*c**2 + 0*c**2 - 8*c - 8 + 0*c**2 - c**3. Let s be l(-5). Is 5 at most s?
True
Let q = 0.2 + -0.8. Let l = q + 1.6. Let u = -9.55 - 0.45. Which is smaller: l or u?
u
Suppose -m - t = t - 9, -4*m + 15 = t. Let a be (-92)/(-8)*(-5 + m). Do -2/7 and a have the same value?
False
Suppose 3*w = 3*l + w - 17, 5*w = -3*l - 11. Suppose s = -l*q + 1, 5*q - 6*q + 5*s - 21 = 0. Which is bigger: 63 or q?
63
Let p be ((-1)/7)/(((-7695)/60)/27). Which is smaller: p or 1?
p
Let p = 2 + -2. Suppose -3*h + p*h = -r + 15, 4*r = -2*h + 116. Let b = r + -16. Which is smaller: 12 or b?
b
Let i(x) = -x**3 - 9*x**2 - x - 13. Let f(c) = -c - 22. Let n be f(-13). Let m be i(n). Is -3 at most m?
False
Let r = 22 + -25. Let j be (-6 - 19/r)/(2/6). Is -2/49 < j?
True
Let q(j) = -31*j**2 + 2*j. Let w be q(-2). Let m be 158/24 - 8/(w/12). Which is greater: 6 or m?
m
Let v = 21 - 18. Suppose 0*i - 6 = v*i. Let l be ((-2)/6)/(i/12). Is l greater than 2?
False
Let n be (0/13 + -1)/(3/6). Let x = -3 - -2. Which is greater: n or x?
x
Let j be 3 - ((-9)/3 + 4). Let w = -8/65 + 446/455. Are j and w nonequal?
True
Let b = 72.152 - 72. Does -0.1 = b?
False
Suppose 46*c = -47*c + 10602. Is 116 less than c?
False
Let k = 16 + -18. Let p = 72 + -76. Which is greater: p or k?
k
Suppose -4*b - 380 = 4*d, -229 = 2*d - b - 30. Are d and -98 unequal?
False
Let y = -20639/10 + 4027/2. Let f = 118 - 68. Let o = y + f. Which is greater: 0 or o?
0
Suppose 20*r = 4*x + 15*r + 75, -3*r + 97 = -5*x. Which is bigger: -10 or x?
-10
Suppose -38 + 11 = -3*h. Let d be (5 + (-51)/h)/((-2)/27). Let g be 31/4 + (-1)/(-4). Which is smaller: d or g?
g
Let s = 17 + -14. Suppose 3*r + 2*y - s = -3*y, -r + 5*y + 1 = 0. Is r less than 7/8?
False
Let l = -425 + 423. Is -21/17 bigger than l?
True
Let q = -2401 + 220885/92. Is q > 0?
False
Let z = 2 + -6. Let s be z/(-15) + (-1)/5. Suppose 38*j = 32*j. Is j less than s?
True
Let x be (-49 + 46)*(2 + (-136)/66). Let b be 4/18 - (-40)/(-90). Which is smaller: x or b?
b
Let y = -3 - -12. Let q be (30/9)/(2/3). Suppose -4*k - 46 = -q*o - 3*k, -2*o - 3*k = -15. Is y greater than o?
False
Let t(s) = s**2 - 9*s + 7. Let j be t(8). Let k be -9 - -2 - 1/j. Let a be (-1)/(6/40) + (-8)/(-12). Is k > a?
False
Let f be (3 - (2 + -3))/2. Suppose 0 = -r + b + 1 - 17, -f*b = -r - 20. Is r at least as big as -16?
True
Let h be (4/(-12))/(-2 + 5/3). Is 22/31 <= h?
True
Let u be 92*(-11)/88*10. Is -3 less than u?
False
Let d(h) = -h**2 + h. Let u(w) = 5*w**2 + 8*w + 9. Let f(a) = -4*d(a) - u(a). Let s be f(-11). Is s bigger than 0?
True
Let x(s) = s + 3. Let k be x(-3). Suppose -a + 5*t - 17 - 1 = k, t - 4 = 0. Suppose 5*j = 7*j + a. Which is greater: j or -3/10?
-3/10
Let f = -1566 - -222371/142. Which is smaller: f or -1?
-1
Let h(a) = -4*a - 8. Let z(n) = -5*n - 9. Let v(t) = -6*h(t) + 5*z(t). Let p be v(4). Is p >= 1?
False
Let k be (44/(-33))/(1/3) - -36. Suppose 3*o = i + 88, -5*o + 2*o = 5*i - 118. Is k at most as big as o?
False
Let p = 4.5 - 4.8. Let o = p + -0.7. Which is smaller: o or 8?
o
Let q(t) = t - 8. Suppose 7*l = 11*l - 32. Let x be q(l). Let w = -11902/25 + 476. Is x less than w?
False
Let a = -2387 - -52499/22. Is a equal to -2?
False
Let a(f) = 108*f + 1. Let g be a(-1). Let c = g - -1927/18. Suppose -4*m + 0*k = -3*k + 8, 1 = -3*m + k. Which is smaller: c or m?
c
Let g be (2/4)/(2/8). Suppose -k - 35 = 3*w - 23, 4*k + 2*w + 8 = 0. Is k != g?
True
Let j be (0 - 1)*5/40. Suppose 3*p - 2*s = -0*s, -p + s = 1. Suppose t = -p*t - 3. Is j greater than t?
True
Let w = -46 - -44. Let k = w - -2.05. Let j = -50 - -199/4. Which is smaller: k or j?
j
Let a = -222 - -220. Which is greater: 1/74 or a?
1/74
Let n(u) = 2*u + 6. Let k be n(-5). Suppose -3*x - 23 = -5. Let w be ((-3)/4)/((-1)/x). Which is greater: w or k?
k
Let m(u) = -u - 15. Suppose 26 = 2*y - 3*p, -3*p + 0 = 5*y - 23. Let i be m(y). Which is smaller: -26 or i?
-26
Let z(q) = -q**3 - 23*q**2 - 2*q - 45. Let x be z(-23). Which is bigger: 30 or x?
30
Let j(u) = -u**2. Let c(f) = -6*f**2 - 16*f + 21. Let l(q) = c(q) - 5*j(q). Let x be l(-17). Is 1/4 not equal to x?
True
Let x(o) = -o**3 - 6*o**2 - 2*o - 12. Suppose 0 = -31*q + 34*q + 18. Let f be x(q). Which is smaller: -1/9 or f?
-1/9
Suppose 15 = -3*k - 2*k. Let x be (1/(-5))/(k/15). Suppose 2 = 3*n - x. Is n greater than 2?
False
Let y(c) = -c**2 + 14*c + 18. Let r be y(10). Let z = r - 55. Is 4 > z?
True
Suppose -5*w = -5*m + 20, -2*w - m = -3 + 2. Let d be 0/(w/1 - 0). Let f be ((36/21)/3)/((-240)/(-56)). Which is smaller: f or d?
d
Suppose -2*x + 5*r = -33, -r + 6 = 4*x - 5. Let t be 3/(-1) + 38/x. Is t at most 8?
True
Suppose 0 = 3*a + 5*m + 2, -7 + 3 = -a + 3*m. Let f be (-10)/15 + 0 + a. Let x = -0.1 + 0.2. Which is smaller: f or x?
x
Let w(x) = -2*x**2 + 19*x - 19. Let n be w(8). Suppose 2*s - 4*a + 22 = 0, 2*s - n*a + 26 = s. Which is bigger: s or 0.09?
0.09
Suppose -2106 = 5*r + 7434. Is r < -1/3?
True
Let v = -104 - -72. Which is smaller: v or -0.8?
v
Let u(d) = -49*d**2 + 11*d - 13. Let n be u(3). Do -421 and n have the same value?
True
Let p = 436 - 599. Is -647/4 at most p?
False
Suppose -3*i + 2*j - 1099 = 0, 5*j - 370 = i + 8*j. Which is smaller: i or -1833/5?
i
Suppose 0 = 2*c - 5*z - 52, -5*c - 4*z = -0*z - 97. Suppose -16*p + c*p - 45 = 0. Are 1 and p unequal?
True
Let f(r) = r**3 + 5*r**2 + 4*r - 12. Let u be f(-6). Let z = u + 70. Which is smaller: -7 or z?
-7
Let j(f) = -2*f - 4. Let q be j(-4). Suppose -q*a - 18 = 3*g + 7, 4*g + 31 = -3*a. Suppose -52*t + 7 = -53*t. Is g <= t?
True
Let w be ((-36)/(-8))/((-1)/2). Let z(v) = v**3 + 8*v**2 - 12*v + 13. Let b be z(w). Let o = b + -559/14. Is -1 > o?
False
Let x = 115/14 - 17/2. Let h = -2.32 - -2.12. Are h and x nonequal?
True
Let f be (2 - -90) + 3/(-3). Is 88 at most f?
True
Let l be 0 - (-2 + (1 - 0)). Let s = 1/51109 + 93273919/306654. Let z = -303 + s. Do l and z have the same value?
False
Let w = 5/6 + -115/6. Which is smaller: -18 or w?
w
Let s(o) = -3*o + 295 - 2*o - 301. Let g be s(2). Suppose 0 = -3*p + 4*y - 32 - 39, 2*p + 2*y = -24. Which is smaller: g or p?
p
Let l = 0.067 + -130.067. Which is smaller: 0.4 or l?
l
Let f be (-1180)/55 - (-8)/24*6. Which is smaller: f or -19?
f
Let l = 86.3 - -14.7. Let j = l - 101. Is j < -84?
False
Let f = 68 - 60. Let l = f - 7.2. Which is smaller: 1 or l?
l
Let l be 34/(-20) - (-12)/8. Let w = 321 + -326. Do w and l have the same value?
False
Suppose 43*y = 44*y + 22. Which is bigger: 2/7 or y?
2/7
Let o be (-20)/(-27) + 2/(-3). Let l(g) = 3*g - 4. Let i be l(1). Let h be 2*i/7 - (-10)/35. Do o and h have different values?
True
Let f = -113 + 102. Let c = 7 - 6. Which is greater: f or c?
c
Let o = -25929/5 + 5139. Do o and -48 have the same value?
False
Let t = 34 - 26. Let r = t + -10. Which is bigger: r or -8/3?
r
Let v be (-64)/(-10) + (-2)/5. Suppose -2*q = v, 2*w - 2 = 4*q + 14. Which is smaller: w or 14?
w
Suppose r = -4 - 1. Let z = 15 + -12. Let p = -3 - z. Which is bigger: r or p?
r
Let w be (-6*(-3)/6 + -4)*11. Let y = -5 + w. Let q = 0.07 + -1.07. Is q at most y?
False
Let m be (1/3)/((-6)/18). Let n = 0.41 + -0.19. Let c = n - 0.17. Which is smaller: c or m?
m
Let z(n) = 2*n - 9*n**2 + 18*n - 3 + 2 + 10*n**2. Let x be z(-20). Let s = 62698/57 - 1100. Which is greater: x or s?
s
Suppose 2*g - 43 + 49 = 0. Let k be (9/4)/(g/(-160)). Let s = k - 598/5. Which is smaller: 12 or s?
s
Let s = -43 + 41. Let z be -2 + -1 + (s - (-4)/2). Does -4 = z?
False
Let l = -33371/56 - -596. Which is smaller: -0.1 or l?
-0.1
Let n = -0.66 - -0.2. Let j = -0.56 - n. Is 34 greater than j?
True
Suppose 34*c - 74*c - 55480 = 0. Which is smaller: c or -1388?
-1388
Let p = 47 - 51. Let x be (22/33)/(p/(-26)). Suppose 5*y - 25 =