be (-2 - -2)*2/(-4). Which is greater: g or k?
g
Let k(g) = g - 310. Let o be k(25). Let s = o + 284. Is -1/224 at least s?
True
Let b be ((-49)/(-147))/(14/6). Suppose -10 = -6*g + 8. Let a be (-3 - 0)*g/(-9). Which is bigger: a or b?
a
Let r(n) = n**3 + 7*n**2 + 162. Let b be r(-9). Is b at most 4/1249?
True
Let p be 28/(-68)*(1062 + -1) + 6/(-51). Is -435 bigger than p?
True
Let z be (-140 - -5)/9*(0 + 93). Let w be z/126 + 3 + 21/(-6). Which is greater: -13 or w?
w
Let x be ((-27)/(135/50))/(-10). Which is smaller: x or 1494?
x
Suppose -5*u = -15, -4*u - 33 = -2*g - 5*u. Let w be (-4)/((-64)/56)*-2. Let h(n) = 6*n + 55. Let o be h(w). Which is smaller: o or g?
o
Let j(m) = -2*m - 18. Let d(x) = -9*x - 89. Let l(i) = 2*d(i) - 11*j(i). Let g be l(-3). Which is smaller: g or 1?
1
Let m = 3733 - 3734. Is m greater than or equal to -1/354?
False
Let j be (-2)/(10568/2112 - 5). Let m be (j/612)/(4/6). Is m less than -2?
False
Suppose -9*s + 5*s - 5*x = -25, x - 5 = -s. Suppose s = -3*f - 3*f + 6. Is -3/19 > f?
False
Let n = -21 - -37. Suppose 2*r - 18*v - 42 = -20*v, -4*r - v + 72 = 0. Is n at most r?
True
Let h be 1029/4116*(-1 + 1). Let n = -80293/159 + 505. Which is smaller: n or h?
h
Let h(i) = -67*i - 7. Let c be h(-2). Let q = c + -201. Let f = 6 + -79. Is f less than or equal to q?
False
Suppose d = -c - 2*c - 176, -5*c = 10. Let l be d*(-6)/270*-5. Which is bigger: -20 or l?
l
Let y = -147.65 + 140.731. Let w = y + -0.081. Is 1/3 smaller than w?
False
Let u = 7 + -7. Let v(b) = b**3 - b**2 + 2*b + 12. Let g be v(0). Which is smaller: u or g?
u
Suppose 116*c = 125*c + 144. Which is greater: -22 or c?
c
Let z = -245 + 246. Let n(h) = h**3 - 5*h**2 - 15*h + 6. Let t be n(7). Let a be 60/28 - (t + 2). Which is smaller: a or z?
z
Let q(u) = 16*u**2 - 129*u + 10. Suppose -20 + 57 = 5*h - 3*m, -5*h + m = -39. Let f be q(h). Is f < 31/18?
False
Let n = -107 + 23. Let b = n - -88. Suppose 6*i + 5 = 2*i - s, b*i + 2*s = -10. Is 5 >= i?
True
Let p = -435 - -113. Let f = -336 - p. Do f and 3 have different values?
True
Let q be (36/(-15))/(4/(-30))*(-60)/9. Are -46 and q nonequal?
True
Let z be (0/(-6))/((-7)/(-7)). Suppose 0 = 5*g + i + 10, z*i + 6 = -3*g + 4*i. Is -13/10 < g?
False
Suppose -11 = -3*l - 71. Let z be 13 + l/4 + -3. Suppose -4*w - 3 - 8 = z*t, -w = 5*t - 1. Is 4/21 equal to t?
False
Let w be (1521/23)/13 - 5. Let t = 1.1 + -0.1. Which is bigger: w or t?
t
Let h = 0.7 + -35.7. Let c = h - -35.5. Let d be ((-8)/260)/(3/(-15)). Which is greater: c or d?
c
Let t be (9 - (11 + -2))/(1 + 0). Which is smaller: t or -2?
-2
Let q = -298729/65593 - -2/979. Is q greater than or equal to -4?
False
Let w(p) = 6*p + 20. Let k(n) = n - 1. Let o(c) = c. Let x(j) = -k(j) + 2*o(j). Let h(t) = -w(t) + 2*x(t). Let u be h(8). Which is smaller: -1 or u?
u
Let z be 35/(-15) - (1 + -2). Let v be (5 - 4 - 11 - -11)*0. Which is smaller: v or z?
z
Let j(t) = -114*t - 18. Let i be j(-7). Let v be 5941/i + -8 - 2/(-15). Does 26/17 = v?
False
Let m = -10587 - -11308. Which is smaller: 726 or m?
m
Suppose -3*i = -5*v - 13 + 53, -3*i + 32 = 4*v. Which is smaller: -160/387 or i?
-160/387
Let k be 30*((-42)/(-24) + 1/4). Let y = k - 57. Suppose -2*a + 5 = -y*i, -3*a + 4*a = 4*i. Is 1/39 < i?
True
Suppose 2*n + 1205 = -f, 613*f + 2407 = -4*n + 608*f. Is -593 less than or equal to n?
False
Suppose x + 2 = 3*x. Let p be -4 - (1 - 4)/x. Let j be 3/p + (0 - -15). Which is greater: 10 or j?
j
Let i(h) = -3*h + 52. Let l = -99 + 102. Suppose -l*q + s = -2*s - 57, 0 = 5*s. Let z be i(q). Is z at least -4?
False
Let r be ((-2)/(-4))/(10 + 52105/(-5210)). Which is greater: -516 or r?
-516
Let a = -2.284 + 173.284. Is 1 <= a?
True
Let z(n) = -82532*n - 6. Let v be z(3). Let h = v - -86660839/350. Let t = h + -5/14. Is t not equal to 1?
True
Suppose -4*w = -3*a + 1164 - 215, 4*a = -3*w + 1307. Suppose 1853 = 4*c - a. Let u be 3 + (c/(-92) - -3). Is 0 less than u?
True
Let i = 1/56 + -421/56. Suppose 4441*q - 4434*q = -63. Is q smaller than i?
True
Let v = 941 - 942. Which is smaller: v or -15/119?
v
Let p = -298/79 + 38399/10033. Is p at most as big as -1?
False
Let c = -1824/13 + 282928/2015. Which is bigger: c or -1?
c
Let k = 13287 - 16820. Which is smaller: k or -1?
k
Let j be ((-19)/(-4))/((-8)/64). Is -553/15 != j?
True
Suppose -2*r + 3*u + 307 = 0, 5*r - 2*u + 6*u = 779. Let n = 134 - 135. Which is greater: r or n?
r
Let f be (-11 - (10 - 1))*(-17)/2. Suppose 3*a - 121 = k, f = 4*a - 6*k + 9*k. Let g = 31/2 + 24. Which is bigger: g or a?
a
Let x(z) = -2*z - 34. Let n be x(-18). Let m(h) = 3*h**3 + h**2 - 8*h. Let b be m(n). Suppose -4*s + 29 = -11. Do s and b have different values?
True
Let n = -16318 - -16319. Which is smaller: n or 0.0763?
0.0763
Let l = 6363185/30086 + 2/15043. Are l and 1 nonequal?
True
Let t = -2777/2 - -1389. Which is smaller: t or -1217?
-1217
Let z be 6/15*20 + -6. Is 24 smaller than z?
False
Let v be (7/(84/20) - 3)/((-92)/162). Which is greater: v or -4?
v
Let c = -1.829 + -54.471. Which is smaller: 0 or c?
c
Let s = -7125 + 7119. Is s >= -16?
True
Suppose 0 = -4*q + 8 - 0, -2*z - q - 4 = 0. Let c be 2/z + (-338)/(-30). Let g = -1277/120 + c. Which is smaller: 0 or g?
g
Let g = 2 + 1. Let q = 7.33491 + -0.33491. Is q greater than or equal to g?
True
Let h = 26146 + -130808/5. Do h and -14 have different values?
True
Let y be -217 - (-2)/(-12)*-3*0. Suppose -993 = 3*t - 345. Which is greater: t or y?
t
Let r(u) = -38*u**3 - u**2 - 3*u - 1. Suppose 0 = -v + 2 - 3. Let c be r(v). Let l be 45/c*(-3)/15*2. Is 0 >= l?
True
Suppose 69 = 879*k - 882*k + 3*h, -5*k + 2*h = 112. Let m = -0.06 + 0.07. Which is smaller: m or k?
k
Let g = 4620 + -4353. Which is greater: g or 265?
g
Let m be 8 - (5 + -4 + -1 + 2). Let d be 66*(28/(-8) + m). Which is bigger: d or 166?
166
Let r = -633 + 953. Suppose 43*t = 45*t + r. Is -161 less than or equal to t?
True
Let z = 17014 + -17032. Is 0.024 != z?
True
Let u = -51 + 61. Suppose -p - u = -16. Let a be (3/6)/(3/p + -1). Is a greater than 40?
False
Let y = 10.67 + 82.23. Let d = 628 + -721. Let c = y + d. Is c less than or equal to 6?
True
Suppose m = 3*n - 15 - 0, m = -4*n + 13. Let i(g) = -91*g**2 + 7. Let p be i(m). Let b = p - -4087/5. Is b greater than 5?
True
Suppose -26*r + 7*r = 0. Let j = -3.6 + 3. Let f = 6.6 + j. Which is smaller: f or r?
r
Let y(n) = n**2 + 12*n - 59. Let l = 564 - 580. Let b be y(l). Which is smaller: -5 or b?
-5
Let u(r) = -r**2 + 5*r - 3. Let n be u(5). Is 617 < n?
False
Suppose 12*u - 2068 = 16*u - 4*i, -5*i = u + 499. Which is smaller: u or -518?
-518
Let h = 103 - 209. Let p = -89 - h. Is p equal to -1/4?
False
Let y = 3837.9 - 3838. Which is smaller: y or 560?
y
Suppose 0 = -3*t + 482 + 211. Suppose -106*h = -113*h + t. Is h at least 33?
True
Suppose 141 = -3*v + f, 4*v + 5*f = 47 - 235. Is -44 not equal to v?
True
Let k = 52 + -54. Let t be (8/(-244))/k*-1. Let q(h) = -2*h + 14. Let o be q(7). Which is greater: o or t?
o
Suppose -11*o + o - 350 = 0. Let p be 2*o/(-10)*1. Which is greater: 0.7 or p?
p
Let a be (-42)/(-2) - (-2121152)/(-2112). Are -983 and a non-equal?
True
Let d(i) = 18*i + 219. Let w be d(-12). Suppose j = -3 + 13. Let c = 17 - j. Which is smaller: w or c?
w
Let f be (-12)/(2/(-2)*2). Let a be (52/(-585))/((-20)/f). Let z = -512/2325 + a. Which is smaller: 0 or z?
z
Suppose 0 = -y + 3*y + 68. Suppose -g = -3*h + 31, g - 1 + 31 = 4*h. Let m = g - y. Which is bigger: m or -2/13?
m
Suppose k - 970 = 6*k. Let d be 1/((-4)/769) + 931/(-532). Does k = d?
True
Suppose 0 = 71*g + 147*g + 283836. Is -1301 < g?
False
Let r be 5 + -5 - -8*1/(-86). Are -2/3 and r non-equal?
True
Let o = 151031 - 151030. Let u = -983/22557 + 5/309. Which is greater: o or u?
o
Let w be ((-340032)/49)/2 - (57/(-21) + 3). Does -3469 = w?
False
Let i = -85 + 87. Let g = 1622 - 16203/10. Which is bigger: g or i?
i
Let u = -18835/72 - -2522/9. Are u and 1 unequal?
True
Let j = -3943 - -3879. Which is smaller: j or -65?
-65
Let p(b) = 206*b - 82. Let f be p(3). Let n = f + -534. Do n and 1 have the same value?
False
Suppose -3*i + 359 = 5*g + 534, -4*i = 3*g + 237. Suppose -3*q - 5*y = -3*y + 19, 0 = 5*q - y + 10. Which is bigger: i or q?
q
Let y = 0.055 - 0.255. Let d be (((-4)/(-20)*5)/(4/(-16)))