ve different values?
False
Let s = -42 - -44. Suppose -4*p - 121 = 5*y, 2*y - 2*p + 7*p = -62. Let k be (-7)/56*(-1 + y). Which is smaller: k or s?
s
Let s be ((-2)/(-2)*(-29)/(-145))/(-2). Let f = 11 - 2. Suppose -4*z = 3*o - 12, -3*z = 3*o - 8*o - f. Is o at least as big as s?
True
Let x(b) = -7*b + 2. Let w be x(1). Let u = 2 - w. Which is bigger: u or 6?
u
Let q = -7527/5 + 1505. Let f = 7/15 - 4/5. Does f = q?
False
Let d be (-12)/30 - (1 + 8/(-10)). Is d >= -22?
True
Let c = 53 - 18. Let p = 36 - c. Is p at least 0?
True
Let r be (-6)/(-24)*105/20. Which is greater: r or 1?
r
Let t = -1.48 + 1. Let a = t - -0.38. Is a at least as big as 84?
False
Let u = -1611/37 + 48094/1221. Let z = -42/5 - -61/15. Let g = u - z. Is g > 1?
False
Suppose -3*c - 2*c + 135 = 0. Let f be (-15)/(-10)*12/c. Does f = 0.7?
False
Let j be (-9)/1758*124/93. Is j greater than 1?
False
Suppose -2*u = 2*u - 4. Suppose -97 = 6*t - u. Does -17 = t?
False
Let d = 6.843 + -0.043. Let n = -6.8 + d. Does -3/10 = n?
False
Let m = -263 - -263.01. Which is smaller: 3/23 or m?
m
Let l = 10296 - 7032166/683. Do l and 1 have different values?
True
Suppose 0 = 2*f - 2*u + 4, 4*f - f - 2*u + 4 = 0. Let j = -64 + 99. Is j at most f?
False
Let s = -19 + 18.4. Let c = 0.4 - s. Which is smaller: 2/5 or c?
2/5
Let l be ((-3)/((-465)/50990))/((-14)/1). Let c = l - 1/434. Which is bigger: c or 2/3?
2/3
Let n = -37.2 - -51.2. Suppose 2*a + 4*u = -0*u - 10, 5*a + 1 = -2*u. Which is smaller: a or n?
a
Let j be (13/((-195)/(-18)))/((-6)/(-10)). Which is smaller: j or 35?
j
Suppose -3*f = -5*x - 30, -2*f = 2*f - 20. Let p = 5 - 5. Let l = p - 0. Is x smaller than l?
True
Let y = -2/1073 + 3271/27898. Which is smaller: 0.13 or y?
y
Let p = 2737/9 - 985/9. Which is smaller: p or 194?
194
Let o = -16 + 24. Suppose -3*q + 14 = o. Is 16/5 bigger than q?
True
Let p be (-3 - 1 - -110)/2. Let o = p + -53. Let n(m) = m**2. Let x be n(1). Which is smaller: o or x?
o
Let o be 12*2/((-12)/(-2)). Suppose 0*c - 24 = -o*w + 4*c, 0 = 4*w + 2*c - 12. Suppose 5*u = 5*s + 3*u + 18, 2*u = -w*s. Which is smaller: -3/2 or s?
s
Suppose -50 = 4*j + 3*t + 114, 5*j + 205 = 3*t. Is -42 at most j?
True
Suppose -2*b - 164 = -3*h, 0 = -5*b + b + 2*h - 336. Let f = b - -86. Is f less than or equal to -3?
False
Let h be -5*3/(-15) + 49. Suppose -h = 3*p + 1. Is p >= -17?
True
Let i(l) = -l - 10. Let a be i(-4). Which is greater: a or -7?
a
Let l = -46 + 26. Let w = 2840.99 - 2861. Let i = w - l. Is i >= 2/9?
False
Let m(b) = b**3 + 12*b**2 + 12*b + 12. Let o be m(-11). Is -3/350 at most as big as o?
True
Let p = 743 + -813. Is -71 < p?
True
Let d(y) = y**3 + 3*y**2 - 10*y. Let z be d(-7). Do -125 and z have the same value?
False
Let m = -1461/20 - -291/4. Let k = -96 - -100. Suppose 4*u - 8*u + k*o - 24 = 0, 0 = -2*o + 10. Which is greater: u or m?
m
Let i = 1.031 + -0.031. Let k = 10.2 + -9. Which is greater: k or i?
k
Let n(j) = -j**3 - 4*j**2 + 4*j - 2. Suppose -4*v - 2*r - 22 = 0, -v - 4*r - 9 = -0*v. Let h be n(v). Which is smaller: 8 or h?
h
Let p = 205939/19 + -10843. Is -5 at most as big as p?
True
Let o = -2 - -2. Let t be (4/18)/(34/(-78) + 1). Let a = 2/33 - t. Is a less than or equal to o?
True
Let s be 2/8 - ((-78)/8 + 9). Let f be (-295)/(-145) + s/(2/(-4)). Is 0 smaller than f?
True
Let j(t) = 5*t**3 - 12*t**2 - 2*t + 16. Let a(u) = 4*u**3 - 13*u**2 - 2*u + 15. Let h(r) = 4*a(r) - 3*j(r). Let d be h(16). Is -20 bigger than d?
False
Suppose -2 = 2*c, -4*c - 140 = -12*n + 16*n. Which is bigger: n or -33?
-33
Let v be ((-3)/(-4))/((-15)/(-20)). Which is smaller: 91 or v?
v
Let s(m) = -m**2 + 5*m - 1. Let k be s(0). Let y be k/(-4) + (-800)/128. Do y and -7 have different values?
True
Let c = 20649734/893 - 23124. Which is smaller: -2 or c?
-2
Let m = 1 + 31. Let j = -0.08 - 0.02. Is j > m?
False
Let r be 124/(-6) + 14/21. Suppose 249 = 20*v + 669. Which is greater: v or r?
r
Let v = 349 + -329. Which is greater: v or 18?
v
Let l = -2886 + 3426. Are l and 542 unequal?
True
Let p(c) = -37*c - 63. Let f be p(-2). Which is smaller: f or 148/13?
f
Let c(y) = 5*y**2 - y - 2. Let p be c(2). Suppose p*j = 23*j - 168. Are 24 and j non-equal?
False
Let t = -3 + 1. Suppose 4*h = -c - 60, -2*c + 75 = -5*h + 3*c. Let g be ((-1)/h)/(4/(-12)). Which is smaller: t or g?
t
Suppose -4*f + f - 3*a = 27, 3*f + 5*a = -31. Is -11 less than f?
True
Suppose 0 = -4*x - 8, -4*l + 2*x = -1 + 5. Let w be (-10)/(-2) - (l + 1). Let v = -3 - -4. Is v at least w?
False
Suppose 2*h - 7 = 3. Suppose -4*d - h*n = -296, 5*d + n - 370 = -2*n. Let w be (-22)/77 + d/14. Is -2/7 at most as big as w?
True
Let p be 6 + (5 - -4) + 693. Which is smaller: 707 or p?
707
Suppose -64*a - 1137 = 783. Is -18 != a?
True
Let z(x) = x**3 - 7*x**2 - 12*x + 8. Let i be z(9). Let n be i/(-22) + 6/(-33). Let o be (-4)/5 - 136/180. Is n less than o?
True
Let z = -305 + 304.9. Which is smaller: -4 or z?
-4
Let k be (-4)/56*(27 - -3). Let v(w) = -w**2 + 1. Let j be v(2). Which is bigger: k or j?
k
Let t(v) = -36*v + 243. Let j be t(7). Let b be 2*3/(-18)*23. Are j and b unequal?
True
Let m = -44 - -40. Let a be 1 + (-144)/((-8)/m). Is a < -72?
False
Let z(f) = 4*f**3 + 9*f**2 + 5*f - 4. Let j(c) = -5*c**3 - 9*c**2 - 4*c + 5. Let r(p) = -5*j(p) - 6*z(p). Let q be r(10). Is q > 2/91?
False
Let m(c) = c**2 + 6*c + 15. Let a be m(-6). Is a != -5?
True
Let w = -1 + 1. Let b be (-236)/(-56) - (-15)/(-5). Let c = 283/210 - b. Is c less than or equal to w?
False
Let y be (-35)/14*(-4)/(-115). Let g = y + 27/46. Let d(t) = -t**2 - 2*t + 3. Let l be d(0). Is g >= l?
False
Let w = 4294/29 - 146. Are w and 2 equal?
False
Suppose -4*v + 11 - 4 = -5*l, -l - 4*v + 13 = 0. Suppose -1 = f + 1. Let h be f/11 + (-1)/(-66). Which is smaller: h or l?
h
Let m be (-4 - (-56)/12)/(24/36). Which is bigger: m or 18/295?
m
Let a(u) = u**2 + 11*u - 15. Let s be a(-14). Suppose h + 2*h - s = 0. Which is greater: 10 or h?
10
Suppose a = 4*a - 3. Let p = -5672 + 5674. Which is smaller: p or a?
a
Let l be (-12)/18 + 32/(-6). Let a be l/21*(-11 - 3). Suppose a*u + 3 = 3*u. Is -3 equal to u?
True
Let q = 1 - 3. Let x(c) = 5*c**3 - 7*c**3 - 5*c**2 + 2*c**2 - 5 - 6*c - 3. Let d be x(-2). Which is smaller: q or d?
q
Let y = -1860 - -24155/13. Which is smaller: -2 or y?
-2
Let b be ((-996)/83)/(-2 - -6). Let n be (-2)/4*60/14. Which is greater: n or b?
n
Suppose 0 = -k + 3*x - 12, -3*k - 12 = -0*x - 3*x. Suppose 0 = z + 5*j + 3, 30 = -z + 4*j - k*j. Which is smaller: -17 or z?
z
Let h = -32018852 + 104893759939/3276. Let d = -1/468 + h. Is d equal to 1?
False
Suppose -27*x - 932 + 284 = 0. Let y be ((-2)/2)/(1/23). Is y != x?
True
Let g be ((-148)/(-27) - 3)/((-895)/321). Let p = g + 1/895. Is p > 0?
False
Let z = -11 + 11.065. Let f = -33.065 + z. Let t = f + 33. Does -15 = t?
False
Let x = -18 + 20. Suppose -x*f - 2*f = -4, f = 5*s + 6. Which is smaller: s or 2?
s
Suppose -23520 = 530*o - 545*o. Which is bigger: 1567 or o?
o
Let c = -18 - 1. Let l be (-3 - 0)*c/(-57). Let m be (-8)/(-42)*2/(-4). Which is smaller: l or m?
l
Let v = -0.86 - -0.8. Let a = v - 0.01. Let d be 3/(-1) - (7 + -9). Which is smaller: a or d?
d
Let y be (-1 - -3)/14*(-45)/(-90). Is -3/2 greater than y?
False
Let x = -29 + 31. Let f(i) = -9*i + 7*i**2 - i**3 + 5*i**2 - 2*i**x + 2*i**3 + 24. Let h be f(-11). Does 10/11 = h?
False
Let n = 8 - 3. Suppose -w + 0 + 6 = 3*z, -2*w = n*z - 11. Let t be 2/w*(-6)/(-4). Which is greater: 4/5 or t?
t
Suppose v + 4*r = 17, -2*v = -v - r + 3. Let o be (-22)/40 - (-9)/12. Which is smaller: v or o?
o
Let r be (-12)/24 - (-5)/2. Suppose -r*o + 6 = o. Suppose 0*h = h. Is o >= h?
True
Suppose -8*y = -18 + 130. Let z(t) = -t**3 - t**2 - 1. Let b be z(-2). Let j be (12/y)/(b/42). Which is smaller: j or -1?
j
Let w = -1889/130 + 172/13. Let b = w - -67/10. Which is smaller: 4 or b?
4
Let j be ((-18)/270)/((-97)/(-6)). Which is bigger: 0 or j?
0
Let x = -1011.97 + 1012. Is -17 not equal to x?
True
Suppose 5*w = 42 - 17. Suppose -w*f - 38 = 12. Let o(k) = k - 17. Let z be o(7). Is z less than or equal to f?
True
Suppose -254 = -h + 83. Let c be (-2)/((-16)/2658) + -1 + 4. Let n = c - h. Which is greater: n or -1?
-1
Let h = -51 + 54. Suppose 2*b + b + 35 = -4*z, 2*b - 3*z + 29 = 0. Is h != b?
True
Let