 (5 - -9) - 4. Let k be g(a). Which is bigger: 10/13 or k?
10/13
Let d = 4.7 - 26.7. Let t = 21.72 + d. Which is bigger: -2/7 or t?
t
Let y be (66/6)/(1 - 0). Let o = y + -17. Is -8 not equal to o?
True
Let w be (12/14)/((-11)/(-1386)). Suppose -2*f = 2*f - w. Is 27 at least as big as f?
True
Let l = 9 + -15. Let j be (-20)/5 + (-14)/l. Is 1/4 equal to j?
False
Let q be (131376/(-57))/(-4) - -2. Let v = 1248 - 670. Let w = q - v. Which is greater: 1 or w?
1
Let d be (-186)/(-8)*(0 - 3/6). Let v = d - -667/56. Which is smaller: v or 1?
v
Let i = -23 + 22.99. Let x = -1.01 - i. Is x not equal to -0.05?
True
Suppose -5*x = -x - 12. Suppose c + 35 = 3*n, -x*c - 3*n + n - 94 = 0. Let a = 46 + c. Which is greater: a or 13?
a
Let t be 120/(-1432)*(3 + -4). Which is smaller: 1 or t?
t
Let u = 8 + -4. Suppose 20 = 5*h + 3*j, -3*h - h - 5*j = -16. Let q = 2 - h. Which is bigger: u or q?
u
Let h = -94 + 398. Suppose -6*m + 2*m = -h. Let y = m - 382/5. Which is greater: y or 1?
1
Let c(q) = q**3 + 2*q**2 + q - 2. Let g be c(-2). Let p be 298 + g + 20/4. Let b = -3291/11 + p. Is 0 >= b?
True
Suppose n + c + 28 = -4*n, 4*c - 14 = n. Let g = 31 - 43. Let l = n - g. Is 6 != l?
False
Let q = 1.26 - 57.26. Let d = q + 56.22. Which is greater: d or -0.1?
d
Let p = -41 - -50. Suppose -2*u - 252 = -p*u. Which is smaller: u or 35?
35
Suppose -32 = 3*i + i. Let b be 16*(-1 - (-1)/2). Is b bigger than i?
False
Let j(f) = 4*f - 22. Let x be j(5). Let n be -2 - (-1 + 0 + x). Is 6/11 bigger than n?
False
Let k = 59.6 + -6. Let o = 54 - k. Which is greater: 5 or o?
5
Let r(b) = 7195*b**2 - 7*b + 13. Let y be r(6). Let q = y + -52575303/203. Let n = -2/29 - q. Which is bigger: 1/4 or n?
n
Let t = 19.7 + -0.7. Let c = -19.1 + t. Is c at least as big as 26?
False
Let y = -102 - -48. Let k be (1 - (-15)/(-9))/(3/y). Is k <= 13?
True
Let b = -10 + 19. Suppose 26*q - 27 = 23*q. Are b and q nonequal?
False
Let d = -4 + 18. Let h = 13.8 - d. Which is smaller: -4 or h?
-4
Let z be 338/(-18) + 54/(-243). Which is greater: -3 or z?
-3
Suppose -k - 8*k = 2*k. Is -1/415 <= k?
True
Let a = 41 - 44.1. Let c = a - -0.1. Which is bigger: c or 2/3?
2/3
Let j be 1/(-7) - (0/6 + 48/(-42)). Let k = 139.55 - 0.55. Is j < k?
True
Suppose 0 = -5*a - 5*c + 30, 2*a + 3*a - 2*c - 58 = 0. Suppose 12*f - 7*f = -a. Which is greater: -5 or f?
f
Let b = -15959 - -6575105/412. Which is smaller: -1 or b?
-1
Let k = 3.23 + 1.77. Is k at most as big as 4/13?
False
Suppose -127*q - 580 = -117*q. Which is bigger: -57 or q?
-57
Suppose -33 = 2*x + 73. Let v be (-596)/11 - -1 - 0. Let s = v - x. Is s at most as big as 1?
True
Suppose l + g - 19 = 12, -4 = 4*g. Suppose 5*o = 8 + l. Which is greater: o or 58/7?
58/7
Let i(x) = 4*x + 23. Let v be i(-3). Suppose 7*j = v*j. Which is smaller: j or -8/15?
-8/15
Let j be (-134)/(-17) + 26/221. Suppose 2*f + 4*r - 2 = 2*r, -8 = 4*r. Which is bigger: f or j?
j
Let a be (-3)/(-6) + ((-54)/24 - -1). Which is bigger: -2 or a?
a
Let w(f) = f - 4. Let o be w(5). Which is bigger: o or -1/55?
o
Let r be ((-6)/9)/(2 + (-3 - -210)). Let k = r + 1280/8151. Let i = -7 + 9. Which is greater: i or k?
i
Let r(s) = -3*s**2 + 4*s + 1. Let o be r(3). Let j be (8 - 4)/((-88)/374). Which is smaller: j or o?
j
Suppose 5*l - 7*l + 4 = 0. Suppose -2 - l = -4*f. Is 0.3 less than f?
True
Let o = 1 - 0. Let g(p) = -p**3 + 7*p**2 - p - 3. Let z be g(7). Is o bigger than z?
True
Let x = -2 - -4/11. Do -1 and x have different values?
True
Suppose -5*f = -3*u - 58, 3*f = u + 28 + 6. Let n be (-25 - 0) + f + -6. Is n != -21?
True
Let t(i) = 5*i**2 + 25*i + 86. Let q be t(12). Which is smaller: q or 1105?
1105
Let j(z) = -2*z - 17. Let i(l) = 2*l + 16. Let a(y) = -4*i(y) - 3*j(y). Let b be a(-8). Suppose -3*s = -6 - 15. Is b smaller than s?
True
Suppose 0 = -4*n + 3*k - k + 246, k = 3. Let c = -7789/123 + -14/41. Let y = n + c. Is -2/3 at most y?
True
Let m = 2 - 5. Let x be ((-10)/m)/(1/(-3)). Let k = 8 + x. Are k and 1/3 equal?
False
Let t = 2.63 + -2.68. Which is smaller: t or -0.04?
t
Let c(o) = -4*o**2 - 13*o + 6. Let t be c(4). Let a be -2 - (1/(-3) - t/(-120)). Is -2 at most as big as a?
True
Suppose 0 = 2*h + 5*q - 3*q - 10, h = -2*q + 10. Which is smaller: -1/17 or h?
-1/17
Let v = 1643 - 904. Does 739 = v?
True
Let h(x) be the third derivative of x**5/120 - x**4/6 + x**3/6 - 3*x**2. Let c(v) be the first derivative of h(v). Let z be c(6). Are z and 2 unequal?
False
Suppose 0 = 4*c + 8, 478 = 4*r - 0*r + 5*c. Suppose -r*b + 57 = -125*b. Is b equal to -14?
False
Let w = -275 - -281. Which is bigger: 9 or w?
9
Suppose 10*r = 15*r + 5, -3*s - 3*r = 0. Which is smaller: s or -2/461?
-2/461
Let z be (3/4)/(24*(-7)/(-56)). Which is greater: z or 8/19?
8/19
Suppose -116*k + 118*k = 106. Is k greater than or equal to 51?
True
Suppose -l = 3*h + 16, -3*h = 6*l - l + 68. Let n(i) = -i**3 - 12*i**2 + 11*i - 17. Let x be n(l). Is 11 not equal to x?
True
Let b be (-1)/2*(8 + -4) + -2. Which is smaller: b or 5?
b
Let q be ((-52)/(-90))/(1/(-425)). Let h = 246 + q. Let u = -72 + 71. Which is smaller: h or u?
u
Let h = 197 - 43. Let i be (h/(-50))/(-1) + -3. Is i at least 0?
True
Let n be (-10)/(-45) - (-1310)/(-7110). Which is bigger: n or 1?
1
Suppose -15 = -2*p - i + 2*i, 4*p + 2*i - 42 = 0. Suppose 179 - 8 = -p*t. Is -21 greater than t?
False
Let h(l) = 49*l**2 - 7*l + 3. Let f be h(2). Is f <= 184?
False
Let p = 15086/13 - 1160. Let f = -3 - -2. Does p = f?
False
Let l = -10 - -6. Let z(w) = -6*w + 31. Let s be z(6). Is s bigger than l?
False
Let n = 20 + -12. Suppose 43*y - 38*y - 40 = 0. Is n greater than y?
False
Let k(c) = -2*c - 13. Let y be k(-8). Suppose 2*j = -5*s + 4, y*s = -0*s. Is 2 <= j?
True
Let j be ((-144)/27 + 6)*(-9)/861. Which is greater: 1 or j?
1
Suppose 4*b + 148 = 64. Are b and 23 unequal?
True
Suppose 5*b - 3*b - 2*h = 82, -2*b = 4*h - 52. Which is smaller: 54 or b?
b
Suppose 3*u - 36 = -3. Suppose 16*o - 43 = -u. Which is bigger: o or -6?
o
Let h be ((-3)/1053)/(2/(-3)). Let n = 560035774/1287 + -870297/2. Let l = n - h. Is l at most as big as 0?
True
Let k = 10568/19415 - -2/1765. Suppose 0 = -4*x + 1 + 3. Is k <= x?
True
Suppose -2 = i - 4. Let y = -783 + 3927/5. Let n = i - y. Is n != -2/17?
True
Let u = 9583/13674 - 30/43. Is 0 < u?
True
Let s(d) = d**3 - 25*d**2 - 41*d - 5. Let b be s(27). Which is greater: 2 or b?
b
Let d be 2580/18 + (-2)/(-21). Is d at most -0.1?
False
Suppose 5*n = -i - 0 + 1, -5 = -5*n - 5*i. Which is bigger: n or -1/23?
n
Let d(l) = 43*l**2 - 16*l + 19 - 25*l**2 - 22*l**2 + l**3. Let a be d(5). Are a and -2/5 equal?
False
Let k = 3.5 + 0. Let r = k - 5.5. Is r less than -0.4?
True
Suppose 6*n + 6 - 24 = 0. Suppose -n*l = -7*l. Is l not equal to 3?
True
Let u = 139 - 80. Let l = u - 59. Which is bigger: -3/13 or l?
l
Let o = -12 + 17. Suppose o*u - 49 - 286 = 0. Let y = 275/4 - u. Do 2 and y have the same value?
False
Suppose -59*l + 64*l = -120. Let x be (2 + 0)/(6/(-72)). Is x > l?
False
Suppose 4*a - 247 = 3*f - 6*f, -3*f = -15. Let h = -31 + a. Suppose -h = -5*l + 28. Which is greater: l or 10?
l
Let w = 0.13 - -2.27. Let r = -207 - -207. Is w != r?
True
Let w = 0.147 - 0.867. Is w greater than or equal to 1?
False
Suppose -4*h + 9*l = 7*l + 12, 3*h - 1 = -l. Is h less than 39?
True
Let p = 438 - 447. Which is smaller: -82/9 or p?
-82/9
Let c be 9/((-3)/1) - -3. Suppose 5*j + c = 5. Let z be ((-1)/(-4))/((-104)/32). Is z at most j?
True
Let n = 0.4 - -5.6. Let c = -6.1 + n. Is c bigger than 19?
False
Let u = -1.3 - 0.7. Let o = -22 + u. Let k = o + 23.6. Are -2/3 and k unequal?
True
Let t = 4 - 1. Suppose n - 5 = 3*a, 4*a = a - n + 5. Let v be ((-15)/(-10) + a)*2. Are t and v equal?
True
Let g = -10 + 21. Let n = -9.4 + g. Let s = n - 2. Which is smaller: 3 or s?
s
Suppose -16 = -2*h - 2*g, 10*g = 2*h + 5*g - 51. Which is bigger: h or 11?
h
Let s = 0.18 + -9.18. Let l = s - -18. Is l greater than -3?
True
Let u be 2/(-200)*(7 - (-316)/(-8)). Is -1 at least as big as u?
False
Let y be (-828)/20 + (-12)/(-30). Let v = y + 42. Which is smaller: v or 0.24?
0.24
Let v = -131 + 113. Let g = v - -16. Is 34 smaller than g?
False
Let h = 2696 - 2309. Which is smaller: 389 or h?
h
Suppose -3*f + 12 = -0, -y - 2*f = -11. Suppose -5 = -y*k - 5*h, -4*h + 0