- (-9)/v. Is p less than -13?
True
Let s = -17/488 + 28757/853512. Which is smaller: -1 or s?
-1
Let y = 313.7 - 314. Which is smaller: y or -2/199?
y
Let x = 47 - 44. Let o = -8 + x. Which is smaller: -4 or o?
o
Let r(m) = 5*m - 3. Let p be r(1). Let d(w) = w**2 + 6*w - 6. Let k be d(-7). Suppose -p*t + k = 3. Which is smaller: -3/2 or t?
-3/2
Let u = 1121710/193 - 5812. Let m = -499/9843 - u. Let k = 63 - 62. Do k and m have the same value?
False
Suppose 0*q + q = w - 475, -5*w = 2*q - 2410. Let d be ((-50)/w)/((-2)/(-4)). Which is greater: d or 1?
1
Let t = -2 + 2.4. Which is greater: t or -1?
t
Let u = 29 - 25. Let k be -1 - -1 - (5 - u). Which is smaller: -17 or k?
-17
Let f be 45/36*(-31)/5. Let x be (-1 - -2)*-2 + 10. Let w = x + f. Which is bigger: w or 1?
1
Let l(p) be the first derivative of -p**3/3 + 3*p**2 + 5*p + 4. Let m be l(7). Let x = -16766/11 + 1522. Which is bigger: m or x?
m
Let u = -471 - -3313/7. Let z(o) = 6*o - 25. Let x be z(5). Suppose -3*w + 5*a = -14, 0 = 3*w + a - x*a - 13. Which is smaller: u or w?
u
Let z(j) = -j. Let t be z(-3). Let d = -3 + t. Suppose 0 = -5*p - 3*v + 9, -p + d*v + 1 = v. Are p and 5/2 equal?
False
Let o(b) = -27*b + 711. Let a be o(25). Is 38 bigger than a?
True
Let v = 10863 + -4475553/412. Is 1 not equal to v?
True
Let k(m) = 5*m. Let l(p) = -17*p. Let t(b) = -21*k(b) - 6*l(b). Let w be t(0). Let x be -1*2/8*2. Is x > w?
False
Suppose 2*n - 16 = 5*r, 7*r - 11*r - 3*n = -1. Do r and -2 have different values?
False
Let g = 48.3 + -48.5. Is 3 less than g?
False
Suppose g + a - 7 = 4*a, 2*g - 14 = 5*a. Suppose 2*h - g*d = -8*d - 29, -5*h - 75 = 3*d. Is -11 at most as big as h?
False
Let d be (-2)/6*60/70. Which is greater: 18 or d?
18
Let n be (9/657)/((-1)/(-1)). Let x be (-1)/3*(3 - 0). Is x > n?
False
Let p = 2548 - 2542. Let y = -3.5 - -3. Is y at least as big as p?
False
Let a be -4*-20*(-4)/(-4). Suppose 62 = 2*m - n - 4*n, 0 = -4*m - n + a. Let p = 85 + -65. Is p greater than m?
False
Let v(j) = j**2 + 8*j - 2. Let d be v(-9). Let p(u) = -u + 9. Let x be p(6). Suppose d*w = 6*w - x. Which is smaller: w or -2?
w
Let a(m) = -2*m + 13. Let v be a(6). Let j(t) = 6*t**2 + 2*t - 4. Let b be j(3). Let z be ((-8)/50)/(b/(-20)). Which is smaller: z or v?
z
Let s = -1.783 - -1.983. Which is smaller: s or 34?
s
Let b = 8690 + -147974/17. Let t = -32906/2295 - b. Let l = t + -409/270. Is -2 at most l?
True
Suppose 1723 = c + 23157. Let q = c - -299863/14. Let h = q - -40/7. Which is smaller: h or -10?
-10
Let q be 2/(-4 - 0)*4. Let j be -26*(-2)/q*-2. Suppose n = 3*n - j. Which is smaller: 27 or n?
n
Let c(j) = -j**3 + 7*j**2 - 7*j + 8. Let x be c(6). Suppose -x*f = -23 + 17. Is f greater than or equal to 3?
True
Let s = -180 + 125. Let m be (44/s)/((-2)/10). Suppose y + m - 3 = -j, -5*j - 9 = 4*y. Which is bigger: -6 or j?
j
Let s = 6925 - 16817/2. Let p = -1515 - s. Which is greater: p or -31?
-31
Let m = 9 - 4. Suppose 11*h + m = 12*h. Let c = h - 9. Which is smaller: c or -1?
c
Suppose -4*i + 6 = -5*m - 3, -4 = -4*i. Let a be m/5 + 2/6. Let d be (7/154*11)/(2/4). Is a greater than d?
False
Let z(k) = -2*k**2 - k + 1. Let a be z(-2). Let b be 2/((-1)/(-2)*a). Suppose 2*m - 4*w = -3*w - 2, 0 = w. Which is greater: m or b?
b
Let b(g) = -15*g - 89. Let n be b(-6). Is 830 at least n?
True
Suppose -3*b + 3*k + 57 = 0, -2*k = 3*b + 3*k - 97. Which is smaller: b or -4?
-4
Let g = -2680 + 13427/5. Let m(t) = -t**2 + 6*t - 4. Let v = -8 + 12. Let s be m(v). Which is smaller: s or g?
s
Let f = 0 + -2. Let c be (4/(-5))/((-20)/250). Let v = 10 - c. Which is smaller: f or v?
f
Let o(p) = -2*p + 8. Let r be o(-3). Suppose 9*w - 4*w - 15 = 0. Suppose 0 = 2*i - w*t - 16, t + 3*t + r = -i. Is i at most 3?
True
Let h(r) = -r**2 + 7*r + 1. Let l be h(7). Let o be (-1)/l - 70/(-14). Which is greater: o or 6?
6
Let o be -3 + 165/21 + (-1)/(-7). Let y be 29 - 30 - (o - (0 + -1)). Does y = -9?
False
Let w be -13 - -11 - 568/(-278). Which is smaller: w or -1?
-1
Suppose -f + 3*f - 48 = 4*v, 2*v - 8 = 0. Are f and 588/19 nonequal?
True
Let q(g) = -114*g**2 + g + 1. Let x be q(-1). Let w be 2/11*(-3 + x/(-39)). Is 1 >= w?
True
Let o = -2 + 7. Suppose -4 + 9 = -o*g. Let b = -0.9 + -0.1. Is b > g?
False
Suppose -57*w + 2070 = -12*w. Which is bigger: 582/13 or w?
w
Let o = 49 - 26. Suppose -2 = 2*p, 2*n + 5*p - 2 = 37. Are o and n unequal?
True
Let j be 46/2 - (4 - 1). Let b = -11 + j. Let s be 1/(-4) + b/(-60). Which is smaller: -0.8 or s?
-0.8
Let k = -8.49 - -0.09. Let d = k - -6.4. Which is bigger: -3 or d?
d
Let k = -37 + 34. Let c = 11 - 14. Does c = k?
True
Let n = -570 - -1490. Let m = n - 32202/35. Suppose -7 = -3*j + 5*y, 4*y + 12 - 4 = 0. Is j equal to m?
False
Suppose -y + 8*t = 3*t + 119, -5*y - 4*t - 740 = 0. Let u = -61 - y. Does -1 = u?
False
Let l be (0/(1 + 2))/(-1). Suppose 5*i + 11 = -t, 0*i + 4*i + 3*t = 0. Let s be (-6)/(-135)*(2 - i). Which is greater: l or s?
s
Suppose 0*y - y + 230 = x, x + 5*y = 242. Is x less than 226?
False
Let w = 1033/8084 - 11/172. Are w and 1 nonequal?
True
Let v(g) = 16*g + 8. Let k be v(4). Let q be (121/30 - (-12)/k) + -4. Is q greater than -13?
True
Let c = -872 - -851. Which is bigger: c or -25?
c
Let p be (-2)/2 - 0 - -4. Let m = 12 - p. Let v be (-10)/15*m/11. Which is smaller: -1 or v?
-1
Let d(z) = -319*z**2 - 3*z + 1. Let y be d(1). Which is bigger: y or -322?
y
Let h be (66/(-36) + 1)*(-2)/12. Suppose -11*p + 1 - 12 = 0. Are p and h equal?
False
Let x = -114 - -124. Let y be (18/4)/(2/4). Let s = y - x. Which is bigger: s or -3/7?
-3/7
Let c = -6.6 + 7. Let h = -0.0498 - 8.9502. Are c and h nonequal?
True
Let j = 214 + -220. Let m be (-11)/3 + (-2)/(-3). Let x be 24/13*m/j. Which is greater: 2 or x?
2
Let q = 62 + -63. Let l be (123/121 - 0) + q. Is 0 less than l?
True
Suppose b - 16 = -3*b. Suppose 0 = 2*h - b - 4. Suppose 5*d - z = -20, -16 = h*d + z - 0*z. Which is smaller: -1 or d?
d
Let x = 63/286 - 1/26. Which is bigger: x or -47?
x
Suppose 3*g - g + 3*g = 0. Let i be 147/(-37) - (-11 + 7). Which is smaller: g or i?
g
Let w = -2.95 - -6.66. Let u = w + -3.5. Let d = -0.09 - u. Which is smaller: d or -1?
-1
Let u(h) = 7*h**3 + 81*h**2 - 16*h - 7. Let z be u(-12). Is z at most -245?
True
Suppose -2*z + 4 = j, -4*j + 5*z - 9 = -77. Suppose 3*b + j = -0*b. Let o be b/(-12) + 93/(-171). Which is smaller: o or 1?
o
Let n = 4.6 - 3. Let f = n - 0.3. Let r = 1.1 - f. Which is bigger: -4 or r?
r
Suppose -o + 3 = 2. Suppose 2*l - v = -673, 0 = 5*l - 3*l + v + 679. Let a = 1359/4 + l. Which is greater: o or a?
a
Let l = -156 + 11077/71. Let x = 31/2840 + l. Which is greater: x or 0?
x
Let w(f) = -f**3 + 40*f**2 - 38*f - 84. Let g be w(39). Is g greater than -42?
False
Let x = 235619/2559400 + 291/7640. Let k be 6*2*2/150. Let y = k - x. Do y and 0 have different values?
True
Let h = 172 - 857/5. Is h <= 1?
True
Let b(c) = c**2 + 8*c + 7. Let t be b(-7). Let q = 777397/181 + -4295. Is q greater than t?
True
Let c be 8 - ((-27)/(-3) - 1). Is c at most 2/51?
True
Let b = -1517/63 - -167/7. Is b less than -185?
False
Let h be -1*(-3 + (4 - 1))/(-1). Let t be (-22)/14 + 12/21 - h. Does -6/5 = t?
False
Let r = 29 - 27. Are r and 0.9 equal?
False
Let n be -1 + (0 - 3 - -5). Let h be 12*3/3*n. Suppose -49 = -3*j - 13. Is j > h?
False
Let d be -3*6/99 - (-136)/22. Let u be d/8 - ((-55)/(-20))/(-11). Is -2/67 > u?
False
Let l(k) = -k - 61. Let h be l(-19). Let v = 31 + h. Which is smaller: v or -12?
-12
Suppose 128 = z - 2*a, 25*a - 24*a - 629 = -5*z. Do 123 and z have the same value?
False
Let f = 49 + -78. Let a be -1*f/(-11) + 3. Which is greater: 0.2 or a?
a
Suppose -5*n + 5 = -0. Let w be -1*10/n + 0. Let g(f) = -f**2 - 10*f + 3. Let i be g(w). Do 2 and i have different values?
True
Let d = -0.88 + -92.12. Let o = d + 93.1. Is o smaller than 19?
True
Let y be ((10/(-25))/1)/((-56)/245). Is 0.4 < y?
True
Let g = -64 - -74. Suppose 3*w - 21 = g*w. Which is bigger: -20 or w?
w
Let t = 1139/60 + -206/15. Let x = 13 + -8. Is t <= x?
False
Let r = 215.2 + -213. Which is smaller: 3 or r?
r
Let m = -78142/17 - -4598. Let l = 454/153 - m. Is l at most as big as 0?
False
Let q = -12 + 7. Suppose 0 = 5*a + v - 25 - 40, 4*a - 52 = -5*v. Suppose -14*s + a*s - 3 = 0. Is s smaller tha