 is greater: u or p?
p
Let i be (302/4)/((-72)/144). Are i and 1/5 nonequal?
True
Let m(s) = -s**2 - 4*s - 1. Let y be m(-4). Suppose -8*f + 3*f = 30. Let i be 6/f*y/7. Is i at most as big as 0?
False
Let p be ((-32)/5)/(8/(-40)). Suppose 16 = 5*n + l, 4*n + l - p = 5*l. Suppose -n = 4*d - 4*r + 12, 18 = 3*d + 3*r. Do -2/41 and d have the same value?
False
Let h = -0.3 - -1.3. Let o = 9.69 + -9.59. Which is greater: h or o?
h
Let c(j) = j**2 + 4. Let r be c(0). Suppose -r*d - 3*t = -2 - 0, 5*d - 5*t = -15. Let p(o) = -o**2 + o + 1. Let l be p(d). Which is smaller: l or 2/47?
l
Suppose 75*c = 76*c. Suppose c = d + 3*t + 21, t - 1 = -5. Is d at least -4?
False
Suppose 0*w - 4*w + 4*d = 0, 5*d - 5 = 4*w. Suppose w*p - 4*o = 45, -2*o - 20 = 2*o. Suppose -p*z - 9 = 11. Which is smaller: -3 or z?
z
Suppose -174 = 7*c - 27. Let t be ((-3)/(-2))/(c/(-70)). Which is bigger: 7 or t?
7
Let n be 892/(-12) - 2/3. Let b be (6/n)/((8/90)/(-4)). Which is smaller: b or 1?
1
Let y = -127/9 - -8252/585. Let z = -2704521289/2145 + 1260849. Let b = y + z. Which is greater: b or -1?
b
Let v = -0.3 - -4.3. Suppose f + 2*f - 4*h - 1 = 0, -5*f + 3*h - 13 = 0. Let m = f - -2. Which is bigger: v or m?
v
Let a(d) be the third derivative of -1/12*d**5 + 1/60*d**6 - 1/6*d**4 - 4*d**2 + 0 + 1/3*d**3 + 0*d. Let r be a(3). Is -9 at least r?
False
Suppose -3*o - 4 + 10 = 0. Suppose 3*d = o*n - 4, 11 = -3*n - 7*d + 3*d. Let u be (n/3)/(22/(-6)). Is u greater than 0?
True
Let o be (-4)/(-22) - (-17112)/506. Is 32 at least o?
False
Let p = -3831.056 + 3849. Let u = 0.056 + p. Which is bigger: u or 0?
u
Suppose 131 + 49 = 15*b. Which is smaller: b or 4?
4
Let q = -13.5 - -15. Let d = q - -1.5. Let p = d - 4. Are -3/8 and p unequal?
True
Let w(p) = 18*p**2 + 2*p - 1. Let n be w(1). Let k = -989 + 1010. Is n greater than or equal to k?
False
Let y = 473 + -3240/7. Which is bigger: y or 10?
y
Let k = -1885 - -1564. Which is smaller: -320 or k?
k
Let c = -4/9 - -11/45. Let j = -13 + 2. Let u = j + 8. Which is smaller: c or u?
u
Let z be (-2)/10 - (120 - 115). Which is smaller: -4 or z?
z
Let j = -0.238 - -0.338. Let n = 1 - 0.8. Let x = n - 0.4. Is x smaller than j?
True
Let t = 1.1 - -0.2. Let n = 5.2 + -4. Let o = t - n. Is o greater than 0.1?
False
Let p(h) = h**3 - 8*h**2 - 23*h + 14. Let s be p(10). Which is greater: s or -13?
-13
Let m be 3 + (-8)/(-128)*-2. Which is smaller: 3 or m?
m
Let k = -0.1 - -0.13. Let r = 6.03 - k. Let i = r + -9. Is -0.1 at most as big as i?
False
Let y = -528 - -544. Are y and 16 non-equal?
False
Let j(n) = -n**2 + 13*n - 15. Let a be 6/(-12) - (-19)/2. Let z be j(a). Which is bigger: -3 or z?
z
Suppose -4*c - 3 = -7*c, -2*c + 8 = i. Suppose 3*a - 19 - 5 = 0. Which is smaller: a or i?
i
Let s(t) = -t - 6. Let h be s(-5). Let i(v) = 2*v + 2. Let d be i(h). Let m = -14/3 + 4. Is d less than or equal to m?
False
Let g = -218.9 + 230. Let z = g + -11. Which is bigger: z or -1/22?
z
Let q be 5/(-15)*45/5*-1. Which is smaller: 64 or q?
q
Let p = -588/943 + 22/41. Let f = p - -29/69. Is -1 not equal to f?
True
Let c be 48/(-36) - (3 + -9 - -5). Are -12.4 and c unequal?
True
Suppose 5*j - 8 = 3*j. Suppose 4*y - j*l - 25 = 7, 2*y + 4*l - 28 = 0. Let t be (3 - y/3)*-8. Which is greater: 4 or t?
4
Let p be 3437/119 + (-12)/(-102). Which is smaller: p or 6?
6
Let l be 56/(-12) + 5 + 59/(-3). Is -20 bigger than l?
False
Suppose -104 = 3*d + 5*r, 5*d + r + 26 + 140 = 0. Let n be d/189 - (-6)/21. Is 3 greater than or equal to n?
True
Let a = 17 - 19. Let k be 6 - 22 - a/2. Which is bigger: -14 or k?
-14
Let o(w) = -w**3 - 3*w**2 + 3*w + 2. Let x be o(-4). Let l = x + -5. Let k be ((-2)/5)/(4 - l). Is k < 1?
True
Let o be -4*1/(6/12). Let y = 69 + o. Is 62 smaller than y?
False
Let a = 14553/4 - 3620. Let z = -18 + a. Which is bigger: z or 20?
20
Let a = 35593535/434 - 82013. Let i be 0 - ((-135)/42 - -3). Let n = a + i. Which is greater: n or 1?
1
Let a = 0 + -12. Suppose 30 - 10 = 10*o. Suppose -5*g + 40 = -5*n, 1 = o*n - 5*g + 2. Which is bigger: a or n?
a
Let f(c) = -6*c - 5. Let s be f(4). Let z = 24 + s. Which is greater: z or -3?
-3
Let u = -1942.18 - -1961. Let i = u + -19. Let d = i - -0.04. Which is smaller: -0.1 or d?
d
Let g be (10/30)/((-1384)/12). Which is smaller: 0 or g?
g
Let t = -0.4 - -0.3. Suppose -33 = -5*l - 2*z, -5*l - z = -4*z - 38. Suppose f = -2*f - 5*v - l, -5*f + 3*v = -45. Is f less than or equal to t?
False
Let s = -2.26 - -2.1. Let l = -12.16 - s. Let g = l - -12.6. Is 2/9 greater than g?
False
Suppose 2*j - 4 = 0, 3*v - 5*v - 3*j + 54 = 0. Suppose 0*r = -r - v. Let g be r/20*10/2. Which is greater: -5 or g?
-5
Suppose 4*i = -5*q + 7*i - 63, 2*q + 3*i + 42 = 0. Are -42 and q equal?
False
Let v = 0.219 + -0.719. Which is bigger: v or -3/8?
-3/8
Suppose -18*n - 1384 + 646 = 0. Is n at most -31?
True
Let i = 556.56 + -559. Do 0 and i have the same value?
False
Let n(y) = -6*y + 14. Let x(u) = -5*u + 15. Let l(b) = 3*n(b) - 4*x(b). Let i be l(8). Which is smaller: 4 or i?
i
Let b = 27 + 44. Let p = b - 66. Which is greater: p or 23/4?
23/4
Suppose -1655 = -3*x + 14*b - 18*b, 0 = 2*x + 3*b - 1105. Which is smaller: x or 544?
544
Suppose 3*d - 8*d = -10. Let g be 4/22 + ((-2808)/(-462))/9. Is g < d?
True
Let f(q) = -q**3 + 8*q**2 + 10*q - 9. Let i be f(9). Let g = -57631/390 + -517/78. Let w = g + 155. Is w < i?
False
Let h = 268/411 - -2/137. Suppose 4*q - 14 = 3*c, -3*c + 1 - 13 = -3*q. Let o be c + (-1 - 2)*-1. Is h less than o?
True
Let j = 8 - 8. Let w = j - -6. Let o = w - 9. Which is smaller: o or -1/3?
o
Let t be (-5 - 74/(-2)) + 6. Are 38 and t unequal?
False
Suppose -16 = 5*k + 24. Let x be ((-2)/(-3))/(k/300). Let l = x - -17. Is -8 less than l?
False
Suppose -4*t = -t - 285. Let b be (162/(-21))/(t/7). Let r = b + 26/19. Which is bigger: 0 or r?
r
Suppose -4*x - 197 - 93 = -5*i, 64 = i - 2*x. Let j be (-1092)/i - (-2)/9. Let n = -17 - j. Is n < 4?
True
Let t be 64/(-48) + 813/630. Is t < 0?
True
Suppose -82*u + 75*u = 3164. Which is bigger: u or -453?
u
Suppose -11*c = 331 - 221. Are -17 and c unequal?
True
Let y(p) = -3*p - 19. Let u be y(-8). Suppose 18 + 2 = u*x. Suppose -2*t = 2*t - x. Is t equal to 2?
False
Let u be 0*(2/9)/(60/135). Is -7/212 <= u?
True
Let f be (3 - 4) + 9/7. Let y(l) = -l**2 + 5*l + 8. Let s be y(6). Suppose -3*z - 6 = s*i - 0, -i = 3*z + 6. Do f and i have different values?
True
Let h(a) = 48*a**3 - a**2. Let g be h(-1). Let u = 46 + g. Which is greater: u or 10?
10
Let c = 8617 - 344643/40. Which is smaller: 1 or c?
c
Let k = -182420/41 - -4449. Which is greater: 1 or k?
1
Let t be 640/(-112) - ((-2)/7)/(-1). Let f be -82*3/t - 2. Is f greater than 39?
False
Let r = -332 - -336.8. Is r equal to -0.1?
False
Let h = 49 - 42. Let o = 60.1 - 53. Let v = o - h. Which is greater: v or -0.05?
v
Let i = -170 + 197. Which is smaller: 31 or i?
i
Let z = 0.369 - 0.269. Is -122 < z?
True
Let z(x) = -x**2 - 8*x - 6. Let v be z(-7). Let h be (44/9295)/(3/5 + -1). Which is smaller: v or h?
h
Let c = 92 + -65. Let p = 21349 + -85395/4. Is c less than p?
False
Let z be 8/70*(-9 - -7). Let r = z - -23/35. Let q = 5/3 - 1. Which is bigger: q or r?
q
Let r(u) = u + 6. Let c = -36 + 33. Let s be r(c). Let f be s/(5*-3)*-1. Which is smaller: f or -4?
-4
Suppose 3*l + 23 - 38 = 0. Which is smaller: 108/19 or l?
l
Suppose 5*v = 2*v. Let f = -24 - -18. Let u be ((-24)/234)/((-1)/f*-4). Which is smaller: v or u?
v
Let q(p) = p**2 + 3*p + 9. Let m be q(-4). Let j be 66/(-8) - m/(-52). Let v be 10/(-45) + (-140)/18. Is j < v?
False
Let d be (2/(-8))/((-3)/45) - 4. Let h = 27 - 28.3. Which is smaller: d or h?
h
Let q(l) = -3*l**3 - 2*l**2 - 2*l + 3. Let j be q(4). Let i = -327 - j. Which is greater: -99 or i?
i
Suppose 7 = -2*l - 5*t, 4 + 3 = -3*l - 4*t. Let w be l/(111/30*-1 + 3). Which is bigger: w or 2?
2
Let b be 6/1 - (-87)/(-9). Are b and -0.4 non-equal?
True
Suppose -n + 2*v + 0*v + 10 = 0, -2*n + 16 = -3*v. Let s be (n/(-6))/(10/(-30)). Let b be ((-24)/(-65))/((-2)/20) + 4. Which is bigger: b or s?
s
Let r(p) = -p**3 - 28*p**2 + 28*p - 27. Let d be r(-29). Are 8/3 and d non-equal?
True
Suppose 7*a = 2*a - 75. Suppose -2*t - 112 = -2*w, -3*w = -4*t - 160 - 3. Suppose 4*s + f = -w - 0, 74 = -5*s - 2*f. Is a at least s?
T