g as 1?
False
Let f = 3/13 - -5/91. Let h = 73 - 74. Which is smaller: h or f?
h
Let f be (1 - 3)*2/22. Let n = 1104247/55 - 20078. Let s = n - f. Is 0 less than s?
False
Let i = 439 - 686. Let a = i - -1732/7. Let z = 3 - 2. Which is smaller: a or z?
a
Let j = 0.86 + -0.66. Which is bigger: 54 or j?
54
Let k be 6/(-18)*(-6)/7. Let s = 1.9 + 0.1. Which is smaller: s or k?
k
Let u = 2.2 - 0. Suppose 0 = -3*h + 4*f - 5, -3*f + 2*f + 4 = 2*h. Which is greater: h or u?
u
Suppose -5*b = 4 + 6, h + b = -2. Suppose 8 = -q + 3*q. Let d = h - q. Is d not equal to -4?
False
Let q(c) = -c**3 - 12*c**2 - 12*c - 11. Let t be q(-11). Suppose 2*d = -8, -5*d + t*d = 3*x - 70. Let p be (x/27)/((-8)/6). Do p and 0 have the same value?
False
Let h be (-7)/((-42)/9)*2. Suppose 0 = 25*y - 23*y - 10. Which is smaller: y or h?
h
Let m = -53.8 + 54. Let u = -0.06 - -0.03. Which is smaller: u or m?
u
Suppose 2*x - 2*y + 632 = 4*x, -5*x - y + 1600 = 0. Is -3 at most as big as x?
True
Suppose k = -0 + 8. Suppose -3*l = 5*d + l - 5, 2 = d + l. Let v be (k/78)/(2/d). Which is smaller: v or -0.1?
v
Suppose -n = -5*n - 4*i + 4, -3*n - 4*i + 4 = 0. Let l be 36/54 - 1*(-276)/(-441). Which is greater: n or l?
l
Suppose v = -5*p + 13, 2*p + 111 = 4*v - 29. Which is smaller: 302/9 or v?
v
Let d be (-65)/3*(-9)/148. Let g = d - -16/37. Suppose -v = -4*f - 5*v - 16, 0 = 5*v + 25. Is g > f?
True
Let o be 13/10 - 1/2. Which is smaller: 2 or o?
o
Suppose 53*l - 52*l = 4. Suppose -4*g + 32 = l*w, 5*w - 20 = -g + 8*w. Is 13 not equal to g?
True
Let m(u) = -u**3 + 10*u**2 - 5*u + 4. Let o be m(9). Suppose -7*h + o = h. Is 6 not equal to h?
True
Let z be 394/(-10)*(-15)/(-280). Let n be ((-45)/160)/(15/(-44)). Let y = z + n. Which is greater: y or -2?
y
Let z(g) = -26*g**2 - 1. Let r be z(1). Let n be (1/(-10))/(5 - r/(-5)). Is -1 greater than n?
False
Let j(a) = a**2 + 8*a + 4. Let o be j(-8). Suppose 0 = -5*m + 4*n - 16, n + 1 = -m - o. Suppose 0 = -3*p + 4*p + 3. Which is smaller: m or p?
m
Suppose 21 = 4*v - 7. Let l be (-16)/(-56) - (-1)/v. Are l and 0 non-equal?
True
Suppose -5*a + a = -32. Let x be (-8)/a - 65/(0 + 1). Is x less than or equal to -2/5?
True
Let i(z) = z**2 + 5*z. Let t be i(-5). Suppose -3*a = -t*a + 33. Let m = -53 + 43. Which is bigger: a or m?
m
Let w = -64 - -4. Let q be (-1)/((-4)/w*-3). Suppose -2*h + a = -2*a + 14, q*h + 3*a - 7 = 0. Is h >= 3?
False
Let x be 378066/(-1406) - 2/19. Is -0.1 greater than x?
True
Let q be (-4)/2 + (2 - -2). Suppose 7*n = -0*n - 42. Let r = n + 7. Are r and q non-equal?
True
Suppose 27 = 4*b + 3*n, -2*b + 0*b + 16 = 4*n. Let f(h) = h - 4. Let i be f(b). Is i <= -0.08?
False
Suppose 4*x = 4*o - 3*o + 46, -4*o - 2*x - 166 = 0. Let j be 6/15 - o/(-75). Is 1 greater than or equal to j?
True
Suppose -2*p + 5684 = -3*c - 3*p, -5680 = 3*c - p. Let d = c + 145840/77. Which is bigger: 1 or d?
1
Let a(j) = -j**2 - j + 15. Let b be a(5). Is -3/2 greater than b?
True
Let g = -996/5635 - -6/1127. Suppose 2*h = h - 4*h. Which is smaller: h or g?
g
Let v be (-4)/2*301/14 - -1. Let i = 40 + v. Is i at most as big as -2/7?
True
Let c(b) = -2*b**3 - 4*b**2 - 2*b + 1. Let k be c(-3). Suppose 74 = 6*f - 82. Is k at least f?
False
Let j = -2/1887 - 1859/26418. Do j and -0.1 have the same value?
False
Suppose x = -2*x - 96. Let o be (-1)/6*x/28. Let r = -13/42 - o. Which is smaller: r or 3?
r
Suppose 16 = 3*f - f. Which is bigger: 57/7 or f?
57/7
Suppose 0 = -s - 5*q + 67, -7*q + 3*q = 16. Which is bigger: -2/11 or s?
s
Let p = 129 + -439. Which is greater: p or -309?
-309
Let r be (1 - 2)*(-2 - -2). Let q(b) = b**2 - 5*b - 8. Let o be q(6). Let w be o/9 + 10/(-225). Is r smaller than w?
False
Let k = -233 + 233. Which is smaller: k or 93?
k
Let g be (6/(-44))/(5 + 85/(-20)). Let y = -7/22 - g. Which is greater: 0 or y?
0
Suppose 171 - 10 = -7*q. Is -35 greater than or equal to q?
False
Let t(m) = 4*m - 3*m + 3 + 12. Let j be t(3). Which is bigger: 20 or j?
20
Suppose -7 = -5*d - 2*h, d - 5*h = -h - 3. Let n be ((d - 0) + 3)*3. Suppose -2*u - 2*f = n, 5*u = 2*f + f + 10. Is -1 != u?
False
Let r be (2*(-38)/90)/(-7). Let d = 1/45 + r. Suppose 2 = 2*t + 4*n, 6*n + 2 = 2*t + 7*n. Is d <= t?
True
Let g be 10161/2250 + (-3 - 6/4). Let f be 0 + 0 - 0/(-1). Is g at least as big as f?
True
Suppose 11*h = 12*h + 52. Which is greater: h or -55?
h
Let u = -1034 + 1746. Which is smaller: u or 713?
u
Suppose -64 = 4*i - 0*i. Let h = i - -13. Let z(v) = v**3 + 2*v**2 - 3*v - 1. Let l be z(h). Is 3 at most l?
False
Suppose -119 = 4*v + m + 1, 3*v - m + 83 = 0. Let o = -29 - v. Is -3 less than or equal to o?
True
Let t = 233 - -612. Let p = t - 5081/6. Let u = -1/3 - p. Which is greater: 3 or u?
3
Let r(q) = -q + 28. Let k be r(23). Suppose -5*t - 7*s - 51 = -6*s, -4*s = -k*t - 46. Let d(i) = i**3 + i - 11. Let n be d(0). Is t greater than or equal to n?
True
Let m(k) = -k**2 + 14*k + 59. Let z be m(19). Let n = -36 - z. Is -1/31 bigger than n?
False
Let k = -113.59 + 113. Let y = -3.89 - k. Is y != -2?
True
Let j = -80 + 32. Let c = -48.3 - j. Which is smaller: c or 3?
c
Suppose 5*b - 4 = 1. Let y = -221/10 - -113/5. Is y >= b?
False
Let g be -15*((-50)/(-3))/5. Let b = 37 + g. Are b and -13 unequal?
False
Let l(w) = -51*w - 452. Let z be l(-12). Which is smaller: z or 7?
7
Let d = -3 + 3.6. Let p = -0.6 + d. Let a = -1.313 + 0.013. Which is bigger: p or a?
p
Let k = -1/754 + -16569/14326. Is k smaller than -2?
False
Let c = -6.54 - -6.2. Let p = 3.1 - 3. Is c less than p?
True
Suppose -p + 2*p = 1. Let f = 42808 - 5993073/140. Let s = f - 1/20. Do p and s have the same value?
False
Suppose f + 58 = -3*k, -5*k - 179 = 3*f - k. Which is bigger: f or -60?
-60
Suppose 3*a - 21 = -5*u, 0*u + 12 = 4*u. Let f(l) = 9*l + 1. Let t be f(a). Suppose 18*w - 11*w = 133. Is w >= t?
True
Let w = 13 - 8. Suppose -3*x - 2*d + 11 = 0, 5 = -2*x + 5*d + 6. Suppose -2*f = x*f + w. Which is smaller: f or 0?
f
Let o = 50/31 + -340/403. Let d = 56 - 7. Let w = d + -49. Is o not equal to w?
True
Let u be ((-4)/2 - -1) + 2. Suppose -4*x + 16 = 0, 5*o = 2*x - 19 - 14. Let r = -6 - o. Are u and r equal?
False
Let p be (-1)/11*(0 - 2). Let r be 6/(-18)*2*-6. Suppose -n = 2*k + r*n + 23, -3*n - 12 = 3*k. Which is smaller: k or p?
p
Let l be 3 + 509/(-2)*174. Let z = l - -220684/5. Let o = 144 + z. Which is smaller: 0 or o?
0
Let s = 1377 - 167. Let k be (-3)/9 - s/6. Let v = k + 1007/5. Is v >= 1/3?
False
Let j be (2/(-1) - -6) + (-399)/95. Which is smaller: 1 or j?
j
Suppose 4*g - h - 24 = 76, 2*h = 2*g - 50. Suppose 4*l = -l + g, -5*x + 25 = 5*l. Suppose b + 3*b + 28 = x. Which is greater: -11/2 or b?
-11/2
Let s(i) = -6*i + 7. Let t be s(7). Let z be (-2)/(-10) - (-14)/t. Let q be 0*(1/(-1) + 2). Is q at least as big as z?
True
Let k(v) = 10*v - 57. Let x be k(6). Let j be x/(-2)*-2*(-24)/(-9). Which is greater: 11 or j?
11
Let z = 1177 - 1003. Is 1222/7 equal to z?
False
Let j be 0 + 4*(-18)/(-12). Which is smaller: j or 11?
j
Let n(s) = 5*s - 9. Let r be n(3). Let b = r + -2. Which is bigger: b or 6?
6
Let l(z) = -z**2 - 5*z - 3. Let b be l(-6). Let y = 14 + b. Suppose -9 = -2*d - 1, y*c - 4*d = -6. Is c at most as big as 2?
True
Let d = -107 + 96.24. Let l = 10 + d. Let a = l + 0.26. Is a equal to -2/9?
False
Let b(p) = p**3 + 17*p**2 - 9*p - 155. Let z be b(-17). Is z <= -12?
False
Let i = 10.4 + -11.4. Which is smaller: -49 or i?
-49
Let s = -21 + -15. Let a = s - -26. Let l be 4/7 + (-6)/21. Is a > l?
False
Let g = -0.29 - -0.05. Let p = -0.14 - g. Let y = -4.08 + 0.08. Do p and y have different values?
True
Let w = -12 + 14. Let i be 372/27 + w/9. Let z be -3 + 19 - (1 - -2). Does i = z?
False
Let z(f) = 2*f - 6. Let q be 240/36 + (-2)/(-6). Let n be z(q). Is n bigger than 8?
False
Let s be (-2 + 9/4)*4. Is s <= -78?
False
Suppose p + 39 = 4*p + 4*u, -p = -3*u. Suppose -b - 7 + 5 = 0, -2*d - 2 = 4*b. Suppose -3*l + 3*h = -p, 4*l - d*h = 2 + 8. Which is smaller: l or 8/7?
l
Suppose -3 = 2*b + j + 4, 0 = -4*b + j + 1. Let r(q) = -q**3 - 10*q**2 - 4*q - 39. Let v be r(-10). Is v at most as big as b?
False
Let n(m) = m**2 - 7*m - 5. Let c be n(7). Let v(b) = b**3 - 11*b**2 + 12*b - 19. Let o be v(10). Let l = o - c. Do 6 and l have the same value?
True
Let d be 2/(-7) - (-94)/(-14).