bigger: p or -96?
p
Let q be (-1)/(160/(-14))*(3768/168 + -22). Let d be (-2 + 2)/(1/1). Which is bigger: q or d?
q
Suppose f + 4*s + 43 = -43, 5*s + 10 = 0. Let r be (f/(-9) - -4)/(8/9). Let o = r + -29/2. Which is greater: 2/59 or o?
2/59
Let v = 340 - 346. Let b be (-15 - -2)*(-1 - 3/v). Is b less than -7?
False
Suppose 0 = -h + 3*h - 66. Suppose 0 = -3*l + x - 128, x - 8 = 9*x. Let m = l + h. Which is greater: -11 or m?
m
Suppose -50*u = -117*u - 67. Is -7/207 at most as big as u?
False
Let z be (-4)/40*1234 + (-10)/(-25). Which is greater: -144 or z?
z
Suppose -58 + 8 = 5*h. Let w be ((-16)/h)/((-2)/(-25)). Suppose -v + 20 = 5*n, -w = -5*n - 2*v - 2*v. Which is greater: 9 or n?
9
Let i(c) = 85*c**3 + 2*c**2 + 34*c - 63. Let d be i(2). Which is smaller: d or 695?
d
Let b = -61 - -61. Suppose -4*n + 2*t + 18 = b, 5*n - 12 = -3*t + 16. Let i = -8 + n. Which is bigger: -8/5 or i?
-8/5
Let n = -192.878 - 10.122. Does n = 4/11?
False
Suppose h + 1353 = 3*t - 490, 3*t + 2*h - 1849 = 0. Is t bigger than 614?
True
Let b = -1 + 4. Suppose b*j + 4 = y - 8, 6 = -4*j - 2*y. Let l be 1/(3/13)*j. Which is bigger: -15 or l?
l
Let z(h) = -3*h**2 - 4*h - 1. Let g be z(-3). Let v = 113 + -1049. Let s = v + 920. Are g and s nonequal?
False
Let t be (-8 - (-8)/((-32)/(-44))) + (-311)/104. Let j = 0 - 1. Which is bigger: t or j?
t
Let q be (4/((-144)/28))/(3 + (-3935)/30). Which is bigger: 0 or q?
q
Let n(p) = 99*p - 298. Let j be n(3). Which is smaller: j or 2/9537?
j
Let m = 1865 - 1698. Suppose 0 = -5*u - 5, 5*j + 5*u - 1032 = -202. Are j and m nonequal?
False
Suppose -5*p - 59 = -4*d, 2*p - 2*d + 33 - 11 = 0. Suppose 6*h - 144 = 2*h. Let i = h + p. Does 20 = i?
False
Let o = 118 + -118. Suppose o = -6*f - 300 - 414. Let u = f - -119. Which is bigger: -3/95 or u?
u
Let a(t) = 3*t**2 + 62*t + 26. Suppose -2*x - n = 36, -3*x + 4*x - 2*n + 28 = 0. Let i be a(x). Let c be (-15)/6 + 7/i. Which is greater: -2 or c?
-2
Suppose 4*v = 4*r - 1066 - 2650, 4*r - v = 3737. Is r smaller than 938?
True
Suppose 14*z - 22*z + 3 = -7*z. Which is smaller: 54/17 or z?
z
Let i be ((-302)/(-52) + 43 + -49)*212/80. Do i and -1 have the same value?
False
Let d = -120 - -119.521. Let v = d + -0.321. Let k = 333/5 + -67. Is v not equal to k?
True
Let z(r) = r + 12. Let g be z(-7). Suppose g*n + 4*p = 305, -5*n + 122 + 213 = -2*p. Is 64 > n?
False
Let t = 21730 - 434649/20. Which is smaller: t or -1?
t
Let o = -5864 + 8967. Which is smaller: 0 or o?
0
Let m(i) = -i**3 - 12*i**2 - 2*i - 24. Let u = 869 - 881. Let x be m(u). Which is bigger: 9/85 or x?
9/85
Let i(j) = 90*j**3 - j**2 - j - 2. Let k be i(-1). Let z = 68 + k. Which is greater: z or -27?
z
Let n = -118903/113032 - 7/1592. Which is greater: n or 0?
0
Let t be (-94)/(-893) + (-275015)/(-95). Which is greater: t or 2894?
t
Let n = 64.34 - 1.34. Let x = 64 - n. Which is bigger: x or -11?
x
Let g(o) = -o**3 - 29*o**2 - 46*o - 1361. Let p be g(-27). Which is smaller: -1580 or p?
-1580
Let o be 1114/7*(-224)/64. Is -561 at most o?
True
Let k be (-69)/(-3)*(-1)/(-13). Suppose -5*o - 19 = 4*p, 2*o = -28*p + 9*p - 112. Are o and k non-equal?
True
Let f be (-2)/(-10)*-2*95. Let u = 48 + f. Let z be (-1 + 1)/1 - (-80)/u. Does 8 = z?
True
Let y = 342 + -351. Let s be y/(-485)*(-50)/(-60). Are 1 and s non-equal?
True
Let a = 23 + -30. Let v(q) = q**3 + 8*q**2 + 9*q + 9. Let i(f) = f**3 + 15*f**2 - 13*f + 41. Let z be i(-16). Let x be v(z). Do x and a have the same value?
False
Let k(z) = z**3 + 3*z**2 + 2*z. Let s be k(-2). Suppose -3*n + 74 - 17 = 4*j, s = -2*n - 5*j + 31. Does n = 25?
False
Let s = -55939257482/63987 + 2360118/3047. Let w = 873202 + s. Let g = 252 + w. Which is bigger: 1 or g?
1
Let a be (-4)/10*(-23815)/(-44). Let k = 403 + -620. Do k and a have different values?
True
Let a = -654 - -582. Suppose -w + 290 = -5*w + 2*o, 360 = -5*w + 5*o. Is a greater than w?
True
Let q be ((12/14)/((-80)/(-140)))/((-7)/448). Which is smaller: -1/5 or q?
q
Let n(q) = -55*q**2 + 2*q. Let z be n(-2). Let s = 224 + z. Is s not equal to -1/35?
True
Suppose -5*i = 2*a + 22, 5*a + 3*i = -18 - 18. Let g be 84/135 - a/(-27). Let o be ((-21)/7)/(-6) - (-26)/4. Which is smaller: g or o?
g
Suppose 3*x + 1503 = 3*y - 150, -2*y = 4*x + 2228. Is x not equal to -545?
True
Let o = 2002566/2255 - -324/205. Which is bigger: 891 or o?
891
Let k(z) = -12*z**3 - 2*z**2 + 2*z - 1. Let m be k(1). Let g = m + 54. Let u be 6/((-3)/(-18)*84/98). Which is bigger: g or u?
u
Suppose -3 = -2*n + n, -n = -4*j + 77. Let w be (-4487)/(-3444) + j/(-15). Which is greater: w or 0?
0
Let o be (-25)/15 + 2 + (-991)/(-825). Let u be 4/14 + (-804)/462. Let x = u + o. Is x > 0?
True
Let k = -12767 + 9558. Which is smaller: -3212 or k?
-3212
Let d = 0.0363 + -284.0363. Let x = -283.77 - d. Is 3/7 less than or equal to x?
False
Suppose 2*g + 3*g = 20. Let b be (1 - g/(-92)) + -1. Suppose 0 = 4*v - 5*c - 11, 0 = -5*v - 0*v + c - 2. Which is greater: b or v?
b
Let h = 528014 - 26927776/51. Let j = h - 55/3. Is j greater than -1?
True
Suppose 8123 = 4*r - g, 2028*g - 2027*g - 2022 = -r. Is 2028 less than or equal to r?
True
Let y = -1.03592 + 0.03592. Does 8.05 = y?
False
Suppose -6*s = -3*s + 3. Let k(x) = 2*x + 128. Let l be k(-21). Let c = l + -687/8. Is c <= s?
False
Let o = 0.18 - -1.92. Let x = -31 + 28.3. Let b = o + x. Which is smaller: 4 or b?
b
Let s = 8517 + -8516. Let v = 28 - 45. Do s and v have the same value?
False
Suppose 0 = 3*o - 8*o. Suppose o = 6*v - 2*v + 20, 3*d = v + 257. Suppose 2*w + w + d = 0. Which is smaller: w or -27?
w
Let h(t) = t**3 - 22*t**2 + 72*t + 38. Let q be h(18). Suppose 3 = -4*b + 5*b. Suppose 0 = -g - 4*w + q, -5*g - b*w = -7*g + 87. Is 43 at most as big as g?
False
Let z = 3/12979 + 13277487/129790. Does z = 101?
False
Let s = 16118 - 11981. Is 4137 at most as big as s?
True
Let t(p) = p**2 - 3*p - 75. Let i be t(16). Suppose 4*c - 15 = -19, -3*y = 2*c - 403. Which is smaller: i or y?
i
Let i = 0.04984 - 2.84984. Is i less than 5?
True
Suppose 0 = p + p. Let u be (-4)/(-354)*(-21)/28. Which is smaller: u or p?
u
Let r be (184 + -188)*(-1766)/32. Which is greater: 220 or r?
r
Let d = -2995 - -422297/141. Is d > 9?
False
Let d be (-1893)/5 + 12*7/140. Let f = 386 + d. Which is bigger: 3 or f?
f
Let y = -50 + 50. Suppose y*m + 24 = 4*m. Suppose m*k - 27 = -141. Which is smaller: -21 or k?
-21
Suppose -21 = -260*t + 253*t. Let j be 21/(-42)*3*(0 + -1). Is j bigger than t?
False
Let z = -5036 + 4996. Does z = -1/4?
False
Suppose 0 = 4*s + 477 - 741. Suppose s*g = 68*g. Is 1/250 at least as big as g?
True
Let a be 2*(20414/(-236) + 2*1). Do -2178/13 and a have the same value?
False
Let u = 2.1 - 2.435. Let p = -0.235 - u. Which is smaller: p or -0.2?
-0.2
Let u = 18720.832 - 18788. Let t = -0.168 - u. Let h = t + -58. Is -1 at most h?
True
Let k = -881 + 6716. Let b = 17791/3 - k. Let p = b + -93. Is 2 >= p?
False
Suppose 1098*z + 560 = -4*m + 1094*z, 2*m - 2*z + 252 = 0. Is m smaller than -20/9?
True
Let m = 14002 + -13598. Which is smaller: m or 0.07?
0.07
Let g = -47 - -60. Suppose -g*k - 21 = 1578. Is k at least as big as -122?
False
Let i(k) = -73*k**2 - 2*k - 3. Suppose -4*j - 7 = w, 3 = 3*j - 5*w - 9. Let n be i(j). Let a(o) = 9*o + 51. Let l be a(-14). Is n less than or equal to l?
False
Let h = 17631 + -17634. Let f = -669/437 + 34/23. Is h at most as big as f?
True
Let v = -57 + -62. Let o = -120 - v. Let i be (o/(16/76))/((-5)/(-20)). Which is smaller: -20 or i?
-20
Let c = -2861 - -2901. Do c and -221 have different values?
True
Let s = -590 - -880. Let o = 311 + s. Which is smaller: 602 or o?
o
Let k = -589 - -1055. Let v = -466 + k. Which is bigger: 97 or v?
97
Let l = -16 + 24. Suppose -l = h - 2*h. Suppose -h = -15*t + 11*t. Which is greater: -0.3 or t?
t
Suppose -18*y + 19*y = -4*f + 7, 4*f - 5 = -3*y. Is y less than 10/417?
True
Suppose 0 = -4*r + 3*g + 855, -381*r + 379*r + 400 = 4*g. Does 224 = r?
False
Suppose -19 = 4*n + 21. Let j = 823 + -814.28. Let t = 8.82 - j. Is n greater than or equal to t?
False
Suppose -5101 = -11*k - 1141. Let r = k + -6124/17. Which is greater: r or 1?
1
Suppose -4*h + 223 = 3*f, -37 = -h + 4*f - f. Let a(k) = -6*k**3 - 13*k**2 + 49. Let p be a(-4). Suppose -h*j - p = -57*j. Is j less than 