alues?
True
Let f be 66/8*280/210. Which is smaller: 114/11 or f?
114/11
Let g be -13 - (-34 + 18) - (-899 + -1). Do 903 and g have different values?
False
Suppose 17*i = -8161 + 21999. Let d be i/364 + 32/448. Which is greater: d or 1?
d
Let c = -23 + 32. Let t be c/(-44)*16/3. Let p = t + 59/44. Which is greater: p or 1/10?
p
Let t = 2.4 - 3.58. Let q = -0.78 - t. Which is smaller: q or 4/3?
q
Let j(l) = 4*l + 11. Let h be j(-2). Let n(d) be the first derivative of 2*d**2 - 22*d + 24. Let u be n(6). Which is smaller: h or u?
u
Let a be 204/(-21) + (5 - -2*(-5 + 3)). Which is smaller: a or -10?
-10
Let n(w) = w**3 + 4*w**2 - 13*w + 5. Let r be n(2). Suppose 6 = r*k - 198. Does k = 69?
False
Let i(l) = l**3 + 3*l**2 + 15*l + 44. Let c be i(-3). Which is greater: c or -20/481?
-20/481
Let p be (-2 - 351/30)*24. Is -329 > p?
False
Let y be 0*((-22)/4 - -5). Suppose -375*d + 370*d = y. Is -0.013 >= d?
False
Let r = -444 - -444. Let p be (-160)/40 - ((-6)/(-8) - r). Which is smaller: -6 or p?
-6
Suppose p - 4*c - 539 = 6*p, -4*p - 3*c = 432. Let j(b) = -b**3 - 17*b**2 - 28*b - 14. Let f be j(-4). Is p greater than f?
False
Suppose -4681 - 8709 = 206*n. Is 151 bigger than n?
True
Let x(p) = -p**3 - 8*p**2 + 2*p + 11. Let m be x(-8). Suppose 3*q = 3*i - 90, -5*q + 9*q = 3*i - 87. Suppose -i*l + 22*l + 22 = 0. Is l < m?
False
Let s(c) = 2*c**3 - 23*c**2 - 39*c + 9. Let z be s(13). Suppose -3*g - z = 7*a - 5*a, -2*g + 4*a + 10 = 0. Is g smaller than -1/168?
True
Let b = -4686 + 4685.41. Which is bigger: -2/5 or b?
-2/5
Suppose 3*n = 5*l - 105, 2*n + 2*l + 71 = 5*l. Let t = 10 - n. Let m = t - 31. Is 19 equal to m?
True
Let v = 16046 + -16047. Which is bigger: v or -7.478?
v
Let q = -15 + 9. Suppose -3*s + 5*l - 70 = 2*s, 0 = 4*l - 8. Let n be -1*(-8)/s - (-50)/(-6). Is q not equal to n?
True
Let w(y) = 12*y**3 - 1248*y**2 - 10*y + 1050. Let z be w(104). Let j be (-2)/(1/((-6)/(-4))). Which is smaller: z or j?
j
Let g = 0.3024 + -3.3024. Which is bigger: g or 4.66?
4.66
Let c be (-2728)/(198/(-18)) - -9. Do c and 0 have the same value?
False
Let v = -0.79 + -0.43. Let i = -0.07 - v. Let y = -0.15 + i. Is 0.14 bigger than y?
False
Let w = 2.3792 - -10433.6208. Which is smaller: w or 2?
2
Let w(o) = -23*o**2 - 961*o + 13. Let u be w(-44). Is u > -2229?
False
Suppose -3*s = -5*o - 18180, -o = -5*s - 20058 + 50336. Is s greater than 6055?
False
Let n(q) = -115*q + 694. Let k be n(17). Which is greater: 2/3 or k?
2/3
Suppose -3*h + 6*h = 0. Suppose h*y - 7*y = 0. Suppose -4*n + 2*n = y. Is n at least as big as 2/7?
False
Let s = 6098/5 - 3029/15. Let h = s - 1055. Let j = 2927/78 + h. Are j and 0 equal?
False
Let k = 27/2996 + -49277/6132812. Which is bigger: 1 or k?
1
Let r be ((-500)/(-6) + -2)/(4/6). Suppose -4*q - r - 90 = 4*n, -q + 241 = -5*n. Is -49 > n?
False
Let l = -4 + 6. Let i = -33576 - -33602. Is l at least as big as i?
False
Suppose 0 = 151*k - 585145 + 146338 - 133483. Which is bigger: 3789 or k?
k
Let z = 58 + 10. Let m = z - 33. Let q = 22 - m. Which is bigger: q or -1?
-1
Let f(x) = x + 2. Let d(h) = -h**3 + 10*h**2 - 13*h - 30. Let a(n) = -d(n) - 6*f(n). Let y be a(9). Which is bigger: y or -7/72?
y
Let t = -3296602/265 + 12440. Let p be 1 + 0 + 1/(-1). Is p >= t?
True
Suppose 35*s = 44*s + 9. Let y be 5 + (s/(-4) - 36915/(-644)). Does y = 64?
False
Let x = 78 + -113. Let d = -30 - x. Suppose -4*p - 7*q + d*q - 178 = 0, q + 46 = -p. Is -42 < p?
False
Let z(f) = -34*f**2 + 208*f - 28. Let k be z(6). Is -124/25 at least k?
False
Suppose 0 = 5*t + 3*v - 146, 2*t + 2*v - 4 - 52 = 0. Suppose -84*f - 61 - 181 = 37*f. Are t and f nonequal?
True
Let z be (-4)/(-3*(-8)/(-204)). Let d(v) = 3*v**2 + 8*v + 13. Let i be d(-4). Let f = z - i. Is f smaller than -0.1?
False
Let l = -268/713 - 4060262/6417. Which is greater: -634 or l?
l
Suppose 3*g - 3*i = 3, -g + 2*g + 4*i = 16. Let s be (51 - 4) + g/1. Let x be -3 - (-258)/s - 1. Which is greater: x or 1?
x
Let u = -171 - -167. Let i be (11 - 2)/((-2)/(-8)*u). Are i and -2 equal?
False
Let f(m) = -158*m**2 + 18*m + 105. Let x be f(-4). Is x less than or equal to -2494?
True
Suppose 0 = -2*o + 3 - 9. Let b be o*(-4 + 5/(-15)*-13). Which is bigger: b or 2/163?
2/163
Let n(v) = -7*v**3 + v**2 + 7*v - 16. Let f be n(4). Let s = 13441/32 + f. Which is greater: -1 or s?
s
Let i(v) = v**3 + 7*v**2 + 6*v. Let g be i(-6). Suppose g = -0*t + 4*t + 4. Let r = 706 + -33181/47. Which is smaller: r or t?
t
Let h be (3 + -5)/(1 + 1). Let v = 984 + -9839/10. Is v > h?
True
Suppose -2*c = -c - 4*s - 24, -5*s = 5*c + 5. Suppose -2*i - 39 = -3*d - 28, -15 = d + c*i. Let g be 1/(-1) + 23/12. Which is bigger: d or g?
d
Let g(j) = j**3 - 9*j**2 - 8*j - 18. Let h be g(10). Suppose -t = h*c + 4*t - 1, -5*c = 5*t - 25. Suppose -3*l - 8 - c = -4*s, 0 = -5*s + 20. Is 7/8 <= l?
False
Suppose -3*v + 3*v = 17*v. Which is greater: v or -2/36433?
v
Let z(v) = -32*v - 17. Let p be z(4). Which is smaller: -148 or p?
-148
Let i = 42/557 + -16058/6127. Which is bigger: i or -8?
i
Let c(y) = -y**2 + 92*y - 1. Let p be c(92). Do p and 12/707 have the same value?
False
Suppose 3*b - 15 = -m, 4*m - 2*b - 4 + 14 = 0. Let u be 36/(-14)*42/24. Let n = u + 295/66. Are m and n non-equal?
True
Let m = -48 + 57. Let y = -8 + m. Let n = -12 + 10. Which is bigger: n or y?
y
Let r(y) = 4*y**3 + 4*y**2 + 16*y + 15. Let x be r(-1). Is 27.83 > x?
True
Let v = -167 + 77. Let f be v/(-21) + -4 + 146/(-462). Is -1 greater than f?
False
Let r(n) = -289*n - 92. Let l be r(3). Is l bigger than -962?
True
Let m = 9768 + -9758. Suppose 0*a = 3*a + 9, 0 = -5*d + 5*a - 285. Let u be (-621)/d + (-2)/(-8). Which is smaller: m or u?
m
Let a = 168 - 94. Let f = 86 - a. Suppose 4*y = 16 - f. Is y at least as big as 1/139?
True
Suppose -59 = -4*r + 3*b, -b + 24 = 5*r - 26. Let p(w) = w**2 - 10*w + 34. Let a be p(r). Is 43 less than a?
True
Let o(a) = 2*a**3 + 2*a**2 - 4*a - 2. Let t be o(4). Suppose -4*k = -2*n + 110, -2*n = 6*k - k + t. Let g be 8/(-6)*21/k. Is g at least as big as 7/8?
True
Suppose 35*u + 1040 = 30*u. Let s = -308 - -16. Let d = s - u. Is -84 greater than d?
False
Let h be (-2226)/424*(-32)/3. Let o be (-168)/(-18)*144/h. Suppose 11 = 5*j - 14, 5*j + 100 = 5*u. Which is bigger: o or u?
u
Let v = -11313/16160 - -1/16160. Let l = 1 - 1. Is v < l?
True
Let b = 7 + -2. Let w = 533 + -530. Is b > w?
True
Let j = 22.4 + -24.9. Which is bigger: j or 29?
29
Let c be (2 + 2 + -4)/(-2). Let t(g) = -g**2 - 12*g + 5. Let x be t(8). Let i = 13176/85 + x. Which is bigger: i or c?
i
Let c = -149 + 164. Suppose 35 = -4*b - 3*r, -3*b = -2*b + 2*r + c. Are 13 and b equal?
False
Let o = -45 + 2583/58. Which is greater: o or -1?
o
Let x = 87.46 + -85. Let d = -1.46 + x. Which is greater: 1/10 or d?
d
Suppose -30056 = 38*c - 72*c. Let i = -272 + c. Which is bigger: i or 613?
613
Suppose -x = i + 2*x - 3, 4*i - 60 = 4*x. Suppose -24 = -w + i. Let a = -37 + w. Is 2/61 equal to a?
False
Let j be (-1)/(-4) + 62/(-24). Let h = 230 - 194. Let y = 35.8 - h. Which is smaller: y or j?
j
Let j = -40/39 + 57/26. Let w(q) be the first derivative of -q**4/4 + 5*q**3/3 - q**2 + 11*q - 10. Let s be w(5). Which is smaller: s or j?
s
Let j = -6.2559 + 6.624. Which is smaller: j or 1/2?
j
Let z = -19973 - -19976. Which is greater: 1708 or z?
1708
Let y(l) = 0*l**2 + 2*l**2 + 8 + 5*l**2 - 7*l**2 - 13*l + 2*l**2. Let x = 3 - -3. Let k be y(x). Which is smaller: k or -3/10?
-3/10
Let x(n) = n**3 + 14*n**2 + n + 19. Let y be x(-14). Suppose y*j = 4*d + 411, 3*j - 3*d + 0*d - 249 = 0. Which is smaller: j or 77?
77
Let x = 15 + -199. Let l = 184 + x. Which is smaller: l or -2/237?
-2/237
Let n be -6*46/184*(-2)/(-2963). Is -1 at most as big as n?
True
Let w = 34.033 - -0.367. Let y = 34.5 - w. Which is bigger: y or -0.01?
y
Let h = -9991 + 9991.071. Does h = -1?
False
Let o = 6/59857 + -1140733/34417775. Which is smaller: 0 or o?
o
Let g(r) = -14*r - 147. Let b be g(-11). Let w be b*-1*6*(-7)/(-154). Which is smaller: -1 or w?
w
Let n be -10 + (-28)/(-14) + (-82442)/(-10305). Does n = 1?
False
Let u(n) = 4*n + 14. Let t(c) = -1. Let q(f) = 3*t(f) + u(f). Let z be q(6). Suppose 0*l + z = 5*l - 2*d, 0 = 5*l - 3*d - 40. Which is greater: 7 or l?
7
Let l(v) = -v**3 - 5*v**2 - 7*v - 2. Let h be 