d g non-equal?
True
Let m be -22 + (2 - -17) - -2037. Is m < 2031?
False
Let u(d) = d**3 + 128*d**2 - 663*d + 265. Let s be u(-133). Is 51/158 smaller than s?
False
Suppose 0 = 4*l + 3*i + 5682, 4*l - 28*i + 24*i = -5640. Which is greater: l or -1421?
l
Let l = -0.012 - -0.012. Let a = 43.2 + -43.4. Which is smaller: a or l?
a
Let j be 9 - ((-104)/36)/((-6)/18). Does -12 = j?
False
Let z be 150/100 + (-10958)/4 + 2. Is z at least as big as -2738?
True
Let v = 317.104 - 317. Do v and 0.11 have different values?
True
Suppose -104*d - h = -108*d - 101, d + 3*h + 48 = 0. Is d less than or equal to -21?
True
Suppose -6 + 18 = 4*u. Suppose o - 41 = 4*v, -u*o = 3*v + 10 + 17. Let a = 65 - 77. Which is smaller: v or a?
a
Let w(b) = -215*b - 4300. Let a be w(-20). Does 5320/3 = a?
False
Let o be (-18)/((-300)/45*(-54)/48). Let h be 3*(32/(-15) + 2). Is h > o?
True
Suppose -5*y + 695 = -465. Let q = -159 + y. Are 73 and q non-equal?
False
Suppose 4*p - 7*p - 57 = 0. Let t = -6 + p. Let l be (-1 + 21/6)*-10. Is l >= t?
True
Suppose -64*n - 56*n + 113*n = 525. Is n greater than or equal to -832/11?
True
Let n = -721/16110 + 10/179. Suppose -5*g - 5 = -10. Is n less than or equal to g?
True
Let t be (-15472)/360 - ((-58)/(-18) - 3). Let h = t - -4967/115. Do h and 2 have the same value?
False
Let y(s) = -s**2 + 24*s - 63. Let z be y(21). Let k be (-304)/7*(-3 + 4/2). Let x = k - 43. Which is bigger: z or x?
x
Let n be ((-1072)/(-335))/(1*4/(-10)). Let w(b) = -10*b + 2 - b**2 - 17 - 1. Let i be w(n). Is 0 at most as big as i?
True
Let k(o) = -17*o - 6. Let x be k(-3). Let s = -52 + x. Suppose -4*m - 18 = n, -2*m = -m + 4*n - 3. Which is greater: m or s?
m
Let m be -7 + -13 - (-16420)/820. Is -4.36 != m?
True
Suppose -48*m = 38*m - 89354. Is m bigger than 1041?
False
Let x be 5933/(-7) + 16/56. Let v = 843 + x. Which is smaller: v or -0.1?
v
Suppose 17*d + 451 + 240 = -346. Which is smaller: -6 or d?
d
Let i = -1.67 - -0.63. Let o = i - -4.04. Is o at least as big as 3?
True
Let d be 33993/93390 - ((-128)/44)/(-8). Is -1 less than d?
True
Suppose 6*q + 5*q + 2556 = -q. Which is smaller: q or -217?
-217
Suppose -4*x = 5*h - 18, -5*x - 2 = 4*h - 20. Suppose -55 = -3*y + x*y. Do 54 and y have different values?
True
Let x = -0.138 - 0.532. Let k = -69.33 + x. Let v = k - -70.9. Which is bigger: 2/7 or v?
v
Let k(j) = j**2 + 2*j + 3. Let r be k(-2). Suppose -3*u = -z + 5, 0*z = 4*z - 4*u + 4. Let q be (15/z)/(-1) - 36/(-144). Which is bigger: q or r?
q
Let b be ((-335)/(-134))/(10/(-3508)). Which is bigger: -878 or b?
b
Let w(u) = -u + 23. Let k be w(21). Let a be (1/k)/((-57)/(-266)). Which is smaller: a or 1?
1
Suppose 0 = 19*l + 225 + 117. Let v = 4.92 - -0.08. Is l <= v?
True
Let r be 64/3 - 1/3. Suppose -a - r - 96 = 0. Let b(c) = 1573*c + 9322. Let i be b(-6). Which is smaller: i or a?
a
Let q be 28/(-10) - (23 + -26). Let m = 9.45 + 0.55. Which is smaller: q or m?
q
Suppose -4*f + 33 = -v - 4*v, -5*f - 3*v - 5 = 0. Let s(g) = g**3 - 18*g**2 + 32*g + 4. Let i be s(16). Let u be 513/76 + (-1 - i). Which is bigger: u or f?
f
Let j(b) = -12*b**2 - 29*b + 3. Let q be j(-6). Let w = q + -295. Are w and -551 non-equal?
True
Let w(u) = -u**3 + 7*u**2 + 28*u + 24. Let o be w(10). Suppose -4*b + 80 = o*p, -3*b + 4*p + 65 = 2*p. Do 20 and b have different values?
True
Suppose 16*s - 8640 = -2*s. Let d = s - 487. Which is smaller: d or -108/17?
d
Let k be -4 + 138/24 + (-1207)/(-476). Are -5.4 and k equal?
False
Let j be 5 + 0/(-3) - 2. Suppose -4*y = -4*n, -j*n - 4 = y - 0. Which is smaller: y or 3/8?
y
Let b = -177.2 + 126.2. Let k be (-12)/(-4) - (-26)/(-8). Is b at least k?
False
Let w = 3/59 + -328/649. Let p = 2796 - 2797. Which is smaller: w or p?
p
Let b(f) = -9*f - 542. Let u be b(-121). Which is greater: u or 542?
u
Suppose -4*l + 5*w + 96 = 0, 72 = 3*l + w + 3*w. Suppose -34*v + l = -32*v. Suppose i + 3*g + 7 = v, -2*g = -4. Which is smaller: i or -6/41?
i
Suppose -4*v - j - j + 8 = 0, 3*v + 3*j = 0. Suppose -3*b = v*t + 17, -4*b - 3*t + 5*t + 14 = 0. Let y be b*(48/(-14) - -2). Is 0 greater than y?
True
Let z = 95926/57 - 1683. Do 0 and z have different values?
True
Suppose 0 = 27*h - 28*h + 2. Suppose -4 = -4*c - h*g, 10 = -2*c - 4*g + 9*g. Are -3/212 and c nonequal?
True
Let b = 0.3078 + -0.3178. Is 0.35 at most as big as b?
False
Let x = -8144/9 - -2456/3. Let t = -260/3 - x. Let p = -1.471 - -0.971. Which is bigger: t or p?
t
Suppose -2*c = -8*c - 30. Let r be (3 - -1) + 1 + c + 70. Let q = r - 211/3. Which is smaller: q or 1?
q
Let y = 3299 + -3296. Suppose -2*r + 10 = 2*z, 4*z + 7 + 5 = 4*r. Suppose 0 = c + y*m - 10, -74 = -r*c + m + 18. Is 24 bigger than c?
True
Let w be (-81)/15 + 4 + (-6642)/(-1230). Let b = -9 - -6. Is w bigger than b?
True
Let v be ((-30)/(-50))/((-716)/180 + 4). Suppose -6*g - v = -81. Suppose 18 = 5*b - 32. Is b greater than or equal to g?
True
Suppose -5*h + 15*s - 1869 = 14*s, -3*h + 2*s = 1113. Which is greater: -368 or h?
-368
Let k = 52.9 + 0.1. Let q = -296 - -349. Let a = k - q. Which is greater: a or -1.2?
a
Let p be 4534*((-486)/(-96) - 5) - 9. Is p less than or equal to 275?
True
Suppose -15*j - 5*j = 400. Suppose -5*f - 2*o = 120, f - 3*o - 72 = 4*f. Which is bigger: f or j?
j
Suppose 3*l + 10 - 25 = 0, -4*l + 42 = o. Let x(j) = j**3 - 20*j**2 + 5*j - 45. Let r be x(20). Suppose 0 = -42*u + r*u - 260. Which is smaller: u or o?
u
Let n = -279.77 - -110.77. Is n less than -9?
True
Let y = 3272 + -3259. Suppose 0 = -2*x + 3*x - 5. Let g(z) = z**3 - 4*z**2 - 4*z - 3. Let p be g(x). Which is smaller: y or p?
p
Let q be (((-104)/(-1404))/(5/(-45)))/((-2)/(-481)). Which is smaller: -160 or q?
q
Suppose 6*f - 7 = 13*f. Let v be -2*(-1)/78*-9. Which is smaller: f or v?
f
Let j be 2/19 + (-3287)/361. Let q = -18 - j. Let y be 3 + 1/(3/(-21)). Is y not equal to q?
True
Let v be 5 - (2656856/812)/1. Let o = v - -3267. Is 0 greater than or equal to o?
False
Let x(o) = -2*o**3 - 2*o**2 - 12*o - 5. Let l be x(6). Let v = l - -509. Is -1 not equal to v?
True
Let k = 38819 + -2523296/65. Which is greater: -1 or k?
k
Let m = 3120 - 3122. Which is greater: m or 3963?
3963
Suppose 10 = -3*v + 22. Let d be (-48 - v/(-2)) + -2. Is d less than -48?
False
Suppose 0 = 2*y - 63 + 589. Which is greater: -1837/7 or y?
-1837/7
Suppose -11 + 2 = -9*g. Let z be g*(-12)/15 - 2. Does -2 = z?
False
Let w = -356/125 + 982454/344875. Is -1 at most as big as w?
True
Let s = -179 + 893/5. Let q(j) = -j**2 - 13*j - 7. Let t be q(-10). Let n = t + -22. Is n greater than or equal to s?
True
Let h(z) = -z**2 + 230*z - 2408. Let i be h(11). Which is bigger: -1/1319 or i?
i
Let j = -74.13 + 47.7. Let z = -0.57 + j. Let u = z - 61. Do 0.1 and u have different values?
True
Let d(b) = -b**3 - 65*b**2 - 103*b + 207. Let w be d(-63). Is w smaller than -7445/6?
True
Let d = -276 - -276. Let v = d - -46. Let f be 45 + 0*(-1)/2. Which is smaller: f or v?
f
Let x = 223 + -162. Let y = x - 119. Is y at least -57?
False
Let l be (474/(-4)*16/(-24))/1. Suppose -l = -5*n - 84. Suppose -2*a - 5*o = -20, 2*a = 3*o + 9 - 5. Which is greater: a or n?
a
Let b be 7/(-6)*308/196. Suppose 5*h = 2*h + 21. Let r = h + -8. Which is smaller: b or r?
b
Let z(k) = -k**2 + 278*k + 5961. Let t be z(-20). Suppose 0*o - 207 = 3*o. Let n be 0 - (-2 - 144/o). Which is smaller: t or n?
n
Let u = -188.9 - -197.9. Which is greater: u or 129?
129
Let v be 114/285*(-20)/8. Is -3/6242 >= v?
True
Let z(t) = t + 12. Let w be z(-4). Suppose 2*a + w = -0*a - 2*d, d = -4. Let l = 1688/11 - 154. Is a > l?
True
Let l = -17304/11 - -2546548/1617. Which is smaller: 2 or l?
l
Let w = -67 + 60. Let n = w + 14. Suppose n*r - 3*b - 103 = 2*r, 4*b = 3*r - 64. Does r = 20?
True
Suppose -6 = 3*o + 6. Let n(t) = 3*t**3 - 5*t**2 - 3*t - 12. Let g be n(-4). Let f = g - -271. Which is smaller: o or f?
o
Let w = -17360 + 17360.8. Is w equal to 338?
False
Let h(i) = -i**3 - 9*i**2 - 8*i + 2. Let p be h(-8). Suppose -v + 9 = p*v. Suppose 4*y = 3*d + 30, -v*y + 6 = -y. Which is smaller: d or -7?
-7
Suppose -3*k = -8*k + 25. Suppose -k*z - 50 = 10. Suppose 0 = 141*y + 1362 + 753. Is y at most as big as z?
True
Let v = -146 - -147. Let h be (-23 - -35) + v + 3. Do 17 and h have the same value?
False
Let s be 96810/(-4