r: p or x?
p
Let k = 0.1 + 0. Is k less than 0.3?
True
Let o = -52 - -65. Let j(g) = -g**2 + 7*g - 1. Let p be j(6). Suppose p*f + 32 = f + 5*s, f = -4*s + o. Do -4 and f have different values?
True
Let y(z) = -z**3 + 14*z**2 - 11*z - 19. Let r be y(13). Suppose 2*q + 10 = r*q. Are q and 13/6 nonequal?
True
Let p = -96 - -48. Let y be (-104)/p - 2*1. Let h be -1*(-1 + (0 - -1)). Is y at least h?
True
Suppose 2*x + 2*x = 8. Let v be 1 + 0 - 86/4. Let l = v - -22. Is x bigger than l?
True
Let m(j) = j**2 - 3*j - 2. Let w be m(4). Let f(l) = -l**3 + l**2 + l + 2. Let d be f(w). Which is smaller: 2 or d?
d
Let x be (9/(-3))/3*-5. Suppose -2*u + x = -7*u. Let w = -943/8 + 118. Are w and u non-equal?
True
Let c be (21/14)/((-6)/(-20)). Suppose 3*i = i - 4*x - 8, -3*x = i + c. Let t = -2/73 + -282/365. Is t bigger than i?
True
Let w(o) = o**3 - 5*o**2 + 6*o. Let n be w(4). Let a be 198/24 - 2/n. Suppose -2*g + 4*q = 6*q - a, -4 = 5*g - q. Is g >= 0?
True
Let j = 0.4 - -2.6. Let u = -1.8 - -2. Let d = u - 0.1. Which is greater: j or d?
j
Let k = -5 + 6. Is k not equal to 1.2?
True
Let c be (-20)/8*-2 - 1*2. Let d = 4 + -7. Let w = d - -5. Which is smaller: c or w?
w
Let z(a) = -5*a - 47. Let j be z(-10). Is j smaller than -3?
False
Suppose 2*u - 5 - 11 = 0. Let v be 6/4*u/6. Which is bigger: -1 or v?
v
Let c be 3 + (7 - 2)*(0 + -2). Are -25/3 and c non-equal?
True
Suppose 0 = 3*x - 0 - 6. Let c be (6/9)/(3/9). Let p = c - x. Which is bigger: p or 3/4?
3/4
Let u be 4*2*10/(-16). Let f = 9 + u. Let d = f - 2. Which is greater: 0 or d?
d
Let j = -3 - 7. Let v be (-1)/j*12/6. Is v at least 2/11?
True
Let l = -16/5 - -14/5. Let h = 229/4 + -57. Which is smaller: l or h?
l
Let d = 2/1283 - -2508/37207. Which is greater: d or -1?
d
Let w be -3*((-70)/(-216) - (-9)/(-36)). Let y = 2 + -2.1. Which is smaller: w or y?
w
Let a = -23 - -34. Let f = 8 - a. Is f >= 0?
False
Let a = 1.3 - 2.3. Which is greater: a or 6?
6
Suppose 3*p + 3*a + 45 = 0, 0 = p - 3*a + 9 + 2. Is p > -13?
False
Suppose 4*k + k = 70. Let l be 10/k + (-4)/(-14). Is l at least as big as 1/24?
True
Let r be (-12)/32*14*4. Is r at most -20?
True
Suppose -5*b + 4*n - 59 = 0, 4*b + 26 = 2*b + 4*n. Let r = 511 + -511. Is b >= r?
False
Let x be -1 - (0 - 1)*3. Suppose 4 = -v + x*v. Suppose 0 = -2*y - 5*z + 15, y + 2*z = -0*y + 7. Is y bigger than v?
True
Let h be (-4)/(-6)*6/14. Let u = 4 - 2.7. Let z = u - 1.1. Which is bigger: h or z?
h
Let o = -111 + 112. Let h = -933/8 + 117. Is o smaller than h?
False
Let z = 45/2 - 22. Which is greater: z or 25?
25
Let o = 78792 - 39001948/495. Let k = o + 2/55. Which is greater: 2 or k?
2
Suppose 3*u - 7*u = 8. Let v be 6/(-2) - (u + 6). Let p be 1/(-2 - 15/(-8)). Does v = p?
False
Let y(d) = -2*d**2 + 8*d + 14. Let o be y(7). Is -28 smaller than o?
False
Let q(o) = -2*o + 1 + 5*o - 2*o. Let n be q(3). Let t be n/(-18) - (-14)/144. Is -0.1 < t?
False
Let i = 26 + -20. Which is bigger: i or 8?
8
Let y(g) = -2*g + 14. Let p(u) = -u**2 + 6*u + 7. Let j be p(6). Let i be y(j). Which is greater: i or 1/7?
1/7
Let v = -41/966 - -8/161. Is 0 equal to v?
False
Suppose 0 = -0*h + 4*h. Let x(s) = -7*s - 1. Let t be x(-2). Suppose h = 4*j - t + 1. Is j >= 4?
False
Suppose 0 = -2*u - 10*u - 24. Let a = 0 + 0. Which is smaller: u or a?
u
Suppose -w = -20 + 18. Let i be (1 + 1 - 3) + 3. Is i less than or equal to w?
True
Suppose 4*j + 96 = 2*v, 2*j = -3*v - 40 - 8. Are -26 and j equal?
False
Let r be 22/(-32) + 12/16. Let d(m) = m + 7. Let j be d(-8). Is r greater than j?
True
Let w be (-15)/(-6)*8/(-120). Is -6 greater than w?
False
Let i = 0 + 0. Let y = 3 + -1. Is y > i?
True
Let s = 59/4 - 21/2. Which is greater: s or 4?
s
Suppose c = 5*c + 20. Let v = c + 3. Let m = 0 + v. Are m and -2 nonequal?
False
Suppose -2*j + 3 = -l - 0*l, 4*l - 27 = -5*j. Let t = -3 + l. Is 1 < t?
False
Let v = 0.17 + -1.17. Which is smaller: v or 1/2?
v
Let j = -15 + 16. Which is smaller: -2/31 or j?
-2/31
Let t = 6/5 + 2/15. Suppose -3*r - 18 = -6*r. Let h(o) = o**3 - 7*o**2 + 7*o - 6. Let s be h(r). Which is bigger: s or t?
t
Let q(r) = r - 6. Let v be q(6). Let p be 7/(-60) - (-2)/8. Are p and v non-equal?
True
Let l = -0.116 + -15.884. Which is greater: l or -1/2?
-1/2
Suppose 6 = -5*h + a - 0, -2*h = 3*a - 1. Suppose -3*g - 2*g - 5 = 0. Let r be (-2)/(-8)*(g - 1). Is h > r?
False
Let j = -17713/476 - -261/7. Let y = 3/17 + j. Which is greater: 1 or y?
1
Let z be 63/6 - (-3)/2. Suppose d - 4*d + z = 3*c, 0 = -2*c + 4*d + 2. Let i(a) = a + 2. Let k be i(2). Are c and k non-equal?
True
Let v = 2.917 + 0.163. Let b = -0.08 + v. Let j = b - 3.1. Is 0 > j?
True
Let m = -0.01 - 0.09. Let t = 1 + m. Let u = t + -0.9. Is u not equal to -4?
True
Suppose -2*n - 9 = 3*p - 37, -5*n - p + 96 = 0. Let b be (5/n)/(1/4). Let f = 138 - 1379/10. Is b smaller than f?
False
Let b(s) be the first derivative of -s**2/2 - 11*s + 2. Let y be b(-8). Let n = y + 1. Which is greater: n or -1?
-1
Let f = -883 - -882. Let i = 0 + 0. Suppose i = -3*p + 5*p. Does p = f?
False
Suppose 0 = -5*x - 2*a + 7, -2 = -5*x - a + 4. Suppose -13*j + 12*j + x = 0. Let f be 2/6 + 14/(-24). Which is smaller: j or f?
f
Let p = -1.8 + -1.2. Is -3 smaller than p?
False
Let y = -0.5 - 4.5. Let l = 34 + -34.1. Is y <= l?
True
Let r(h) = h**2 + 6*h. Let q be r(-6). Let w be q - (-3 + (-3)/(-1)). Is w smaller than -1/9?
False
Let b = 341128/79 + -4318. Which is bigger: -1 or b?
b
Let t = 135 + -3103/23. Is t < 0?
False
Suppose 3*z + 2*z + 80 = 0. Let u = z - -15. Which is bigger: u or -24?
u
Suppose 0 = -u - u + 6. Let y be 22/8 + (-3)/(-12). Let t = y + 0. Is u equal to t?
True
Let c = 30 - 57. Which is smaller: c or -28?
-28
Let x(a) = -a**3 - 4*a**2 - 3*a - 2. Let q be x(-3). Let u be q/26*(9 + -3). Which is smaller: u or -1?
-1
Let c be -19 - (3/(-1))/(-3). Let t be (4/21)/(c/(-30)). Which is smaller: 0.2 or t?
0.2
Let m = 1.2 + -0.2. Let g = 1.97 - 2. Let j = -0.03 - g. Which is smaller: j or m?
j
Let d = -1.326 - 0.074. Which is bigger: -2 or d?
d
Let c = 4 + -4. Suppose s - 1 + 2 = c. Let f be (-1)/3 - (-2)/24. Which is smaller: s or f?
s
Suppose -4*s + 45 = -9*s. Let a be (2/(-3))/(14/s). Is a >= 0?
True
Let a be 2/4 + (-34)/(-4). Let p = -6 + a. Let z be (p/7)/(2/7). Which is greater: 3 or z?
3
Let w be 14*((-2)/(-4) + 0). Which is smaller: -2/5 or w?
-2/5
Let c(a) = a**2 + 4*a + 4. Let b be c(-2). Which is smaller: -3 or b?
-3
Let c(l) = -l**2 + 14*l + 50. Let a be c(17). Is -3/31 at least as big as a?
True
Suppose 5*a + 0 = 5*l - 25, 5*l - 4*a - 22 = 0. Let v = l - 4. Let h be (-8)/(-45) - v/(-5). Which is smaller: 0 or h?
h
Suppose 0 = 4*v + 24 - 0. Which is smaller: -39/7 or v?
v
Let q = 2.4 + -1.4. Is -0.7 smaller than q?
True
Let j(o) = -o**3 + 3*o**2 + 3*o + 4. Let u be j(4). Let g be (-1)/(-1) - u/(-2). Is g equal to 1/11?
False
Suppose 5 = -v + 4*g, 0 = 2*v + 4*g - 4 + 2. Are -5/4 and v nonequal?
True
Let u(c) = c**3 + 5*c**2 + 5*c + 5. Let k be u(-4). Let p(j) = j**2 - 8*j - 2. Let y be p(7). Let t be y/15*(-4)/6. Is k smaller than t?
False
Let u = 8.8 + -0.8. Let o = u - 10. Let v = -0.5 - 0. Do o and v have the same value?
False
Let l be 1/(-2) - (-11)/(-2). Let s(o) = -2*o - 4. Let p be s(l). Let c(n) = n**3 - 9*n**2 + 9*n - 9. Let k be c(p). Is -1 equal to k?
True
Suppose i = -i + 4. Let g = 11 - 8. Which is greater: i or g?
g
Let y = 6/5 + -52/35. Do 1/4 and y have different values?
True
Suppose 5*k - 13 = 12. Let t be 8 - 0 - (k - 2). Is t greater than 4?
True
Let m(h) = -h**2 - 3*h - 3. Let a be m(-3). Suppose c + 2 - 3 = 0. Let x = a + c. Is x at least -1?
False
Let x be 8/4*3/2. Suppose x + 7 = -5*a. Are a and 2 unequal?
True
Let b be ((-3)/75)/((-2)/(-15)). Is b at least 1?
False
Let o(p) = p**3 + 12*p**2 + 11*p + 1. Let k(d) = -4*d**2 - 2*d + 1. Let f be k(-2). Let n be o(f). Which is bigger: 2 or n?
2
Let u be (-24)/(-30) + (-49)/5. Which is greater: u or -25/3?
-25/3
Let r = -0.56 + -38.44. Are -0.1 and r non-equal?
True
Suppose 7 = 4*a - 5. Suppose -2*u + 16 = a*i, 0*i = -i. Suppose 0*h - 4*h + u = 0. Which is bigger: h or 1?
h
Let q = 9 + -1. Let c be (-22)/q + (-2 - -3). Which is smaller: c or -2?
-2
Let r be (0 - -10) + (-2)/(3 - 1). Which is smaller: 10 or r?
r
Suppose 2*t - 5*p - 36 = 5*t, -15 = 5*