 j?
j
Suppose 0 = 12*q - 15*q + 3. Suppose -c = q, 5*z + c - 14 = -0*c. Let d be z - 3 - -4 - 1. Does 3 = d?
True
Let c = -6680.946 + 6681. Let d = 199/335 - -2/335. Which is smaller: c or d?
c
Let j = 145/4 + -23. Let u(q) = -q**2 + 23*q - 17. Let i be u(6). Let b = i + -71. Which is bigger: j or b?
b
Suppose -152*p + 88 = -144*p. Which is greater: p or 157/13?
157/13
Let o = 601 + -584.6. Let v = o - -84.6. Which is smaller: 3 or v?
3
Let y = -206 + 223. Suppose -43*s + y*s = 286. Is -14 >= s?
False
Let j = -198.3 - -203. Let r = 4.7 - j. Is r equal to 1/433?
False
Let q = 74 + -94. Let t be (1 + -2)*q/10. Suppose t*w = -16 + 56. Is 19 smaller than w?
True
Let q(p) = 7*p**2 + 20. Let y be q(-8). Let f be 2313/y - (-15)/(-3). Let c(i) = i**3 - 5*i**2 - 7*i + 6. Let u be c(6). Which is bigger: f or u?
u
Let x be (232274/(-280))/((-6)/(-45)). Let w = 6240 + x. Is 17 greater than w?
False
Let v = 8.217 - 8.2. Let o = v - 0.117. Let q = o - 0.9. Is q smaller than -36?
False
Let q be (-46)/(-4623)*(-1 - (-17379)/(-75)). Let t = q + 158/75. Which is smaller: t or 0?
t
Suppose -310 = 168*r - 4174. Let h = 76 - 49. Is r at most as big as h?
True
Suppose x + 3*n - 1014 = 0, -x = 192*n - 194*n - 1009. Is x smaller than 1008?
False
Let u = -127.4 - -36. Let w = 91 + u. Which is smaller: -38 or w?
-38
Let w(m) = -2*m**3 + 33*m**2 - 8*m - 31. Let n be w(16). Let q = 93 - n. Is 51 less than or equal to q?
False
Suppose -6*p - 90 = -24*p. Suppose p*x = 5 - 0. Let c = -310/9 + 34. Which is greater: x or c?
x
Let m = -34 - 156. Let l = -191 - m. Are 2 and l equal?
False
Let z = -26260 - -26634. Which is smaller: 371 or z?
371
Let u be (-416)/56 + 8 + 6275/(-10920). Is u at least -1?
True
Let j = -21198 - -9009141/425. Is -1 < j?
True
Let b = -235.627 - -0.627. Let q = -234 - b. Let h = 0.048 + 0. Which is smaller: q or h?
h
Let v = -69 - -101. Suppose 2*t + v = 4*t. Suppose -5*l + 20 = -75. Which is smaller: t or l?
t
Suppose m + 350*r = 345*r - 69, -2*r = 5*m + 115. Let x(k) = -2*k**2 + k - 3. Let s be x(-4). Let q = -61 - s. Which is smaller: m or q?
q
Let t = 478 - 1122. Let s = t - -645. Let x = -911/9559 - -10/121. Is s bigger than x?
True
Let n(p) = 85*p - 10185. Let q be n(133). Which is smaller: -9 or q?
-9
Let a = -9183 - -9537. Which is smaller: 377 or a?
a
Let o be ((-340)/(-60) - 1/(-3))*166/(-3). Are o and -332 non-equal?
False
Let j = -2542497/172 + 14782. Let n = j - -3865/2236. Is 2 smaller than n?
False
Let p be (4 - 2)/(3 - 1). Let b be -11 + 10 - (288/(-108))/(2/3). Which is smaller: p or b?
p
Let l = 579 + -554. Suppose 814 - 239 = -l*g. Let r = 3 - 3. Are g and r nonequal?
True
Let s be 4/2 + 82/(-6). Let t(w) = -33*w**2 + 180*w + 96. Let n be t(6). Is s > n?
True
Let x(q) = 142*q - 1. Let p be x(1). Suppose 14*f = 11*f - p. Let k = 46 + f. Which is bigger: -3 or k?
k
Suppose 48 = 2*r - 54. Let f = -121 - -72. Let l = f + r. Is l <= 7/4?
False
Let v be -8*(6 + (-1770)/(-24)). Let j = v - -740. Which is smaller: j or 0.1?
0.1
Suppose 3068 = -23*y + 13786. Which is greater: y or 465?
y
Let p = -2.1496 - -0.0196. Let c = p + 2.33. Are c and -12 non-equal?
True
Let b = 222.1 - 225.9. Do -52/3 and b have different values?
True
Let o be (2 + 55)*244/(-183). Is o bigger than -81?
True
Let n = 0.02318 + 0.07682. Which is smaller: n or -581?
-581
Let x = 5.93 + -6. Let v = 46 - -224. Let j = v - 809/3. Do j and x have different values?
True
Let v = -17.817 + 3.417. Which is greater: 3/2 or v?
3/2
Let s = -43.269 + 43.4. Let b = 2 + -2.2. Is s != b?
True
Let x = 134 + -136. Let j be 1 - (x + (-4 - (-20975)/2995)). Which is smaller: 0 or j?
j
Let s be 84/21*7/(-217). Is 0 bigger than s?
True
Let y = -82.589 - -0.689. Let u = y - -82. Is u smaller than -2/19?
False
Let w(z) = -3*z**3 - 19*z**2 - z + 27. Let t be w(-6). Which is smaller: -831 or t?
-831
Let y = 90.51 + -6.51. Is 2/3 at least as big as y?
False
Suppose 80 = 3*x + 86. Let l be x/(((-13)/3)/1). Which is smaller: -1 or l?
-1
Let y = -1906 - -1558.2. Let v = -346 - y. Let r = 0.3 - 0.4. Is v at most r?
False
Suppose 12*h = 6*h - 702. Let b = h + 122. Do 14/3 and b have the same value?
False
Let s be -145 - -126 - (3 + -24). Is s less than 528/269?
False
Suppose 5221 - 1087 = 159*o. Suppose -2*m - 52 = -4*m. Is o < m?
False
Suppose 0 = 3*z + 6, -r = 4*r - 5*z - 35. Suppose 5*w - 2*g - 16 = -10, -15 = 5*w + r*g. Let f be ((-2)/(-54))/((-11)/(-6)). Is f >= w?
True
Let l = 217 - 505. Let t = l - -451. Which is smaller: t or -3/4?
-3/4
Suppose 127 = 3*f + 5*u + 114, -5*f = 3*u - 43. Suppose -3*z - 5*r = 17, -2*z + 14*r - f*r + 14 = 0. Let v = -994 + 22867/23. Is z at least as big as v?
True
Let b be (-4 + 0 - 0)*(-10)/8. Suppose -b*m = -5*g - 40, g - 3*m + 13 = -g. Let w = 9 + -23. Is g < w?
False
Let g(h) = -53*h**2 + 28*h + 29. Let s be g(-1). Which is bigger: -66 or s?
s
Let w(b) be the first derivative of 6*b**2 - 4*b - 6. Let m(y) = -y - 15. Let o be m(-14). Let k be w(o). Are k and 2/3 non-equal?
True
Suppose 0 = 225*r - 8*r + 54421 - 142523. Is r greater than 402?
True
Let t = -526.2 + 528. Suppose 6*d - 1 = -13. Which is greater: d or t?
t
Let b be -5 - (2403408/(-296) - (0 + 1)). Let q = b - 8115. Is q equal to 0?
False
Let t be (5110/3100 - 16/10)/((-27)/36). Suppose l - 6 = 5*a, -4 = a - 5*l + 2. Is a not equal to t?
True
Let h = 100 + -94. Let b be (21/105 - 34/20)*h. Is 7 less than or equal to b?
False
Let s(g) = 2*g**2 + 30*g - 24. Let i be s(-12). Is -87 equal to i?
False
Let a = -2091 - -2037. Which is bigger: a or 2/23?
2/23
Let b = 349 - -164. Let g be (-33999)/(-66) + 1 + -3. Let w = g - b. Is 1 != w?
True
Suppose -24*i = 26*i - 52*i, 3*i - 8192 = 2*c. Is -4095 < c?
False
Let l = 111.14 - 111. Let k = l + 0.11. Let y = k + -0.35. Is y bigger than -7/2?
True
Let j be ((2632/(-2256))/(14/(-18)))/((-9)/(-1)). Suppose 0*f + m + 124 = 5*f, -m = -3*f + 76. Let n be 9/f + (-2)/4. Which is greater: j or n?
j
Let o be -86 + 1 + (-21)/7. Let q = -2471 - -2382. Which is bigger: q or o?
o
Let m = -41 - 9. Suppose -31*y + 19782 = -12*y + 20599. Which is smaller: m or y?
m
Let y = -68 + 309. Suppose 4*r - 9 = -y. Let o = r + 63. Which is smaller: 19/5 or o?
19/5
Let b be 10/4 + (-2)/(-4). Let q be ((-10)/4 - 0)/((-47)/3008). Let y = q + -153. Do y and b have different values?
True
Suppose -430 = 2*o + 4*t, -832 = 4*o - 4*t + 5*t. Let k be 10/3*o/(-2645). Which is bigger: 1 or k?
1
Let a(k) = -2*k**3 - 2*k**2 + 6*k + 11. Let w be a(-2). Suppose -14 = 7*s - w. Is s smaller than -10/19?
True
Let g be (-1)/4 + (-1594)/(-6312). Let z = 2315/20514 + g. Suppose 4*l - 19 = -5*b, 2*l - 7*l = 2*b - 11. Is z at least as big as l?
False
Suppose 5*n - 2*n + 4*n = 0. Which is smaller: -5/194 or n?
-5/194
Let u be (-6)/36*0*-1. Suppose 8*p - 12*p - 4 = u. Which is smaller: p or -8?
-8
Let p(n) = n - 2. Let a be p(6). Let y = 395 + -300. Let x be y/16 - a - 2. Are x and 0 equal?
False
Let z = -9611 + 28832/3. Is -14587 at most z?
True
Let y = -23.573 + 23.556. Let g = 7 - 5. Let v = -1 + g. Is v >= y?
True
Let s = -1 + 2. Suppose -4*v = -2*g - 2, 2*v + 9 = 4*g + s. Suppose 6*w = -4 - v. Which is smaller: -2/33 or w?
w
Let x be (-1)/6 + 448/2884. Is 0 at most as big as x?
False
Let l = -3885 - -3376. Is -510 != l?
True
Let x be 3/(-5)*(-244)/(-18). Let g = x + 22067/2715. Let w = -191/1810 - g. Which is smaller: w or -1?
-1
Let n = -0.39 - -0.04. Let a(o) = 3*o + 38. Let p be a(-13). Let t be ((p/12)/1)/(7/(-21)). Is n < t?
True
Suppose 0 = 5*x - 0*o + o - 9, -4*x + 2*o - 4 = 0. Let d(q) = 2*q - 2. Let h be d(-5). Let u be 2/(-3) + 0 + h/(-8). Is u bigger than x?
False
Suppose -42*r + 1334 = 116. Let a(s) = s**2 + 6*s + 7. Let z be a(-5). Suppose -2*c - g = z*g - 71, 0 = -4*c + 2*g + 102. Is r less than c?
False
Suppose 57 = -10*p + 9*p + k, -p = -4*k + 69. Let v = p - -107. Is 54 > v?
False
Let r = -90 - -169. Let k(f) = 9*f - 490. Let d be k(63). Are d and r nonequal?
True
Let o = 0.04852 + -2.14852. Is o at most 77?
True
Let o = -2159 - -2199. Let t(s) = 2*s + 17. Let d be t(-7). Which is smaller: d or o?
d
Let f(n) = n**2 + 5*n + 7. Let a be 4 + -7 - (-12 + -3). Suppose -2*x + 2 = 3*m, x - a = -8. Let b be f(m). Is 6/25 at most as big as b?
True
Let g be 940/(-2784) + 2/6. Let b(p) = 2*p**2 - 27*p