Which is bigger: -2 or p?
p
Let c = 1415 + -1415.34. Which is smaller: -39 or c?
-39
Let b be 716/6 + -6 + 96/18. Let a = 119 - b. Are a and 7/6 unequal?
True
Let d be 389/(-5)*-9 - 54/45. Does 674 = d?
False
Suppose -u - 18 - 5 = 0. Suppose 2*c + 2*q - 16 = 0, 0 = -2*c - 3*c + 4*q - 5. Suppose -21 = c*r - 2*r. Which is smaller: u or r?
u
Suppose -2*t + 88 = -4*x, -1127*x + 1130*x = -5*t - 92. Let j(y) = -y**2 + 5*y - 5. Let r be j(6). Do r and x have the same value?
False
Let q(o) = o**3 - 9*o**2 + 2. Let h be q(9). Suppose -5*b + 216 = -0*b + 4*x, 0 = -h*b - 5*x + 83. Suppose -2*y = i + i - 86, 3*y - 130 = -2*i. Is b != y?
False
Let n = 818.3 + -818.37. Do n and -261 have different values?
True
Suppose 5*x - 1009 + 2501 = 4*s, 0 = -3*s + x + 1119. Are s and -1 equal?
False
Let f(q) = -12*q - 75. Let r be (-4 - -1) + 6 - (6 + 1). Let k be f(r). Is k at most -23?
True
Let z be -4*(-1 + (-174)/(-189))/(36/(-918)). Which is smaller: -9 or z?
-9
Suppose 0 = -x + 5*f + 114, 23*x + 247 = 26*x + 4*f. Which is greater: -0.14 or x?
x
Let p = 3651900691449/124 - 29450165341. Let m = p + -646669. Let q = m + 29/31. Which is smaller: 19 or q?
q
Suppose 0 = k + 4*j - 2, j = -5*k - j - 26. Let y be -10 - (k + 0 + -1 + 3). Which is smaller: -24/5 or y?
y
Let t = 65 - 69. Let n be (-548 - -7)/(t - -3). Let o = -84935/157 + n. Do 0 and o have different values?
True
Let s = 385 - 780. Let c = s - -394.8. Which is greater: c or -18?
c
Suppose -5*d + 30 = -5*r, 5*r + 2*d = 1 - 3. Suppose -5*k + 53 = -2*a, -95 = 5*a - 4*k + 46. Let s = a - -115/4. Are r and s nonequal?
True
Let w be (-1)/(-28) - (-2)/8. Let n = -45.49 + 47.83. Is w <= n?
True
Let p be (2714/(-12282))/(-2 - (-80)/36). Is p less than or equal to -1?
False
Let g = 0.1313 + 0.3437. Let s = 0.3 + 0.18. Let t = s - g. Which is smaller: 0 or t?
0
Let l be (18/4 - 18709/(-106))*-7. Which is bigger: l or -1265?
-1265
Let k be (-1 + 2)*10/(-60)*69. Which is greater: -22 or k?
k
Suppose -3*k + 61*b - 66*b + 7937 = 0, 0 = -k + 4*b + 2674. Is k at least as big as 2654?
True
Let f(n) = -20*n. Let p be f(-1). Suppose 10 = 3*z - p. Suppose v + 2 = 7. Which is bigger: v or z?
z
Let g(x) = -x**2 - 6*x + 11. Let r be g(-8). Let w be r/(490/(-21))*-2. Which is smaller: w or 1?
w
Let s = 7/135 + -1873/30915. Is -2 equal to s?
False
Let c be (-1 + -82)*(-1)/(-15). Let w = 11/2 + c. Let h = 1/5 + w. Are h and 0 nonequal?
True
Let b be 11028/(-80)*(-10)/4 + 9/24. Are b and 341 unequal?
True
Let r be (-245)/147 + (1096/3)/2. Let i = -170 + r. Which is bigger: 9 or i?
i
Let t be (-17)/34 - (-683)/1638. Let g = t - -2/39. Which is smaller: g or 1/3?
g
Let i be 22/(-8) - (-7 + (3 - 1)). Is i less than -1/4?
False
Suppose 24126 = -16*r - 27757 + 12363. Which is greater: r or -2476?
r
Suppose -13*o = 2*c - 2437, 5*c - 10*o = -15*o + 5900. Which is smaller: c or 1177?
c
Let h = 61 - 64. Let m(n) = 2*n + 7. Let k be m(h). Let b be 0 - k - (-7 - (-275)/45). Which is smaller: 0 or b?
b
Suppose 16*c - 17*c = 4*r + 9, -2*c = 2*r. Let t be r*(-1 + -2 + 4). Which is bigger: t or -20/9?
-20/9
Let t(r) = -r**3 - 7*r**2 + 37*r - 14. Let z be t(-8). Which is smaller: z or -250?
-250
Let u be 5/(-33) + (-4)/22. Let b = 9307 - 9301. Do b and u have different values?
True
Let r(p) = p**3 - 26*p**2 + 89*p - 3131. Let l be r(27). Let i be 1/(-5)*(-1)/(-7). Is i < l?
True
Let m = -65 + 80. Let x be -1 + (2*1 - (-155)/m). Is x greater than 10?
True
Suppose -5*o - 4*d = -536, 36*o - 524 = 31*o - d. Suppose 5*f - 765 + 240 = 0. Which is greater: f or o?
f
Let n = 705324/47272009 - -89557480270226107/56253690710. Let q = 1592029 - n. Let c = -9/70 - q. Which is smaller: -2 or c?
-2
Let f = 8527 + -8527. Are 23/666 and f equal?
False
Let q = 64 - 60. Suppose 0 = 3*g - 5*n - 17, 4*g - 35 = q*n - 7. Let i be 119/15 + (-16)/120. Which is bigger: i or g?
g
Suppose 3*a - 2*x + 106 = -77, -3*x = 3*a + 198. Let n be (-148)/(-3)*a/42. Is -75 equal to n?
False
Let c be (-2 - -1)/(2/8). Let q = c + 5. Let o be 7 - 3 - 3*(-1220)/(-918). Is q >= o?
True
Let v = -4/55023 + 298316369/55023. Which is smaller: v or 5421?
5421
Let x = 814 - 1257. Let o = x + 484. Which is bigger: o or 47?
47
Let z = 4615.84 - 4616. Let v = 26 + -18. Let y = -6 + v. Is z smaller than y?
True
Suppose 5*t + 4870 = 5*v, 0 = -t - 337*v + 341*v - 968. Is -979 at most as big as t?
True
Let q = 51 - 45. Let u be ((-104)/q)/(385/(-11)). Let o = 16/15 - u. Is o at least -1/4?
True
Suppose 42*p = -36 + 246. Suppose -3*a = p*y + 2978, 4*y - 2*a + 2381 = -3*a. Is -596 at least as big as y?
False
Let p = -1995 + 1994. Is p >= -3/2753?
False
Let g = -99 - -103. Let h be 22/(-58)*(g + -3). Are 1 and h unequal?
True
Let a(d) = -d**3 - 8*d**2 + 105*d - 1. Let n be a(-15). Which is greater: n or -53/47?
n
Suppose 4*v - 44 + 8 = 0. Suppose 448 = v*h - 452. Which is smaller: h or 101?
h
Let n = 35.36 - 35. Let w = n - 0.18. Let o = -1.22 - w. Is o bigger than 1?
False
Let q be (-5 + 6)/(-1)*-42. Let k be 14/q*(-39 + (0 - 0)). Let f be (39/252)/k*2. Which is bigger: 1 or f?
1
Let a be 1/20*(3 + -5). Let d = 2/599 - -256/282129. Let k = 1417/942 - d. Which is bigger: a or k?
k
Let z = -70844.4 + 70845. Let k = -30/29 + 152/203. Which is smaller: z or k?
k
Let n(y) = 20*y + 22. Let v be n(-1). Suppose 12*g = v*g - 50. Which is bigger: -13/3 or g?
-13/3
Let v = -8963 + 8629. Which is smaller: -342 or v?
-342
Let l = -399 + 577. Let w = -176 + l. Let x = -0.09 + -8.91. Which is smaller: w or x?
x
Let s = -51.02 + 0.02. Let y = -54 - s. Let b = y - -3.1. Is -0.024 equal to b?
False
Suppose -4*k = -5*u - 0*k + 1614, 0 = 2*u + 4*k - 668. Suppose 4*o = -5*p + u, o - 244 = -4*p + 2*o. Does 63 = p?
False
Let x = 0.3 + -0.425. Let q = 207362 + -207362.2. Is q > x?
False
Let i = 154.58 + -153. Let m = -17.58 + i. Is -1/5 <= m?
False
Let k = -1661/5 + 252607/760. Which is smaller: k or 0?
0
Let d be 100 + 0*(-5)/(2 + 3). Let w = d - -21. Is w bigger than 121?
False
Let y be (-105 + -8)*(1 + 4 - -24). Is y >= -3276?
False
Let m = 3834.8 - 3835. Which is greater: m or -0.0102?
-0.0102
Let w = 1139 - 3422/3. Let m be (-2)/(-1) + 7/(-30). Let n = w + m. Which is smaller: n or -0.2?
-0.2
Let r = 2 - 4. Suppose -2*s - 86 = 192. Let f = s + 559/4. Which is greater: f or r?
f
Let r be (-2988)/(-7495) - 1/((-20)/(-8)). Suppose d - 2*w = 2*w + 3, -d + 1 = -2*w. Is r <= d?
False
Let m = -8311605/35644 + 25820/133. Let z = 395881/10251 + m. Let l = 1/68 - z. Does -1 = l?
False
Let w(n) = 72*n - 1011. Let z be w(14). Is z less than or equal to -366/109?
False
Let g = 128718259/4492 + -28655. Is g at most as big as 1?
True
Let w be -13 + 7 + (4920/36 - 2). Is w at least as big as 2?
True
Let y = -202.62 - -202.5. Is y at most -88?
False
Suppose -6*w = -3 - 21. Suppose 2*c + 2*b = -86, w*b - 132 = 2*c + 2*c. Are c and -37 nonequal?
True
Let h be 0*6/27*(-3)/2. Suppose 40*y - 35*y + 60 = h. Which is smaller: -11 or y?
y
Let j(n) = 2180*n**2 - 3*n - 9. Let f be j(-1). Which is smaller: -3/2 or f?
-3/2
Let n be 6/9 + -31*4/6. Let y = n - -23. Suppose -3*h + 15 = 3*w, w = y + 1. Is 3/13 at least as big as h?
False
Let y(m) = m**2 + 2*m - 26. Suppose -38*d + 42*d + 344 = 0. Let x = d - -80. Let j be y(x). Which is bigger: j or -12?
j
Suppose 460 = 3*p - 4*y, 9*y + 153 = p + 8*y. Let i = 144 - p. Suppose -2*u = -0*c - 4*c - 22, 5*c - u = -32. Is c smaller than i?
False
Suppose -2111 - 193 = -144*s. Is 732/47 bigger than s?
False
Let m be 12/20 - 458621271156/(-39015). Let v = m - 11754999. Let d = v - -2/867. Is -5/3 bigger than d?
False
Suppose -8235 = -5*t + 5*p, 8*t - 6*p - 13188 = -10*p. Is 1645 at least as big as t?
False
Let k = 0.3841 + -0.0311. Let c = k - 0.253. Is c < -2/9?
False
Let g = 12887 + -13235.3. Are -1/5 and g nonequal?
True
Suppose 338 + 377 = 11*i. Suppose 0 = 5*s - 3*w - i - 360, -2*w - 78 = -s. Which is smaller: s or 89?
s
Suppose -3*o + 0 = -12, -2*f + 32 = 5*o. Let j be (-92)/12 + (-2)/f. Let w be (2 - -3)*(-11 - -5)/6. Which is greater: w or j?
w
Let n(h) be the first derivative of -h**2/2 - 7*h + 8. Let v be n(-6). Let j = 2/1255 + -402/251. Is j not equal to v?
True
Let l(v) = -2*v**2 + 8*v + 5. Let p be l(4). Which is greater: p or 53/13?
p
Let r = 234 + -206. Let d be -3 + r/12 - (-222)/9. Is d at mos