 j?
True
Suppose -4*d + 140 = 4*m, 3*d - 7*d + 135 = 5*m. Let w be 3*d/(-12) + 4. Which is smaller: w or -1?
w
Let m = 0.3 + -0.2. Let n = -36 + 9. Let h = 28 + n. Do m and h have different values?
True
Suppose -l + 3*z - 5 = 5, 4*z = 16. Suppose -2*j = -5*j. Suppose -2*k - 3*t - 4 = j, k - 17 + 8 = 4*t. Is l smaller than k?
False
Let x be 18237/(-42) - 6/(-16)*-4. Let i = x - -435. Which is smaller: -1 or i?
-1
Suppose 0 = -2*q + 2*j - 176, -8*q + 6*q = 4*j + 170. Let u = q - -88. Which is greater: 9/4 or u?
9/4
Let x = 239/623 - -4/89. Is x > 0?
True
Let o(h) be the first derivative of h**4/12 - h**3/6 + h**2/2 - 12. Let a(r) be the second derivative of o(r). Let q be a(0). Which is bigger: q or 2/15?
2/15
Let r be ((-24)/156 - (-189)/(-39)) + 8. Which is smaller: -90 or r?
-90
Let r(o) = 23*o - 67. Let c be r(3). Which is greater: 14/9 or c?
c
Let p = 27 + -23. Suppose -p*a + h + 21 + 1 = 0, 2*a + 2*h - 16 = 0. Let l(n) = n**2 - 8*n + 12. Let t be l(a). Are t and -0.06 unequal?
True
Let q be 8/(-16) - 14/(-4). Suppose -3*s = -2*s - 2*b + 9, -q*s + 28 = 5*b. Is s greater than or equal to 3?
False
Suppose 2*o = 5*f - 82 + 13, -5*f + 63 = -4*o. Let q = 15 - f. Let b be (5 + q)*(-4)/50. Which is greater: b or 1/3?
1/3
Let c(j) = -j**2 - 3*j - 2. Let n be c(-4). Let h be (((-4)/n)/2)/(2/(-6)). Which is smaller: h or 2/217?
h
Let p = 45.6 + -123.4. Let u = p + 78. Is u >= -12?
True
Let u = 18 + -26. Let o be ((-6)/8)/(33/u). Is o less than or equal to -1?
False
Let b = -328 + 330. Is b > 13?
False
Suppose 0 = 5*f + 11 + 74. Let z = 47 + -66. Which is bigger: f or z?
f
Suppose -4*q - 70 = -9*q + 5*v, -2*q = 2*v - 28. Let f be 4/(-14) - ((-438)/q + 1). Which is greater: f or 31?
31
Let k be (-8 + -2)*4/8. Let p(x) = x**3 + 6*x**2 + 5*x - 2. Let z be p(k). Let c be z/(-2) - (-52)/4. Which is greater: 13 or c?
c
Let f be 2/(-7) - 774/(-63). Let m = 1 - f. Let j = m + 11. Which is smaller: 1/26 or j?
j
Let z = -5.2 + 8.5. Let g be (10/(-35))/((-16)/28). Is g bigger than z?
False
Let u = -1262 - -169109/134. Let k = -333/268 - u. Is k at least 3?
False
Let m be (-9)/18*(1 - 11). Let y = m + -7. Let r be 6/(-32)*(-42)/(-7). Which is smaller: r or y?
y
Suppose 3*w - 82 = -2*y + 122, -y + 107 = -w. Which is smaller: y or 423/4?
y
Let a = 102 - 59. Let c = -48 + a. Which is bigger: 2 or c?
2
Let f = -2/29 - 129/232. Which is greater: -1 or f?
f
Let r(k) = 2*k**2 - 13*k + 3. Suppose -d = 2*b - 2 - 5, -5*b = 2*d - 15. Let a be r(d). Which is smaller: -13 or a?
-13
Let j = 0.108 - 1.316. Let h = j + 0.208. Let n be 42*(-1 + 3/2). Which is smaller: h or n?
h
Let k = -13210/3111 - -2/183. Which is greater: -4 or k?
-4
Let z = 2530 + -2530.45. Which is smaller: 6/13 or z?
z
Let b be 4 + 2 + (-210)/37. Does -1 = b?
False
Let u = 1459/418 - -2/209. Which is greater: 5 or u?
5
Let u be (-33)/(-2)*(2 + (-112)/24). Do -50 and u have different values?
True
Let w = 0.1164 + -11.1164. Is w >= 53?
False
Suppose -1 = -4*y + 3. Let p be 8/(1 + -2)*-1. Is y <= p?
True
Let v = -61 - -90. Let r = 29.1 - v. Which is bigger: -1.4 or r?
r
Let s be (-2)/(-10) + 2349/405. Which is bigger: s or 50/9?
s
Let m be ((-1392)/84)/(590/4). Let z = -10/59 - m. Let g be 0/(2/1)*1. Is g <= z?
False
Let s be (-2 + 3)/((-3)/21). Let m be s/(21/(-6)) + -2. Suppose 2*u + 6 = -m*u. Is -1/4 bigger than u?
True
Let a = 22986/2147 + -282/113. Is a < 9?
True
Suppose g - 34 = 2*q, 0 = 5*q - 3*g + 2*g + 79. Is -0.1 not equal to q?
True
Let r be 4 + (193/2)/(10/1). Let i = r + -49/4. Is i at least as big as 0?
True
Let o(u) = u**2 + u - 6. Let h = -28 + 31. Let k be o(h). Is k < 6?
False
Suppose 0 = 3*c - 2*c - 17. Let s = 15 - c. Is s greater than 0?
False
Let z = 403 - 218. Is z at least 185?
True
Let i = 11.82 + -12. Let j = i - -0.18. Let l = -3 - j. Are l and 0.2 nonequal?
True
Suppose -10 = -4*k - k. Suppose -k*g = 3*l - 12, -3*l - 63 = -4*g - 3. Let y be (-19)/2 + 18/g. Is -7 smaller than y?
False
Let u(i) = -i - 14. Let d be u(-19). Suppose 8 = d*o + 3. Is o bigger than 9?
False
Let i = 33556/51 + -658. Is -1 greater than i?
False
Suppose -5*c = r + 2*r - 11, -c - 2*r = 2. Suppose c*m = 6 + 2. Let l be 0/11 - m/2. Is l < -4?
False
Let l = 22 - 19. Suppose -i - 4 = -2*u, -i - 1 = l*u - 2. Is u at most as big as -1/46?
False
Let y be (0 - -5) + 0/3. Let p be -3 + 1 + (y - 3). Let w = -125/2 - -1373/22. Which is greater: w or p?
p
Let h(m) = m**2 + 4*m + 5. Let x be h(-3). Let o be 0 + -3 - (x - 33). Suppose i = 5*i + o. Do -5 and i have the same value?
False
Let s = 2 + -3. Let t be -2 + (-5 + 3)*42. Let h = 84 + t. Which is greater: h or s?
s
Let t = -1149 + 1111. Which is greater: 4 or t?
4
Suppose -10 = 5*f - 55. Let t = f + -23. Is -13 at most as big as t?
False
Let q = -108 + 110. Suppose -q*h = h + 5*d + 36, 0 = 2*d. Is -11 <= h?
False
Let w(a) = -9*a + 41. Let p be w(-17). Which is smaller: 195 or p?
p
Let v(b) = 4*b**2 - 2*b + 3. Let k be v(-2). Let x = k - 24. Let o = -21/2 - -103/10. Which is greater: x or o?
o
Let d = 77161982/1819 - 42420. Is 1 greater than d?
True
Let s be 1*((-11395)/(-2275) - 5). Which is smaller: s or 0?
0
Let g = 202 + -199. Is g less than 399?
True
Let y be (9 - 1327416/66372) + 11. Is -1 less than y?
True
Let i(y) = 5*y - 8. Let v = 57 - 64. Let s be i(v). Is s not equal to -43?
False
Suppose 53 = -4*v + 3*z, 5*v + 2*z + 60 = 7*z. Which is bigger: -15 or v?
-15
Let u = -518 - -516.1. Which is smaller: u or -11/9?
u
Let i(c) = c**3 + 9*c**2 + 8*c - 5. Let a = -4 + -4. Let p be i(a). Let u(d) = -d**3 - 6*d**2 - 5*d. Let w be u(p). Which is greater: -2 or w?
w
Let q(y) = y**2 + y - 19. Let c be q(4). Which is bigger: 1/1429 or c?
c
Let n = 23 - 37. Which is smaller: -1/3 or n?
n
Let w be (-3)/1 + 0 - -3. Suppose 9 = -3*k + 5*t - w*t, 9 = 3*t. Let g = -14 + 19. Which is bigger: g or k?
g
Suppose -z - 3*z = -4*y - 16, 4*y + 5*z = 20. Suppose 0 = -3*g - 5*q - 11, -3*g + 25 = -y*q - 4*q. Suppose -u + 7 = j, 5*j - 39 = -0*u - g*u. Is j at most 8?
False
Let j = -0.22 - 2.18. Let c = j - -2.5. Let g = -1/67 + -62/335. Which is greater: g or c?
c
Let p = -35 - -43. Suppose -p = -6*f - 176. Let x be 1005/(-35) + (-4)/14. Is x smaller than f?
True
Let r = 1.93 + -2.1. Let y = 0.25 + r. Which is bigger: y or 0.1?
0.1
Suppose s = -10*t + 11*t - 289, 4*s + 1171 = -t. Which is smaller: s or -293?
-293
Let d(i) = -i**3 + 10*i**2 + i - 2. Let a(l) = -3*l**3 + 41*l**2 + 5*l - 8. Let x(p) = -2*a(p) + 9*d(p). Let j be x(3). Does j = -15?
False
Let d be (-10)/15*(-60)/(-8). Let t be d/(180/8)*3. Is t < -0.4?
True
Let t = -257 - -772/3. Is -7/8 <= t?
True
Suppose 10 = -2*q, 0 = -4*m + 5*m + 3*q. Suppose 4*o - 2*t - 6 = 0, -5*o - m = -o + 5*t. Let n be ((-2)/39)/(3/9). Which is bigger: n or o?
o
Suppose -170*v + 151*v = 1862. Which is smaller: 1/2 or v?
v
Let c(s) = -s**3 + 30*s**2 - 46*s + 74. Let i be c(28). Is 354 at most i?
True
Let t(n) = -16*n - 122. Let s be t(-25). Is 278 equal to s?
True
Let y = 28 + 34. Let n = y + -62.8. Let c(v) = v. Let u be c(-1). Is n at least u?
True
Let v = -8 - -5. Suppose 11*z - 7 + 20 = -31. Which is smaller: z or v?
z
Suppose 0 = a - 2*t - 11, 0*t - 3*t = 0. Suppose -a*o = -4*o - 70. Let k = 12 - o. Does k = 3?
False
Suppose -j + 7 = -0*j. Suppose -5*x + 16 = -j*x. Is x > -10?
True
Let p = 37 + -554/15. Is 1 equal to p?
False
Let m be 1 + -4 - (16/6 - 4). Is m greater than or equal to 1?
False
Suppose 8*a + 4*x + 20 = 13*a, 0 = -a - 4*x - 20. Which is smaller: 3.5 or a?
a
Let j = 1/1575 - 5734/1589175. Is j at most 1?
True
Let g = 98 + -50. Suppose 9*v - g = 3*v. Suppose 2*s = 4*w + w - v, 4*w = -2*s + 10. Is 1/21 greater than s?
False
Let p = -897 - -898. Let y = -50 - -30. Is y >= p?
False
Let g be 1/(-7) - (-299)/182. Is -6 > g?
False
Suppose 7*p - 360 = 12*p. Let l be (2072/(-102))/((-4)/p). Let m = l + 366. Which is smaller: 1 or m?
m
Suppose -22 + 62 = -20*l. Does l = 148?
False
Let r = 544/13 + -16838/403. Which is bigger: -0.7 or r?
r
Let j = -9 + 15. Suppose 0 = 2*u + t + j, 2*t = -3*t + 10. Let w(k) = k**3 + 3*k**2 - k + 5. Let g be w(-4). Is g greater than or equal to u?
False
Let b(v) = -v**2 - 16*v - 9. Let u be b(-16). Let n be 3/(-9)*u - 10. Let s be (n/(-4))/(18/144). Are 14 and s unequal?
False
Let n be 3/(9/26)*(-3)/(-2). Supp