q. Let h be 6/(-4)*x/6. Is h != -1/4?
True
Let f = -13.24 - -0.24. Let g = f + 12.4. Let m = -0.7 - g. Do 0 and m have the same value?
False
Let f(x) = -x - 13. Let k be f(-13). Suppose k*q = -q. Suppose -13*t + 18*t = q. Which is smaller: t or -3/10?
-3/10
Let o = 20901/11 + -1903. Is -4 at most o?
True
Suppose -f + 246*t = 251*t + 128, 582 = -5*f + 4*t. Is f < -125?
False
Let f = -87/184 - 15/23. Which is smaller: f or -0.2?
f
Let v = 440 + -459. Is v greater than -16?
False
Let x(a) = -a**3 + 8*a**2 - 11*a + 24. Let m be x(7). Suppose 3*n - 10 = -2*n. Is n not equal to m?
True
Suppose 0 = 5*y + w + 114, 2*w = -5*y - 46 - 72. Is -93/4 not equal to y?
True
Let s = -42 + 46. Suppose -s*n + 13 = -u - 2*u, -6 = 2*u - 2*n. Is u not equal to 2/3?
True
Suppose 0*p = -5*c - 2*p - 40, -2*p + 24 = -3*c. Let v be 28*(3 + 1)/c. Suppose 22 = -3*n - 5*l, -l + 3*l = 4*n + 64. Does n = v?
True
Let d = -36 + 466/13. Let x = 311/3 + -103. Are d and x unequal?
True
Let t(b) = 2*b**3 + b**2 + b. Let k be t(-2). Let y be (-80)/(-35) + 4/k. Which is smaller: 5 or y?
y
Let g = 25 - 9. Is g >= 0?
True
Suppose -5*h + 89 = 29. Which is smaller: -5 or h?
-5
Let d = 9 - 6. Let f be (-2)/2 - (-8)/d. Suppose 5*r - 2 - 3 = 0. Is r at least as big as f?
False
Let t(q) = q**2. Let l be t(2). Let z = 259 - 252. Suppose -z*o + 3 = -l. Which is smaller: -2 or o?
-2
Let o be (-2460)/4200 - 6/(-20). Suppose -56 = -2*p + 4*p. Let k be ((-9)/p)/(12/14). Is k at most as big as o?
False
Let k(c) = -c**3 + 13*c**2 + 41*c + 6. Let b be k(14). Are b and 384 unequal?
False
Let h(l) = l**2 + l + 2. Let d be h(-2). Suppose -6*w + 5*w - 2*f - d = 0, 4*w - 36 = 5*f. Suppose -15 = 5*q - 8*q. Is q at least as big as w?
True
Let n(i) = i**3 - 3*i**2 + 4. Let p be n(3). Suppose 6*f + 1476 = 1488. Let h be (p/f - 1)*-1. Is h equal to -2/5?
False
Let s be (-28)/(-21) - 2/6. Let q be -5 + 11 - 2/s. Suppose 3*j = j - q. Is j < 0?
True
Let i(v) = -v - 14. Let l be i(23). Let n = -36 - l. Let a = 0.21 + -0.2. Are a and n unequal?
True
Let r = 0.902 + -0.983. Which is bigger: r or 0?
0
Let v be 26/65 + (-63)/(-5). Let c = -49 + v. Let b = c - -19. Which is smaller: 0.1 or b?
b
Let y = -29 + 30. Suppose -t - 4*o = y, -3*o - 2 = 5*t + 3. Is -1/4 smaller than t?
False
Let r(z) be the second derivative of -z**3/2 - 7*z**2/2 - 9*z. Let q be r(7). Let y = 15 + q. Do y and -13 have the same value?
True
Suppose -7*t - 7*t - 14 = 0. Is t >= 1/46?
False
Let n(q) = -q**2 + 5*q + 7. Let a be n(6). Let c = a + 3/2. Suppose 4*p + 6*i - 27 = 9*i, -3*i = -2*p + 21. Is c > p?
False
Let m = 9259/267 - 104/3. Is 1 bigger than m?
True
Suppose 0 = -2*y - 3*y + 3*y. Which is bigger: 15/13 or y?
15/13
Let s(x) = 2*x - 6. Let o be s(13). Suppose n = -3*n + u - 11, -o = 4*u. Let v be 2 + n + (0 - -25). Is v greater than or equal to 22?
True
Let g = -594 - -1185/2. Let s = -4 - -8. Suppose 2*v - 2 + 0 = u, 2*v - s = 0. Which is smaller: u or g?
g
Let s = -507/14 + 180/7. Suppose 2*a - 2*v + 24 = 0, 32 = -3*a - a - 4*v. Which is greater: s or a?
a
Suppose -3*l - 5 = -2*l, 0 = -5*s + 2*l + 10. Is 2/711 equal to s?
False
Let r = -177 + 178. Is -18/11 greater than r?
False
Let i(o) = -7*o**3 - o**2 - 11*o. Let s(y) = y**3 + y**2 + y. Let x(w) = -i(w) - 6*s(w). Let t be x(4). Suppose -t*c - 7 = -19. Which is greater: 4 or c?
4
Let l(u) = u**3 + 4*u**2 - 3. Let w be l(-4). Let f(y) = -y**2 + y + 3. Let a be f(w). Is a at most as big as -9?
True
Let v(n) = -6*n**3 + n**2 - 7*n + 6. Let k(m) = 5*m**3 - m**2 + 6*m - 5. Let t(p) = 5*k(p) + 4*v(p). Let i be t(1). Which is smaller: i or 3/26?
3/26
Let g(q) = -2*q - 6. Let y be g(-11). Let s be (-9)/(18/(-20)) - -5. Is y at most as big as s?
False
Suppose -4*h + 26 = -5*x, -2*h = 5*x - x. Suppose 0*k - h*k = -60. Suppose -5*j - 5*t - 25 = 0, -t = -0*t + 5. Which is bigger: k or j?
k
Let q = -1.5 + -1. Let m = 4.1 + q. Do m and 1/4 have the same value?
False
Let k be (-5797)/(-2728) - (0 + (-3)/8). Which is smaller: k or -71?
-71
Suppose 5*p - 3*o - 5 = 2*o, -3*p = 2*o + 7. Which is greater: -1/107 or p?
-1/107
Let g(f) = 3*f**2 - 2*f - 122. Let t be g(-7). Let b(p) = p**2 - 4*p - 6. Let c be b(9). Do c and t have the same value?
True
Let w be -6*(90/(-515))/2. Which is bigger: 2 or w?
2
Suppose 5*d + 12 = -33. Let y be 1/(-3) - (-29)/(-3). Which is smaller: y or d?
y
Let w be 5/(-1 - (-10)/9). Suppose -w = -2*x + 7*x. Let l be (0 + 3)*(-39)/x. Which is bigger: 0.1 or l?
l
Suppose 4*i = 4*s - 40, 7*s - 2*s + 2*i - 29 = 0. Let q = 7 - s. Which is smaller: q or 3/20?
q
Let c be (9/1)/((-6)/(-4)). Let d = 5 - c. Let m = 89/639 - 2/71. Is m equal to d?
False
Suppose 40 = -4*w + 60. Suppose -3*o - o + 1 = w*y, -2*y - 22 = -4*o. Which is bigger: 2 or y?
2
Let w(h) = -h**2 - 9*h + 7. Let t be w(-9). Suppose -8 = 9*r - t*r. Is -17/4 != r?
True
Let s = -0.13 + 0.31. Let b = -0.32 + s. Which is bigger: -1 or b?
b
Let b be -3*(3 - 15/(-9)). Let w be (4 + -3)/(2 - (-30)/b). Is -3 less than or equal to w?
False
Suppose 35*n + 4*u = 33*n - 148, -2*n - 148 = 3*u. Is -77 < n?
True
Let h(x) = 3*x**2 + 8*x - 32. Let z be h(14). Is 668 at least as big as z?
True
Let g = -0.9 + 0.8. Let f = -5.6 - -0.6. Let l = -6 - f. Which is smaller: g or l?
l
Let v(i) = -2*i**2 + 2*i - 2. Let c be v(2). Let a(f) = -8 - 7 + 17 + f + 2*f**3 + 3*f**2. Let z be a(-2). Which is smaller: z or c?
c
Let x be (8/(-10))/(4/(-10)). Suppose 3*z + 30 = -5*j - 2*z, x*j = 3*z + 8. Which is bigger: j or -1?
-1
Suppose 240 = -5*a - h - 762, 3*h - 994 = 5*a. Let z be (-24)/a*(-2)/(-3). Is -1 at most z?
True
Let c = 40.2 + -47. Let t = -2.8 - c. Let h be 66/(-154)*(-2)/(-3). Is h at least as big as t?
False
Let o = -1.509 - -36.509. Is o >= -0.07?
True
Suppose 9*a + 0*a - 351 = 0. Is a != 40?
True
Let t = -5/6 - -2/3. Let z = -0.105 + -0.405. Let p = -0.31 - z. Which is smaller: t or p?
t
Let h(i) = 3*i - 2. Let l be h(-2). Is l > -18?
True
Let k be (-29)/140 - 266/190. Is k greater than -3?
True
Let c = -2503359/5347342 - 477/5342. Let q = 2/143 - c. Which is greater: 2/9 or q?
q
Let r be (-3 - (-788)/(-180)) + 4/(-10). Are r and -7 unequal?
True
Suppose -3*j + 4*z + 5 - 8 = 0, 4*z = -4*j - 4. Is 3/86 < j?
False
Let k(c) = 3*c**2 - 8*c + 4. Let y be k(3). Suppose -4*v - 17 = -3*d, -4*v + 2*v - 5*d - 15 = 0. Let o = v + y. Is 1/2 at least as big as o?
False
Suppose u + 58 = 5*k, -8*k + 3*k = 2*u - 64. Suppose 4*n - 3*h + 55 = 0, -6 = 3*n + 5*h - 1. Let i be (-4)/n - k/(-20). Are -1/17 and i equal?
False
Let l be 116/(-112) + (-30)/(-40). Which is bigger: l or -32?
l
Let w = -102 + 65. Let v = 57 + w. Suppose 5*n - 5*x - v = -5, -4*n + 8 = -2*x. Which is smaller: n or 1/3?
1/3
Suppose 4*r - 3 + 15 = 4*p, 4*r = -16. Let d = p + -1. Let n be ((-72)/39 - d)*1. Which is bigger: n or 0?
n
Let u = -290 + 74. Are -216 and u unequal?
False
Let p(n) = -7*n + 12. Let k be p(-13). Which is bigger: k or 104?
104
Suppose -2 - 2 = 4*a. Let i be a/3*(-4)/(-6). Let u = -493/5 - -99. Do u and i have different values?
True
Let j be -1 + 76/(-32) + (-3)/(-8). Let s be -4 - 3*((-4)/(-3) + j). Which is smaller: -3/20 or s?
-3/20
Let i = 35 + -20. Let l = i + -14.9. Which is smaller: -1/7 or l?
-1/7
Let j be (2 - -1)*640/(-30). Are -64 and j non-equal?
False
Let m be (27/(-36))/((-1)/(-4)). Suppose -2*x = 3*z - 4, -2*x + 8 = -2*z + 2*x. Do m and z have different values?
True
Let b = -2037/4 - -509. Which is greater: b or -1?
b
Let z be 253/138 + 10/(-12). Which is smaller: 8/29 or z?
8/29
Let g = -8 - -5. Let v be -2 + 1 + -7 + 5. Let h be ((-148)/48 - v)*(-3)/1. Which is greater: g or h?
h
Let u(o) = 11*o + 32. Let j be u(-4). Do j and -14 have the same value?
False
Let u(g) = -18*g**3 - 4*g**2 - 12*g. Let j be u(-2). Which is smaller: 613/4 or j?
j
Let m be ((-57)/(-532))/(2/21 + 0). Is m smaller than 0?
False
Suppose j = -0*j. Let t be (-4)/((-40)/(-18))*(-20)/(-32). Is t equal to j?
False
Let h = 3.59 - 171.59. Is 1/3 smaller than h?
False
Suppose 8*i = -f + 101, -4*f + 356 = 5*i + 60. Is 73 at least f?
True
Suppose 3*l = -5*l - 64. Let s be 39/(-18) + ((-60)/l)/5. Let i = 0.05 + 0.25. Which is smaller: s or i?
s
Let k(z) = -31*z - 462. Let v be k(-13). Which is smaller: v or -293/5?
v
Suppose -2*y + 5 - 29 = 0. Let z(f) = -2*f - 2. Let b be z(2). Let d =