ue
Let d = 22.932 + -23. Let r = d + -0.432. Is r >= 4?
False
Suppose 2*u - 39 = -39. Let a be -2*(5/(-10) + u). Are a and 1/175 non-equal?
True
Let j = -1040.9 + 1043. Is j at least as big as 0.31?
True
Let q be -7 + 17 + (-63)/7. Which is greater: 8/69 or q?
q
Let q be 42800/(-58) + -10 + 9. Let d = 739 + q. Which is greater: 1 or d?
1
Let g be (2 - (4 + -2))*1. Suppose 2*d = -2*f - 142, 2*d + 292 = -g*f - 4*f. Is -75 > f?
False
Let x be ((-18)/(-21))/(7/(-49)). Let p be ((-16)/3)/(x/(-18)). Let f be -5 + 7/(28/p). Are f and -9 nonequal?
False
Suppose 3*c + 3*f - 6 = 0, -4*f = f. Suppose 5*s + c*g + 90 = 7*g, 2*g = 10. Is -13 at least s?
True
Suppose -8*r = -24 + 24. Do 5/17 and r have the same value?
False
Let l = -56 + 0. Let i = l + 225/4. Let n = 0.66 + -0.16. Is i at least n?
False
Let y = 13108379/21 + -624325. Let h = y - -988/7. Is 26 greater than h?
True
Let s be (-42)/(-11) - (-10 + 14). Let p be -2 - (3 + 1/(-1)). Let j be ((-1)/6)/((-3)/p). Do j and s have different values?
True
Let u = 0.076 - -0.224. Is u bigger than 1/14?
True
Let k(i) = i + 4. Let b be k(-6). Suppose 5*p + 666 - 151 = 0. Let o = p + 100. Which is greater: o or b?
b
Suppose -3*w + 3 = 4*v - 3*v, v = 2*w - 17. Which is greater: -7 or v?
-7
Suppose -5*o + 7*o = 0. Let b(y) = -2*y + 10. Let c be b(o). Is 11 >= c?
True
Let i(z) = z**2 - 8*z - 31. Let l be i(10). Let n(o) = -o**2 + o + 8. Let c be n(l). Is c less than or equal to -123?
True
Let p(j) = -j**3 + 16*j**2 + 16*j + 14. Let i be p(17). Let m be (2 - 1)*(i + 3). Let x = -11/15 + 2/3. Is m equal to x?
False
Let w be (-4)/38 + 1 + -1. Let h = 106 + -103. Suppose 7 = -3*g - d, h*g - 6*d = -d + 17. Is w less than or equal to g?
False
Let o be (4/(-130))/(-10 - 245/(-25)). Which is bigger: o or -15?
o
Suppose 0 = 18*i - 393 - 2991. Let y be (8/(-170))/(3 + i/(-60)). Which is smaller: 1/4 or y?
1/4
Let u be -2 + 4 + (-1 - -2). Suppose 0 = k, u*k - 6*k = 5*d + 5. Is d != -4/19?
True
Suppose 2*p + g = 3*g + 44, 0 = 4*p - 3*g - 91. Let f = 25 - p. Let s be ((-2)/(-17))/(1/2). Which is bigger: f or s?
s
Suppose 0*h + 4*h + 104 = -2*o, 4*o - 8 = h. Let d be -2 + (50/h - -4). Are d and 1 equal?
False
Let h = -30/481 - 143970/5291. Let a = h + 282/11. Which is smaller: -1 or a?
a
Let z be (0 + 0)/((-10)/(20/(-4))). Are z and 3/484 non-equal?
True
Let c(u) = 9*u - 42. Let v be c(4). Let i be v/16 - (-1)/((-32)/(-12)). Is 3/5 smaller than i?
False
Suppose 34*h - 26*h = -208. Which is smaller: h or -27?
-27
Let w be ((-3)/(-9))/((-14)/(-10164)). Is w equal to 3?
False
Suppose 0*g - 6*g = -108. Let k be 8/(-2) + (g/(-3))/6. Is k greater than or equal to -5?
True
Suppose -18*r = -3*r - 30. Suppose -r*s - 5*z = -2, 4*s - 5*z - 2 = 2. Which is bigger: 1/117 or s?
s
Let j = -922 + 919. Let a = -8 - -1. Is j at most a?
False
Let w = -320.92 + 309. Let i = w - -12.1. Which is smaller: 1/2 or i?
i
Let k = -6 - 2. Let q be (k + 8)/(-1 - -3)*-1. Which is smaller: q or -0.1?
-0.1
Let x(c) = -c**3 + 6*c**2 - 8*c + 38. Let q be x(5). Which is bigger: q or 22?
q
Let k be (24/30)/(6/15). Let n be (-7)/k - 5/10. Let y be ((-12)/(-10))/(n/10). Is y < -9/5?
True
Let g be 1/2*72/2. Suppose 13 = 3*a + 3*c + 4, -5*a + g = 4*c. Is 29/4 greater than a?
True
Let w(a) = -3 + 3*a + 2 - 5*a. Let x be w(-2). Let u be 6*3/x*-1. Which is greater: u or -7?
u
Suppose 0 = -4*l + 3*s + 11, 5*l + 6*s = 2*s + 6. Let z = -10153 - -10148. Do l and z have the same value?
False
Suppose 0 = 3*k + 2*x - 111, 5*k = -2*x - 92 + 277. Do k and 153/4 have different values?
True
Let t = -366979/21 + 17471. Is -5 equal to t?
False
Suppose 3*j - 8*j = -t + 29, 2*j + 17 = -5*t. Which is bigger: -8 or j?
j
Suppose -7*t + 59 = -3*t - 3*s, 64 = 4*t - 4*s. Which is smaller: t or 8?
8
Let b be 7 - (-2)/(14/(-21)). Suppose 3*w - 7*w + 2*t + 32 = 0, 3*w - 2 = -4*t. Is w >= b?
True
Let g = -142 + 136. Let n be (-183)/21 - 6/21. Which is smaller: g or n?
n
Let t be ((-14)/(-21))/(3 - (-8)/(-3)). Let i be (4 + (-80)/25)/(t/15). Which is smaller: 29/6 or i?
29/6
Let l(w) = 7*w - 1. Let i be l(1). Let q be (4 - (-2 + 0)) + 3. Let v = i - q. Is v at most as big as -7/4?
True
Let f(z) = -15*z - 7. Let b be f(4). Let a be 6052/(-90) - (-8)/(-40). Let q = a - b. Is q equal to -1?
False
Let g(s) = -2*s - 140. Let q be g(0). Let c be 4/14 + (-13)/((-1911)/q). Which is smaller: c or -5?
-5
Let w be 9 + -2 + 1 - -3. Let u be (22/w - 10/(-3))*-3. Is 3 at least as big as u?
True
Let z = 12 - 5. Suppose 5*u - 2*j = 16, 4*u + 4 = -2*j - 2*j. Suppose -40 = u*r - 52. Is r less than or equal to z?
True
Let h = 1.402 + -1.332. Do 73 and h have the same value?
False
Suppose -a = 3*a + 16, v - 2*a - 9 = 0. Is 3/71 >= v?
False
Let f(d) = -d**2 + 11. Let p be f(0). Let w = p - 8. Let m be (-1134)/(-1029)*7/3. Which is bigger: w or m?
w
Let v be 1*(5 + (3 - 8)). Let c = 25/9 - 287/99. Which is bigger: v or c?
v
Let f = -4157 + 20699/5. Let z = f + 643/40. Let c = 147/152 + z. Which is smaller: 0 or c?
c
Let y = 10343/12 - 2489/3. Which is greater: y or 32?
y
Let g be -2 + 1 - 1*2/2. Which is smaller: g or -34?
-34
Let v = -50 + 27. Let g = -38 - v. Is -1 < g?
False
Suppose 3*b - 20 = -11. Suppose b*p = -2*p - 75. Let h = p - -46/3. Is 1 not equal to h?
True
Let s = -143 + 143.1. Is -31 at least s?
False
Let s be ((-34)/(-7))/(-1) - -2. Let c(t) = t**2 + 8*t - 4. Let g be c(0). Do g and s have the same value?
False
Let n(m) = m**2 + 21*m + 26. Suppose -10*x = -4*x + 120. Let v be n(x). Suppose -35 = -5*t - 2*y, 20 = 5*t - y - 0*y. Which is bigger: v or t?
v
Let c be 2/(-5)*(-30)/16. Let l(b) = -5*b**2 - 2*b + 8. Let t(w) = -4*w**2 - w + 7. Let z(i) = 5*l(i) - 6*t(i). Let p be z(-3). Which is bigger: c or p?
p
Let l(n) = -n**3 - 18*n**2 + 15*n - 20. Let r be l(-19). Let u be (-16)/r + (-13)/7. Which is smaller: -1 or u?
u
Suppose -5*w - 9 = 1. Let c be (w + (-64)/(-28))*-7. Which is smaller: c or 8?
c
Let y(n) = -n**3 - 7*n**2 - n - 9. Suppose -5*o = -x + 41, -2*o + 6*o + 2*x = -30. Let d be y(o). Let q be 6/d - 4/6. Is -1 less than or equal to q?
True
Let c = 14/5 - -27/10. Let x = 1531/294 - 2/49. Let k = x - c. Is 1 equal to k?
False
Let h = 30 + -33. Let t be (-2*(-12)/(-160))/h. Let m be (-3 - 12/(-3))/(-1). Which is bigger: t or m?
t
Let a = 27 + -29. Let p be (-245)/21 - (a - 2). Let d = 9 + p. Is 1 equal to d?
False
Let s be (-5 - -9)/(-2 + 0 - -6). Which is bigger: s or -4/51?
s
Suppose -4*b = 4*w + 12, -1 - 1 = b. Let j be 3 + (38/13)/w. Suppose 27*i - i = 26. Which is bigger: i or j?
i
Let p = -11/705 - -569/39480. Which is smaller: p or 1?
p
Suppose h = -2, -5*d - 3*h - 2*h + 120 = 0. Let t = -24 + d. Which is bigger: t or -0.2?
t
Suppose -2*r + 36 = 5*v, -2*v = 4*r - 96 + 24. Suppose 0 = -3*d - 2*g + 44, -17*g + 6 = d - 12*g. Which is greater: r or d?
r
Let r = 133625/39108 + -1/6518. Is r at most 4?
True
Let r = -0.0307 + -0.0693. Which is smaller: r or 88/3?
r
Let h be ((-34)/8)/((-21)/56). Let w = 25/2 - h. Which is smaller: 1 or w?
1
Let q = -38.46 + 38. Let u = q - -0.36. Which is bigger: 0 or u?
0
Let j be 10/(-4)*(-1 + 3). Let t be (-3)/j - 17/(-5). Suppose -2*h = -6*h + t. Is -3/16 at least h?
False
Let a = -27 - -33. Let m be (a/2)/(-4 - -3). Is m <= -15/4?
False
Suppose -y + 6 = y. Which is greater: 51 or y?
51
Let k be (-15)/(-840)*8 - (-1)/(-7). Let h be 19/7 + (-4)/(-14). Is h not equal to k?
True
Let b be (-1 - (-10)/(-6))*3. Suppose 3*t - 95 = -2*d, 0 = -4*t - 0*d + 3*d + 121. Let j = 23 - t. Is b equal to j?
True
Let k = -3137/8413 - -17/47. Let r = -187/716 - k. Is r > -2?
True
Let y = -32 - -20. Let u be -3*((-16)/y)/(-4). Let k = 9 + -7. Are k and u unequal?
True
Suppose 0 = 2*w + 2*w + 8. Suppose 3*y + 7 + 5 = 0. Which is smaller: w or y?
y
Suppose 39*z + 1022 = 203. Which is bigger: -28 or z?
z
Suppose -2*c = 4*o - 58, -2*c + 18 = -4*o - 32. Suppose l = c - 28. Is 10 bigger than l?
True
Let y = -245 - -1221/5. Let d = 6/5 + y. Let l = -0.16 + 0.22. Which is greater: l or d?
d
Suppose 5*v - 50 - 25 = 0. Let f be 6/v + 76/10. Suppose 4*t - f*t = 0. Is t bigger than -1?
True
Let n(u) = -5*u**3 + 13*u**2 + 2. Let a(m) = -9*m**3 + 25*m**2 + m + 3. Let j(l) = 6*a(l) - 11*n(l). Let s be j(-5). Let h = -14 + s. Is h < -0.06?
False
Let w = -207453/10 - -20539. Let n = -206 - w