j
Let w = -214 + 222. Let d(j) = -8*j + 61. Let a be d(w). Which is greater: -12 or a?
a
Suppose 675 - 602 = 73*r. Is r greater than or equal to -85/186?
True
Suppose -3*f + 4*u = 3*u - 17, 36 = 4*f - 4*u. Suppose -93 = 3*d - 4*j - 349, 0 = -4*d - f*j + 360. Is 88 <= d?
True
Let p = -40758358/1168115 + 2268/65. Which is bigger: p or 1?
1
Let u = -44 + 32. Let c be (-1 - 6/u)/(1/134). Let p = c - -63. Is p less than 9?
True
Let l = -15589 + 15723. Let w = -304 - -437. Are w and l unequal?
True
Let x(o) = -270*o - 93. Let m be x(-2). Are 444 and m non-equal?
True
Let x be 14/(-4) - (-3)/(-6). Let w be x - (21/15 + (-4)/10). Let k(z) = z**3 + 7*z**2 + 8*z + 6. Let g be k(w). Which is bigger: g or 12?
g
Suppose 2*l = 3*j + 17552, -1103*j + 5*l - 11694 = -1101*j. Is -5850 at least j?
True
Let a be (-6)/27 - (-1510)/(-495). Let v = 45/44 + a. Which is smaller: v or -2?
v
Let h = 225 + -673/3. Let y(u) = -8*u + 10. Let s be y(5). Let m be (-2)/5 + (-22)/s. Is m less than h?
True
Let i be 732/854*(-182)/254. Is 0 < i?
False
Let r = -313937/3944491 - -9/113. Which is bigger: -1 or r?
r
Suppose k + 2*p + 5157 = 0, 6570 = -k + 4*p + 1383. Is k equal to -5169?
False
Suppose 0 = 5*c, -5*u - 3*c - 658 = -6*u. Let a be (-8)/(-12) + u/21. Let d be (-6)/9 - (-98)/3. Is d bigger than a?
False
Let y(j) = j**2 + 50*j - 3. Let a be y(0). Let b be 3*1*(-55)/65. Which is smaller: a or b?
a
Let g(f) = -81*f + 6672. Let o be g(79). Which is bigger: 4 or o?
o
Let q(n) = 85*n + 6699. Let p be q(-78). Is -38 at least p?
False
Let t be 24/(-2)*15/6. Let q be 25/t*(-2)/45. Let w(o) = -o**3 - 7*o**2. Let y be w(-7). Which is smaller: q or y?
y
Let x = 374.22 - 376. Let g = 1.78 + x. Do 6/43 and g have the same value?
False
Let p = 2172 + -1116. Is 1057 bigger than p?
True
Let i be ((-75)/50)/((-2)/(-4)). Let l be 1/i*((-190)/(-80) + -5). Which is bigger: 1 or l?
1
Let b be ((-681)/30 + -2)*(-49)/(-2). Let w = b + 605. Let y be ((-1)/2)/((-1)/2). Which is smaller: w or y?
w
Let d(c) = -15*c - 188. Let g be d(-11). Suppose -442 = -4*r + q, 4*q - 27 = -4*r + 405. Let j be (4/(-10))/(2/r). Is g bigger than j?
False
Suppose 320 = -130*f + 120*f. Let r be 40/f*-58*(-8)/35. Which is smaller: r or -1?
r
Let a be (35/(-7)*51)/(429/506). Is -300 greater than a?
True
Suppose -c + 3*j - 845 = -851, -3*j = 3. Let v be ((-9)/(-6))/((-3)/4). Is v at least as big as c?
False
Let c be -1 + 5/((-30)/(-78)) - 5. Suppose -7*k - 252 = c*k. Is k less than -31?
False
Suppose 144 = 6*f - 5*f - 5*l, 4*f - 534 = -l. Suppose 274 = q - 2*x, q - 158 = -4*x + f. Let b be ((-14)/(-8) - 2) + q/(-32). Is -9 at most as big as b?
True
Let s be (-4039)/2885 - (0 - 7/5). Is s < 2.3?
True
Let k = -10625 - -10628. Let j be 3/(((-3)/(-36))/1). Let y be ((-2)/(-6))/(8/j). Which is bigger: k or y?
k
Let z = -77.91 - 1156.09. Is 0 bigger than z?
True
Suppose 4*n = -2*b + 408, 4*n = 2*n. Is 3 bigger than b?
False
Suppose 0 = -272*k - 52*k - 2268. Which is smaller: k or -456/73?
k
Suppose -4*q + 9 = -r, -r = 3*q - 6*q + 6. Suppose 0 = -r*z + 4*f + 218, 0 = z + z + 5*f - 130. Let h be z/28*8/5. Is h <= 7?
True
Let d be ((-1)/2)/((-2)/(-8)). Let x = -2352 + 2389. Let l be d/((-68)/x) + -1. Is l at least as big as 0?
True
Let d = 119 + -835/7. Let f = 997 - 499. Let s = f + -392. Which is greater: d or s?
s
Suppose -216*g - 4316 = -190*g. Is g bigger than -157?
False
Let c(t) = -t**3 - 2*t**2 + 12*t + 10. Let b be c(-4). Let m be 2*b/(-6 + -6). Which is greater: -1/295 or m?
m
Suppose 0 = b - 6*b + 20. Suppose -2*h = 4*y - b, -3*y - 6 = -3*h - 6*y. Let t be 18*2/(-6)*2/4. Are h and t non-equal?
True
Let n = -50 + 61. Let v(p) = p**2 - 15*p - 23. Let s be v(n). Let f = -62 - s. Is 0 greater than or equal to f?
False
Let a = 50 + -88. Suppose 0*o = -2*o - 44. Let q be ((-37)/(-2))/(11/o). Is a < q?
True
Let f(r) = -3 + 15 - 779*r + 778*r. Let j be f(12). Is j at least as big as 10?
False
Suppose 0 = z + 3*x + 369, -17*x + 6 = -14*x. Which is smaller: -362 or z?
z
Suppose 4*r - 204 = 4*t, -3*r - 25959 + 25671 = 4*t. Let x = 78 - 140. Is x smaller than t?
False
Suppose 2*h - 2*d = -d + 2, -15 = -5*h + 5*d. Let y = 300 - 472. Let q = y + 2925/17. Which is greater: q or h?
q
Suppose r + 8*j - 13 = 9*j, 4*j + 19 = r. Suppose 7*p = 256 - r. Is p > 36?
False
Let d = 1417.3 - 1485. Let s = 68 + d. Is s != 1/15?
True
Let s = -1.2 + 0.2. Let d = 33115/42 - 4220/21. Let l = d - 593. Which is greater: l or s?
s
Let l be (2 + 6/15)*(-4355)/(-182). Let w = l + -55. Is 2 bigger than w?
False
Let k be ((-26)/6 + -1)/((-4)/(-414)). Let q be k/(-15) - (-28)/(-35). Suppose 4*d = -2*d - q. Do -7 and d have different values?
True
Let g(h) = -2*h + 9. Let p be g(6). Let w = -102795/4 - -25278. Let b = w + 417. Is p bigger than b?
True
Suppose 25 = 6*v + 7. Let i(c) = -9*c + 6. Let a be i(v). Let j = a + 22. Are 0.09 and j unequal?
True
Let g be (-60)/(-3) - 19 - 0. Which is greater: g or -5/432?
g
Let q = -908 + 335. Let t be (-191)/q + -94*5/1428. Which is smaller: t or 1?
t
Let r be 3*45/(-27)*(-7 + 2). Suppose 3*v + r = 4*s - 10, -5*s + 21 = -2*v. Is -15 >= v?
False
Suppose 3*h - 7 = -2*g, 2*g + 3*h - 31 = 6*g. Let z = g + -2. Let f(d) = -8*d - 7. Let l be f(z). Is l less than or equal to 41?
True
Let b be ((-2)/(-7))/((-39256)/4361 + 9). Let t be (-3898)/22 - 2/(-11). Is b greater than t?
False
Let w(p) = -p + 21. Let k be w(13). Suppose -4*c = -k*c - 3636. Let x = c + 11811/13. Is x > 1?
False
Let m be (-65)/70*6 + 5/(10/12). Do 3/40 and m have the same value?
False
Suppose 9*r - 8*r + 2*j - 13 = 0, 0 = j - 6. Is r smaller than 74/59?
True
Let d = 10089 - 8411. Is d at most as big as 1676?
False
Let i = 735 + -635. Suppose -8*h + 108 = i. Is 27 at least as big as h?
True
Let i be ((-6)/(-9))/((-33)/9). Let y = 111.995587 + 0.004413. Is y less than or equal to i?
False
Suppose 109 = -4*d - 0*v - v, 2*v - 120 = 5*d. Let w be 3*2/(-2) - d. Suppose 4*b = -5*c + b - 15, -b = -3*c - w. Which is smaller: -7 or c?
-7
Let c = 57 + 24. Suppose 0 = 4*v - 3*v - 5*q - c, 2 = q. Let x be 2/40*14/v. Is 0 >= x?
False
Let s(t) = 3*t**3 + t**2 + 2*t - 2. Suppose 6*p - 5 = p. Let g be s(p). Let o = 440 - 1741/4. Is g bigger than o?
False
Let v = -134/39 - -1016/273. Is v less than -3/107?
False
Let a be (8/(-24))/(1/(-33)). Let n be ((-2)/4)/(a/(-220)). Let g = 235 - 235. Which is smaller: g or n?
g
Suppose 57*q - 61*q = -4. Let m be q/(-4)*((-55)/20 - 0). Which is bigger: 1 or m?
1
Let j = 27.923 - -0.077. Let b = j + -28.2. Let w = b + -0.8. Which is bigger: w or -6?
w
Let g be (0 - (2 - 2))/1. Let k be 8/72*-6*15/125. Which is bigger: g or k?
g
Let v = -350 + 350.29. Let b = -0.29 + v. Which is smaller: b or 1/68?
b
Suppose 4*n + 5*x = 16, 3*x - 10 - 10 = -5*n. Suppose -620 = n*i - 0. Is -154 less than i?
False
Let i = 157 + -126. Let q = -6.2 - 23.8. Let p = i + q. Is 2/65 at most p?
True
Suppose n + 3*u = -4*n - 11081, 6*u = 2*n + 4454. Is -2217 less than n?
False
Let l be (0 - 1) + (-3)/((-10)/(-4) + 0). Let u = -3 - -13. Suppose -5*g + 10*g + u = 0. Is l greater than g?
False
Suppose 2*i - 2*x - 14 = 0, -12*i + 15*i = -4*x - 21. Which is greater: i or 3/946?
i
Let b = -62/3 - -1514/75. Let l = 11/4 - 13/4. Which is smaller: l or b?
l
Let r be -1 + ((-2)/(-6))/((48/(-30))/(-8)). Do -2500 and r have the same value?
False
Suppose -2*p + 2*g - 3 = -11, -4*g - 2 = -2*p. Let j(z) = -z**2 + 16*z - 46. Let k be j(p). Suppose 0*f + f - 17 = 0. Is f less than k?
False
Suppose -101*p - 42 = -108*p. Let o be (10/(-25))/(p/(-15)). Is o at most as big as 43?
True
Let c = 2618995/491 + -5334. Is 0.01 less than c?
False
Let j be (-237)/(-2) + (-12)/8. Let n = 0.172 + -1.172. Which is smaller: j or n?
n
Let b = 1 + -1. Let g = -5945734/69 - -86170. Which is smaller: b or g?
g
Let y = 6852.1 + -6850. Let f = 31.4 + -26. Let p = y - f. Which is smaller: 2/7 or p?
p
Let q(i) = 18*i - 70. Let b be q(4). Let k = -0.062 + -36.938. Let p = k + 36. Which is smaller: p or b?
p
Suppose 134*u + 70 = 141*u. Let n be 12/48*(-56)/u. Which is smaller: n or -2?
-2
Let h(l) = 4*l**3 - 11*l**2 + 12*l + 12. Let s(b) = b**3 + 12*b**2 + b + 18. Let n be s(-12). Let f be h(n). Suppose 19*a + f = -132. Are a and -35 equal?
False
Let i = -946.2202 - -0.2202. Let f = -920 - i. Let u = -0